the return statement of a called function was wrongly removed
ID0002302: This issue was created automatically from Mantis Issue 2302. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002302 | Frama-C | Plug-in > slicing | public | 2017-05-23 | 2017-12-06 |
| Reporter | Yangyibiao | Assigned To | Nikolai_Kosmatov | Resolution | fixed |
| Priority | high | Severity | major | Reproducibility | always |
| Platform | x86_64 | OS | Ubuntu | OS Version | Ubuntu 16.04.4 |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | Frama-C 16-Sulfur |
Description :
While slicing the last statement in the attached test.c file, the "return g_79;" statement in function func_2 (line 312 in the test.c file) was wrongly removed from the slice.
gcc version: gcc（Ubuntu-5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609
frama-c version: Silicon-20161101
Tags :
csmith
Steps To Reproduce :
frama-c -cpp-command "gcc -C -E " test.c -slice-pragma main -then-on 'Slicing export' -print -ocode slice.c
gcc test.c -o test && ./test gcc slice.c -o slice && ./slice
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information