wrong origin displayed in the GUI
ID0000251: This issue was created automatically from Mantis Issue 251. Further discussion may take place here.
|Plug-in > Eva
|Fixed in Version
~/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).