parsing of hex int constant swallows following semicolon
ID0001980: This issue was created automatically from Mantis Issue 1980. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001980 | Frama-Clang | Plug-in > clang | public | 2014-11-24 | 2015-02-16 |
| Reporter | Jochen | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | frama-c-Neon-20140301+dev-stance | OS | - | OS Version | xubuntu-cfe13.10 |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
output:
142.cpp:2:26: Expecting ';' after post-condition Now output intermediate result
The problem disappears if the "x" and the "0x" is omitted in line 2, thus changing the hexadecimal constant to an octal and decimal one, respectively. The problem also disappears if the file is renamed to "142.c".
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information