"\nothing" unrecognized in assigns clause
ID0001793: This issue was created automatically from Mantis Issue 1793. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001793 | Frama-Clang | Plug-in > clang | public | 2014-06-02 | 2014-09-26 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | xubuntu-cfe13.10 | OS Version | - |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C GIT, precise the release id |
Description :
Running "frama-c from02.cpp" on the attached program yield the output: from01.cpp:5:26: keyword 'keyword -> \nothing' encountered when parsing term or predicate
The error message disappears when the file is renamed to "from02.c"