WP crashes with \pointer_comparable
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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information