Merge pull request #5994 from tautschnig/fixed2

Mark cpp/{Conversion9,Friend4,Protection8} as CORE

Author: kroening

regression/cbmc-cpp/Friend4/test.desc

@@ -1,8 +1,7 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring

regression/cbmc-cpp/Protection8/test.desc

@@ -0,0 +1,9 @@
+CORE
+main.cpp
+
+member 'A::i' is not accessible \(private\)$
+^EXIT=(1|64)$
+^SIGNAL=0$
+^CONVERSION ERROR$
+--
+^warning: ignoring

regression/cbmc-cpp/Conversion9/main.cpp renamed to regression/cpp/Conversion9/main.cpp

@@ -0,0 +1,9 @@
+CORE
+main.cpp
+
+member 'A::A\(this,signed_int\)' is not accessible \(protected\)$
+^EXIT=(1|64)$
+^SIGNAL=0$
+^CONVERSION ERROR$
+--
+^warning: ignoring