wrong origin displayed in the GUI
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).