Frama-C Bug Tracking System - Frama-C
View Issue Details
0002302Frama-CPlug-in > slicingpublic2017-05-23 10:162017-12-06 09:12
Yangyibiao 
Nikolai_Kosmatov 
highmajoralways
closedfixed 
x86_64UbuntuUbuntu 16.04.4
Frama-C 14-Silicon 
Frama-C 16-Sulfur 
0002302: the return statement of a called function was wrongly removed
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
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
csmith
c test.c (8,061) 2017-05-23 10:16
https://bts.frama-c.com/file_download.php?file_id=1178&type=bug
Issue History
2017-05-23 10:16YangyibiaoNew Issue
2017-05-23 10:16YangyibiaoStatusnew => assigned
2017-05-23 10:16YangyibiaoAssigned To => Nikolai_Kosmatov
2017-05-23 10:16YangyibiaoFile Added: test.c
2017-12-05 07:09YangyibiaoTag Attached: csmith
2017-12-05 07:10YangyibiaoNote Added: 0006476
2017-12-06 09:12signolesStatusassigned => closed
2017-12-06 09:12signolesResolutionopen => fixed
2017-12-06 09:12signolesFixed in Version => Frama-C 16-Sulfur

Notes
(0006476)
Yangyibiao   
2017-12-05 07:10   
Note that this bug has been fixed in frama-c Sulfur-20171101.