search

goblint / cil

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

Add enumerator attributes #172

Closed sim642 closed 1 month ago

sim642 commented 1 month ago

In opam-repository CI goblint.2.4.0 saw MacOS failures with

#   - /Library/Developer/CommandLineTools/SDKs/MacOSX14.sdk/usr/include/sys/qos.h[130:0-0] : syntax error
#   - Parsing errorFatal error: exception Goblint_lib__Maingoblint.FrontendError("Frontc.ParseError: Parse error")

This seems to be https://github.com/alexey-lysiuk/macos-sdk/blob/69ddec41e6224afebd5f19bb24764305ac3e828a/MacOSX14.5.sdk/usr/include/sys/qos.h#L130-L143, where attributes are after individual enum items (enumerators).

It is valid syntax for GCC attributes: https://gcc.gnu.org/onlinedocs/gcc/Enumerator-Attributes.html.

sim642 commented 1 month ago

Looks like GitHub Actions macos-13 machines may have also updated some SDKs because there are now the same CI failures there.

sim642 commented 1 month ago

Merging now since it fixes Goblint MacOS CI which otherwise fails for everything.

sim642 commented 1 week ago

This also appears on Linux in gspawn.h: https://github.com/goblint/analyzer/issues/1564#issue-2508838814.