"->" in rhs of "==" in contract causes crash
ID0001958: This issue was created automatically from Mantis Issue 1958. Further discussion may take place here.
|ID0001958||Frama-Clang||Plug-in > clang||public||2014-11-10||2015-02-16|
|Product Version||-||Target Version||-||Fixed in Version||-|
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.