inconsistent redefinition of type undetected
ID0001330: This issue was created automatically from Mantis Issue 1330. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001330 | Frama-C | Kernel | public | 2012-12-14 | 2014-03-13 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
The attached program defines a type "ftest_t" as "int*" in line 2, but as "double" in line 3. This inconsistently defined type is used as parameter type in line 5. Nevertheless, the command "frama-c ftest.c" does not report any error (under Nitrogen; I can't yet test it here under Oxygen).