Skip to content

Parsing error with arrow operator

ID0001861: This issue was created automatically from Mantis Issue 1861. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0001861 Frama-Clang Plug-in > clang public 2014-07-25 2015-02-17
Reporter lapawczykt Assigned To virgile Resolution fixed
Priority normal Severity minor Reproducibility have not tried
Platform - OS ubuntu 14.04 OS Version -
Product Version Frama-C Neon-20140301 Target Version - Fixed in Version -

Description :

"A->a <= A->b <= A->c" causes a parsing error. On the other hand "A->a <= A->b && A->b <= A->c" works. When multiple comparrisons are chained without "&&" an arrow operator in the third or higher term causes an "invalid type for 'operator ->'" error. (Works in c)

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information