diff --git regression/ansi-c/array_initialization1/test.desc regression/ansi-c/array_initialization1/test.desc
index 466da18..4f89b21 100644
--- regression/ansi-c/array_initialization1/test.desc
+++ regression/ansi-c/array_initialization1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.c
 
 ^EXIT=0$
diff --git regression/ansi-c/float_constant2/test.desc regression/ansi-c/float_constant2/test.desc
index dbb23d0..4f89b21 100644
--- regression/ansi-c/float_constant2/test.desc
+++ regression/ansi-c/float_constant2/test.desc
@@ -1,4 +1,4 @@
-CORE test-c++-front-end macos-assert-broken
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.c
 
 ^EXIT=0$
diff --git regression/ansi-c/goto_convert_switch_range_case_valid/test.desc regression/ansi-c/goto_convert_switch_range_case_valid/test.desc
index 6f2f5c6..53f62d2 100644
--- regression/ansi-c/goto_convert_switch_range_case_valid/test.desc
+++ regression/ansi-c/goto_convert_switch_range_case_valid/test.desc
@@ -1,4 +1,4 @@
-CORE test-c++-front-end macos-assert-broken
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.c
 
 ^EXIT=0$
diff --git regression/cpp/Method_qualifier1/test.desc regression/cpp/Method_qualifier1/test.desc
index 81dc5b6..a92a481 100644
--- regression/cpp/Method_qualifier1/test.desc
+++ regression/cpp/Method_qualifier1/test.desc
@@ -1,4 +1,4 @@
-CORE winbug macos-assert-broken
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.cpp
 
 ^EXIT=0$
diff --git regression/cpp/enum5/test.desc regression/cpp/enum5/test.desc
index c6e03fd..c2e77d6 100644
--- regression/cpp/enum5/test.desc
+++ regression/cpp/enum5/test.desc
@@ -1,4 +1,4 @@
-CORE winbug macos-assert-broken
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.cpp
 
 ^EXIT=0$
diff --git regression/cpp/switch1/test.desc regression/cpp/switch1/test.desc
index c6e03fd..c2e77d6 100644
--- regression/cpp/switch1/test.desc
+++ regression/cpp/switch1/test.desc
@@ -1,4 +1,4 @@
-CORE winbug macos-assert-broken
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.cpp
 
 ^EXIT=0$
diff --git regression/ansi-c/array_initialization2/test.desc regression/ansi-c/array_initialization2/test.desc
index dbb23d0..4f89b21 100644
--- regression/ansi-c/array_initialization2/test.desc
+++ regression/ansi-c/array_initialization2/test.desc
@@ -1,4 +1,4 @@
-CORE test-c++-front-end macos-assert-broken
+KNOWNBUG rawhide-problem-gcc11-cbmc-compatibility
 main.c
 
 ^EXIT=0$