r24011: failure: Invalid combination of type specifiers
ID0001500: This issue was created automatically from Mantis Issue 1500. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001500 | Frama-C | Kernel | public | 2013-10-09 | 2014-03-13 |
| Reporter | pascal | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
The following program is accepted by gcc:
$ cat l.c typedef int digit;
struct S { int const digit; };
$ gcc -c l.c
But Frama-C fails to parse it:
$ frama-c l.c [kernel] preprocessing with "gcc -C -E -I. l.c" l.c:3:[kernel] failure: Invalid combination of type specifiers: int digit [kernel] user error: skipping file "l.c" that has errors. [kernel] Frama-C aborted: invalid user input.