Add availability attribute with multiple dots to test

goblint · Jul 26, 2024 · 453a777 · 453a777
1 parent 70a4303
commit 453a777
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/small1/attr-assign.c b/test/small1/attr-assign.c
@@ -5,3 +5,10 @@ void foo(void) __attribute__((availability(macos,introduced=10.15)));
 void foo(void) {
     return;
 }
+
+// Version numbers may have multiple dots: https://github.com/goblint/cil/pull/171#issuecomment-2250670652
+void bar(void) __attribute__((availability(macos,introduced=10.13.4)));
+
+void bar(void) {
+    return;
+}