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) ## Attachments - [471.cpp](/uploads/e8841adebbb2c9c95ac3128188b487e6/471.cpp)