ID0000251: **This issue was created automatically from Mantis Issue 251. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000251 | Frama-C | Plug-in > Eva | public | 2009-09-20 | 2014-02-12 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | pascal | **Assigned To** | yakobowski | **Resolution** | fixed | | **Priority** | immediate | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Beryllium-20090901 | **Target Version** | - | **Fixed in Version** | Frama-C Oxygen-20120901 | ### Description : ~/ppc/bin/viewer.opt -val imprecise.c Inspect value of F at the last statement before return. It shows Origin: Misaligned ..:19 This is correct (we are at line 19). Inspect the value of "*p" It shows Origin: Misaligned ..:20 This is incorrect. Line 20 has not even been analyzed yet. Note: this is probably only a problem in display (since F is correct). Unfortunately this happens in a demo I was planning to do soon for someone that matters a lot. Quick fix very much appreciated if at all possible (meanwhile I will try to hide the problem by adjusting the demo). ## Attachments - [imprecise.c](/uploads/d0430283fcaa57d47ff326e878716536/imprecise.c)