ID0001958: **This issue was created automatically from Mantis Issue 1958. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001958 | Frama-Clang | Plug-in > clang | public | 2014-11-10 | 2015-02-16 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jochen | **Assigned To** | virgile | **Resolution** | fixed | | **Priority** | normal | **Severity** | crash | **Reproducibility** | always | | **Platform** | Neon-20140301+dev-stance | **OS** | - | **OS Version** | xubuntu-cfe13.10 | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : framaCIRGen: src/frama-clang/ACSLTermOrPredicate.h:276: void Acsl::TermOrPredicate::Operator::setLocation(location): Assertion `!_startLocation' failed. Aborted (core dumped) [kernel] user error: Failed to parse C++ file. See Clang messages for more information The same file (renamed to "118.c") is handled pretty well by Frama-C for plain C. The error disappears if the arguments of "==" are swapped in line 4. It also disappears if "->" is changed to "." in line 4, and "A*" is changed to "A" in line 5. Changing "==" to ">" keeps the error. ## Attachments - [118.cpp](/uploads/ae1e6ab674c9dfa19b187bb1214b3fec/118.cpp)