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 - [problem310.cpp](/uploads/3f7eb7890e4ed1dcace89ca08099b866/problem310.cpp)