internal error when analyzing max.h
ID0000239: This issue was created automatically from Mantis Issue 239. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000239 | Frama-C | Plug-in > jessie | public | 2009-09-11 | 2013-03-27 |
Reporter | Christoph | Assigned To | correnson | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Beryllium-20090901 | Target Version | - | Fixed in Version | Frama-C Oxygen-20120901 |
Description :
Call and message:
File max.h is appended, no file created by frama-c
$ frama-c -jessie max.h [kernel] preprocessing with "gcc -C -E -I. -dD max.h" [jessie] Starting Jessie translation [jessie] user error: Nothing to process. There was probably an error before. max.h:27:[jessie] failure: Unexpected exception. Please submit bug report (Ref. "Log.AbortError("jessie")"). [kernel] Plugin jessie aborted because of an internal error. Please report with 'crash' at http://bts.frama-c.com