wrong origin displayed in the GUI
ID0000251: This issue was created automatically from Mantis Issue 251. Further discussion may take place here.
|ID0000251||Frama-C||Plug-in > Eva||public||2009-09-20||2014-02-12|
|Product Version||Frama-C Beryllium-20090901||Target Version||-||Fixed in Version||Frama-C Oxygen-20120901|
~/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).