Add test for enumerator attributes

goblint · Aug 2, 2024 · f3f2177 · f3f2177
1 parent 317e26d
commit f3f2177
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/test/small1/attr-enumerator.c b/test/small1/attr-enumerator.c
@@ -0,0 +1,8 @@
+// From some new MacOS headers
+
+enum {
+    A,
+    B __attribute__((availability(macos,introduced=10.15))),
+    C = 5,
+    D __attribute__((availability(macos,introduced=10.15))) = 7
+} E;
diff --git a/test/testcil.pl b/test/testcil.pl
@@ -223,6 +223,7 @@ sub addToGroup {
 addTest("test/attr12 _GNUCC=1");
 addTest("test/attr13 _GNUCC=1");
 # addTest("test/attr-assign"); # TODO: only on OSX, Linux GCC errors on introduced
+# addTest("test/attr-enumerator"); # TODO: only on OSX, Linux GCC errors on introduced
 addTest("testrun/packed _GNUCC=1 WARNINGS_ARE_ERRORS=1");
 addTest("test/packed2 _GNUCC=1");
 addTest("test/bitfield");