Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002302Frama-CPlug-in > slicingpublic2017-05-23 10:162017-12-06 09:12
ReporterYangyibiao 
Assigned ToNikolai_Kosmatov 
PriorityhighSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
Platformx86_64OSUbuntuOS VersionUbuntu 16.04.4
Product VersionFrama-C 14-Silicon 
Target VersionFixed in VersionFrama-C 16-Sulfur 
Summary0002302: the return statement of a called function was wrongly removed
DescriptionWhile 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
Steps To Reproduceframa-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
Tagscsmith
Attached Filesc file icon test.c [^] (8,061 bytes) 2017-05-23 10:16 [Show Content]

- Relationships

-  Notes
(0006476)
Yangyibiao (reporter)
2017-12-05 07:10

Note that this bug has been fixed in frama-c Sulfur-20171101.

- Issue History
Date Modified Username Field Change
2017-05-23 10:16 Yangyibiao New Issue
2017-05-23 10:16 Yangyibiao Status new => assigned
2017-05-23 10:16 Yangyibiao Assigned To => Nikolai_Kosmatov
2017-05-23 10:16 Yangyibiao File Added: test.c
2017-12-05 07:09 Yangyibiao Tag Attached: csmith
2017-12-05 07:10 Yangyibiao Note Added: 0006476
2017-12-06 09:12 signoles Status assigned => closed
2017-12-06 09:12 signoles Resolution open => fixed
2017-12-06 09:12 signoles Fixed in Version => Frama-C 16-Sulfur


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker