Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_internals
typing
cabs2cil.ml
Find file
Blame
History
Permalink
[constfold] more aggressive constfolding in dead branches of global initializer
· 7ba8259e
Virgile Prevosto
authored
Mar 03, 2020
otherwise, we might end up with an improper crash of cabs2cil
7ba8259e