[kernel] user error: problem while loading file <filename_report> (input_value: integer too large)
ID0000298: This issue was created automatically from Mantis Issue 298. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000298 | Frama-C | Kernel | public | 2009-10-21 | 2014-02-12 |
| Reporter | RUSDACent | Assigned To | signoles | Resolution | won't fix |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | 32 bits architecture | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090902 | Target Version | - | Fixed in Version | - |
Description :
If analyze big reports (> ~ 20 MB) have a problem.
Additional Information :
[dac@technetium pg_config]$ frama-c -load pg_config_result [kernel] user error: problem while loading file pg_config_result (input_value: integer too large) [kernel] Plugin kernel aborted because of invalid user input(s).
pg_config_result - report-file, which formed:
[dac@SA frama-c]$ frama-c -val -cpp-command 'gcc -C -E -I../../include/ -I../../interfaces/libpq/' -lib-entry -main main -context-depth 5 -ulevel 5 -save pg_config_result pg_config.c
pg_config - tool from Postgresql-8.3.6
In Frama-C Beryllium same problem.