Frama-C Bug Tracking System - Frama-C
View Issue Details
0001500Frama-CKernelpublic2013-10-09 16:542014-03-13 15:57
Frama-C GIT, precise the release id 
Frama-C Neon-20140301 
0001500: r24011: failure: Invalid combination of type specifiers
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.
No tags attached.
Issue History
2013-10-09 16:54pascalNew Issue
2013-10-09 16:55pascalStatusnew => assigned
2013-10-09 16:55pascalAssigned To => virgile
2013-10-09 17:39virgileStatusassigned => confirmed
2013-10-09 23:21pascalDescription Updated
2013-10-17 17:11svnCheckin
2013-10-17 17:11svnStatusconfirmed => resolved
2013-10-17 17:11svnResolutionopen => fixed
2014-02-12 16:57Note Added: 0004555
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed

2014-02-12 16:57   
Fix committed to stable/neon branch.