Frama-C Bug Tracking System - Frama-C | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000645 | Frama-C | Kernel | public | 2010-12-20 15:00 | 2014-02-12 16:55 |
Reporter | sduprat | ||||
---|---|---|---|---|---|
Assigned To | monate | ||||
Priority | normal | Severity | minor | Reproducibility | always |
Status | closed | Resolution | fixed | ||
Platform | OS | OS Version | |||
Product Version | Frama-C Carbon-20101202-beta2 | ||||
Target Version | Fixed in Version | Frama-C Carbon-20110201 | |||
Summary | 0000645: lose of location displayed by Cil.warning | ||||
Description | In previous releases, location displayed by Cil.warning was correct. In Carbon beta 2, location is sometimes 0. | ||||
Additional Information | with the plugin in attached file and test1.c source file : > frama-c -test1 -no-collapse-call-cast ../test1.c [kernel] preprocessing with "gcc -C -E -I. ../test1.c" :0:[kernel] warning: exp = 0 :0:[kernel] warning: exp = 1 :0:[kernel] warning: exp = 2 ../test1.c:5:[kernel] warning: exp = 1 :0:[kernel] warning: exp = __retres ../test1.c:12:[kernel] warning: exp = f0 ../test1.c:12:[kernel] warning: exp = *p ../test1.c:12:[kernel] warning: exp = p :0:[kernel] warning: exp = (enum __anonenum_pole_1 )tmp :0:[kernel] warning: exp = tmp ../test1.c:13:[kernel] warning: exp = f0 ../test1.c:13:[kernel] warning: exp = *p ../test1.c:13:[kernel] warning: exp = p ../test1.c:13:[kernel] warning: exp = t ../test1.c:13:[kernel] warning: exp = t :0:[kernel] warning: exp = (enum __anonenum_pole_1 )tmp_0 :0:[kernel] warning: exp = tmp_0 ../test1.c:13:[kernel] warning: exp = t | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files | ![]() https://bts.frama-c.com/file_download.php?file_id=139&type=bug |
Notes | |||||
|
|||||
|
|
||||
|
|||||
|
|
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2010-12-20 15:00 | sduprat | New Issue | |||
2010-12-20 15:00 | sduprat | File Added: line.tar | |||
2010-12-20 16:54 | monate | Assigned To | => monate | ||
2010-12-20 16:54 | monate | Status | new => acknowledged | ||
2010-12-20 16:57 | monate | Note Added: 0001336 | |||
2010-12-20 19:41 | monate | Note Added: 0001337 | |||
2010-12-20 19:43 | svn | ||||
2010-12-20 19:43 | svn | Status | acknowledged => resolved | ||
2010-12-20 19:43 | svn | Resolution | open => fixed | ||
2011-02-09 14:36 | signoles | Status | resolved => closed | ||
2011-02-09 14:37 | signoles | Fixed in Version | => Frama-C Carbon-20110201 | ||
2013-12-19 01:12 | svn | Source_changeset_attached | => framac master 9eeeb0b1 | ||
2014-02-12 16:55 | monate | Source_changeset_attached | => framac stable/neon 9eeeb0b1 |