Message about internal error Log.AbortFatal("kernel")
ID0002288: This issue was created automatically from Mantis Issue 2288. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002288 | Frama-C | Graphical User Interface | public | 2017-03-01 | 2017-03-06 |
| Reporter | Max P. | Assigned To | maroneze | Resolution | unable to reproduce |
| Priority | normal | Severity | minor | Reproducibility | sometimes |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | - |
Description :
Message sometimes appears with option -warn-unsigned-downcast.
Analysis is performed for a long time.
Value analysis log is huge. For example 107 MB.
A lot of identical messages, consecutive. For example:
"...
Called from D://folder//file.c:1002.
[value] Recording results for calc_crc16_tbl
[value] Done for function calc_crc16_tbl
[value] computing for function calc_crc16_tbl <- can_rx <-
loader <- main.
Called from D://folder//file.c:1002.
[value] Recording results for calc_crc16_tbl
[value] Done for function calc_crc16_tbl
[value] computing for function calc_crc16_tbl <- can_rx <-
loader <- main.
..."
Additional Information :
See attached file.
Steps To Reproduce :
Run value analysis with option -warn-unsigned-downcast.
