search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Support for comma-separated list of declarations with attributes in non-leading position #76

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

This issue was uncovered while trying to parse the source code of FFmpeg:

int i, __attribute__((unused))(version);
int __attribute__((unused))(version2),j;

gcc accepts both, whereas we reject the first one with a parse error.