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.
|
| Steps To Reproduce | |
| 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 |  line.tar (286,720) 2010-12-20 15:00
https://bts.frama-c.com/file_download.php?file_id=139&type=bug |
|
| 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 | Checkin | |
| 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 |