ID0002498: **This issue was created automatically from Mantis Issue 2498. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002498 | Frama-C | Plug-in > wp | public | 2020-02-10 | 2020-02-24 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | adbq | **Assigned To** | correnson | **Resolution** | open | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | amd64 | **OS** | Linux Debian | **OS Version** | Buster (10) | | **Product Version** | Frama-C 20-Calcium | **Target Version** | - | **Fixed in Version** | - | ### Description : When using unmap() glib function, WP stops analysis with a fatal error "User Error: Invalid infinite range p_1+(0..)". ### Steps To Reproduce : make frama-c, with appended code snippet. ## Attachments - [Makefile](/uploads/b3d3d3c48e97cef222db70c65ef942aa/Makefile) - [test4.c](/uploads/0aa351f38d2e0b1d6c56ae148a58164a/test4.c)