ID0002207: **This issue was created automatically from Mantis Issue 2207. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002207 | Frama-C | Plug-in > wp | public | 2016-02-03 | 2016-02-03 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | jochenam | **Assigned To** | correnson | **Resolution** | open | | **Priority** | normal | **Severity** | crash | **Reproducibility** | always | | **Platform** | x86_64 | **OS** | Linux Mint | **OS Version** | 17.3 | | **Product Version** | Frama-C Magnesium | **Target Version** | - | **Fixed in Version** | - | ### Description : See also issue 0002206: When instead of only -val Frama-C is called with -val -wp, the WP plug-in crashes, seemingly because of the pointer_comparable generated by Value. ### Steps To Reproduce : Run Frama-C on attached file: frama-c -val -wp main.c ## Attachments - [main.c](/uploads/f7bb9f114ed5bbc36cf916a66ea75994/main.c)