Fix syntax errors in C++ regression tests

Author: tautschnig

regression/cpp/Apple_extensions1/main.cpp

@@ -5,3 +5,7 @@ void * _Nonnull p2;
 // block pointer
 void (^p3)(void);
 #endif
+
+int main(int argc, char* argv[])
+{
+}

regression/cpp/Apple_extensions1/test.desc

@@ -1,8 +1,10 @@
-CORE
+KNOWNBUG
 main.cpp
 
 ^EXIT=0$
 ^SIGNAL=0$
 --
 ^warning: ignoring
 ^CONVERSION ERROR$
+--
+This is being tracked in #1647.

regression/cpp/Constant2/main.cpp

@@ -1,3 +1,5 @@
+#include <cassert>
+
 int const C=10;
 
 int main()

regression/cpp/List_initialization1/main.cpp

@@ -26,7 +26,7 @@ int main()
   int y { 1 };
   x={ 1 };
   x=int { 1 };
-  x=(int) { 1 }
+  x=(int) { 1 };
   p=new int { 1 };
   some_function({1});
 }

regression/cpp/ModeC1/main.cpp

@@ -1,5 +1,6 @@
 int cpp_f(int fkt_argument)
 {
+  return 0;
 }
 
 extern "C" void f(int fkt_argument)
@@ -27,4 +28,6 @@ int main()
   f(0);
   g(0);
   g(0L);
+
+  return 0;
 }

regression/cpp/Qualifiers_In_Template_Specialisation1/main.cpp

@@ -1,5 +1,6 @@
 template <class T>
 class c {
+public:
   void fun (const T &arg);
 };
 
@@ -9,7 +10,7 @@ void c<long int>::fun (const long int &arg) { return; }
 int main(void) {
   c<long int> cl;
 
-  cl.fun();
+  cl.fun(0);
 
   return 0;
 }

regression/cpp/Resolver10/main.cpp

@@ -1,3 +1,5 @@
+#include <cassert>
+
 struct A
 {
   int i;

regression/cpp/Resolver11/main.cpp

@@ -1,3 +1,5 @@
+#include <cassert>
+
 struct A
 {
   bool func() { return false; }

regression/cpp/Template_Instantiation2/main.cpp

@@ -6,3 +6,8 @@ public :
 
 template<>
 int c<char>::f00(const char*);
+
+int main(int argc, char* argv[])
+{
+  return 0;
+}

regression/cpp/Template_Parameters1/main.ii renamed to regression/cpp/Template_Parameters1/main.cpp

@@ -1,3 +1,5 @@
+#include <cassert>
+
 // V depends on Ty
 template<typename Ty, Ty V>
 class T

regression/cpp/Template_Parameters1/test.desc

@@ -1,5 +1,5 @@
 CORE
-main.ii
+main.cpp
 
 ^EXIT=0$
 ^SIGNAL=0$

regression/cpp/Template_Specialisation2/main.ii

@@ -15,3 +15,6 @@ struct __member_pointer_traits_imp<_Rp (_Class::*)() const>
 {
 };
 
+int main(int argc, char* argv[])
+{
+}

regression/cpp/Trailing_Return_Type1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.cpp
-
+-std=c++11
 ^EXIT=0$
 ^SIGNAL=0$
 --

regression/cpp/auto1/test.desc

@@ -1,6 +1,6 @@
 KNOWNBUG
 main.cpp
-
+-std=c++11
 ^EXIT=0$
 ^SIGNAL=0$
 --

regression/cpp/sizeof2/main.cpp

@@ -5,9 +5,12 @@ template <class T>
 int size()
 {
   sizeof(T);
+  return 0;
 }
 
 int main()
 {
   size<int>();
+
+  return 0;
 }

regression/cpp/type_traits_essentials1/main.cpp

@@ -55,6 +55,6 @@ class X
 
 int main(int argc, char* argv[])
 {
-  X<> x;
+  X<true> x;
   return x.val()?0:1;
 }

regression/cpp/type_traits_essentials1/test.desc

@@ -1,6 +1,6 @@
 KNOWNBUG
 main.cpp
-
+-std=c++11
 ^EXIT=0$
 ^SIGNAL=0$
 --

regression/cpp/typecast_ambiguity1/main.cpp

@@ -1,4 +1,4 @@
-typedef int X;
+typedef long X;
 int Y;
 
 int main()
@@ -17,6 +17,6 @@ int main()
 
   (X) * p; // this is a typecast
 
-  z=(int)(p) & 0x1fff; // this is bitwise and
+  z=(long)(p) & 0x1fff; // this is bitwise and
   // z=(int)(p) & z; // this is bitwise and
 }

regression/cpp/typecast_ambiguity2/main.cpp

@@ -5,6 +5,7 @@ int foo(int)
 
 unsigned some_function(void)
 {
+  return 0;
 }
 
 int main()

regression/cpp/virtual1/main.cpp

@@ -1,4 +1,6 @@
-#include <stdio.h>
+#include <cassert>
+#include <cstdio>
+
 class base
 {
 public:
@@ -26,7 +28,7 @@ int main (void)
     base* D = new derived;
     int a = D->func();
     delete D;
-    __CPROVER_assert(a == 2, "Property 1");
+    assert(a == 2);
     return a;
 }