tests/syntax/oracle/compile_constant.res.oracle · 80d078993736d2f8afff7a02c7ae98a8ecffeb83 · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
7ba8259e
[constfold] more aggressive constfolding in dead branches of global initializer · 7ba8259e
Virgile Prevosto authored 5 years ago
```
otherwise, we might end up with an improper crash of cabs2cil
```
7ba8259e

History
[constfold] more aggressive constfolding in dead branches of global initializer
Virgile Prevosto authored 5 years ago
```
otherwise, we might end up with an improper crash of cabs2cil
```