| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001857 | Frama-C | Plug-in > Eva | public | 2014-07-25 08:19 | 2015-03-17 22:18 |
|
| Reporter | Anne | |
| Assigned To | yakobowski | |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Neon-20140301 | |
| Target Version | | Fixed in Version | Frama-C Sodium | |
|
| Summary | 0001857: Crash on invalid -val-split-return-function option |
| Description | The Failure is caught when parsing the -val-split-return-function option, but not the Invalid_argument one, hence the crash. |
| Steps To Reproduce | With any C file such as :
int main (void) {
return 0;
}
$ frama-c test.c -val -val-split-return-function main:3x
[kernel] Current source was: test.c:2
The full backtrace is:
Called from file "list.ml", line 55, characters 20-23
Called from file "src/value/value_parameters.ml", line 422, characters 20-48
...
Unexpected error (Invalid_argument("Z.of_string_base: invalid number")).
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is Neon-20140301+dev. |
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships