View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
ID | Project | Category | View Status | Date Submitted | Last Update |
0001293 | Frama-C | Plug-in > wp | public | 2012-11-01 12:10 | 2013-04-19 11:05 |
|
Reporter | Jochen | |
Assigned To | correnson | |
Priority | normal | Severity | crash | Reproducibility | always |
Status | closed | Resolution | fixed | |
Platform | | OS | | OS Version | |
Product Version | Frama-C Oxygen-20120901 | |
Target Version | | Fixed in Version | Frama-C Fluorine-20130401 | |
|
Summary | 0001293: proc name in assigns clause causes crash |
Description | Running "frama-c -wp ftest.c >ftest.log 2>&1" on the attached program, and yielding the attached log file, the Kernel reports an unexpected stack overflow. Although referring to a procedure name ("ftest") in an assigns-clause (line 4) is one of the most stupid user-errors that can be made, it should not cause a crash. |
Tags | No tags attached. |
|
Attached Files | ftest1.c [^] (61 bytes) 2012-11-01 12:13 [Show Content] [Hide Content]
void ftest(void) {}
//@ assigns ftest;
void main(void) {}
ftest.log [^] (1,767 bytes) 2012-11-01 12:14 |
|