Deactivate three broken tests on MacOS.

The reason we are deactivating the tests is that there
was a change to the `assert.h` header under MacOS that
makes it now include some other C++ headers which include
`type_traits` causing template errors that have broken
CI under that platform.

Author: NlightNFotis

regression/ansi-c/CMakeLists.txt

@@ -1,15 +1,20 @@
 if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
-add_test_pl_tests(
-    "$<TARGET_FILE:goto-cc>" -X gcc-only
-)
+    add_test_pl_tests(
+        "$<TARGET_FILE:goto-cc>" -X gcc-only
+    )
+elseif("${CMAKE_SYSTEM_NAME}" STREQUAL "Darwin")
+    add_test_pl_tests(
+        "$<TARGET_FILE:goto-cc>" -X mac-frontend-broken
+    )
 else()
-add_test_pl_tests(
-    "$<TARGET_FILE:goto-cc>"
-)
-add_test_pl_profile(
-    "ansi-c-c++-front-end"
-    "$<TARGET_FILE:goto-cc> -xc++ -D_Bool=bool"
-    "-C;-I;test-c++-front-end;-s;c++-front-end"
-    "CORE"
-)
+    add_test_pl_tests(
+        "$<TARGET_FILE:goto-cc>"
+    )
+
+    add_test_pl_profile(
+        "ansi-c-c++-front-end"
+        "$<TARGET_FILE:goto-cc> -xc++ -D_Bool=bool"
+        "-C;-I;test-c++-front-end;-s;c++-front-end"
+        "CORE"
+    )
 endif()

regression/ansi-c/array_initialization2/test.desc

@@ -1,4 +1,4 @@
-CORE test-c++-front-end
+CORE test-c++-front-end mac-frontend-broken
 main.c
 
 ^EXIT=0$

regression/ansi-c/float_constant2/test.desc

@@ -1,4 +1,4 @@
-CORE test-c++-front-end
+CORE test-c++-front-end mac-frontend-broken
 main.c
 
 ^EXIT=0$

regression/ansi-c/goto_convert_switch_range_case_valid/test.desc

@@ -1,4 +1,4 @@
-CORE test-c++-front-end
+CORE test-c++-front-end mac-frontend-broken
 main.c
 
 ^EXIT=0$