Cil does not reject incorrect initializers
ID0000936: This issue was created automatically from Mantis Issue 936. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000936 | Frama-C | Kernel | public | 2011-08-24 | 2016-07-05 |
| Reporter | yakobowski | Assigned To | virgile | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | - |
Description :
Cil should reject the initializers of the following program
int x = 1; int y = x ^ 0;
int main () { return y; }
Additional Information :
(Code such as const int x = 1; const int y = x ^ 0; has seen been seen in the wild. An option that would force Cil to give a warning instead of an error in this case would be nice.)