variable declared in loop initializer is unknown in loop body "assert"
ID0002108: This issue was created automatically from Mantis Issue 2108. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002108 | Frama-Clang | Plug-in > clang | public | 2015-04-27 | 2015-04-27 |
Reporter | Jochen | Assigned To | virgile | Resolution | open |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | Sodium-20150201 | OS | - | OS Version | xubuntu14.04 |
Product Version | - | Target Version | - | Fixed in Version | - |
Description :
output:
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing 471.cpp (external front-end) 471.cpp:5:17: unknown identifier 'i' Now output intermediate result
The error message disappears if (1) the "assert" in line 5 is deleted (i.e. "i" is known in the "loop assigns" clause in line 3), or (2) the declaration of "i" is moved before line 3.
Additional Information :
Ubuntu clang version 3.4-1ubuntu3 (tags/RELEASE_34/final) (based on LLVM 3.4)