ID0001003: **This issue was created automatically from Mantis Issue 1003. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001003 | Frama-C | Plug-in > jessie | public | 2011-10-27 | 2013-03-27 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jochen | **Assigned To** | cmarche | **Resolution** | fixed | | **Priority** | normal | **Severity** | tweak | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Nitrogen-20111001 | **Target Version** | - | **Fixed in Version** | Frama-C Oxygen-20120901 | ### Description : Running "frama-c -cpp-command 'gcc -C -E -I.' -jessie '-jessie-why-opt=-exp goal' -no-unicode -jessie-atp simplify ftest.c" on the attached program yield a message: Uncaught exception: Invalid_argument("equal: abstract value") The reason seems to be the (?:) operator used in line 3. I used frama-c Nitrogen-20111001 and why 2.30. ## Attachments - [ftest.c](/uploads/16be1eb2013ee7256a51348951c7bc8c/ftest.c) - [typescript1](/uploads/a4e671040a85efb0ca0aeb7522435b89/typescript1) - [typescript2](/uploads/76fb7932eb0ce31eb03681c04951f6d3/typescript2) - [ftest3.c](/uploads/dac81de28375021adc9c26fdc1b16e0d/ftest3.c) - [Output1003.txt](/uploads/549c1130f26e9941c5a1679a6dc4cd96/Output1003.txt)