Merge pull request diffblue#2340 from tautschnig/c++-cassert

C++ front-end: support =delete method declarations

Author: tautschnig

regression/cbmc-cpp/Makefile

@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c ../../../src/cbmc/cbmc
+	@../test.pl -p -c ../../../src/cbmc/cbmc
 
 tests.log: ../test.pl
-	@../test.pl -c ../../../src/cbmc/cbmc
+	@../test.pl -p -c ../../../src/cbmc/cbmc
 
 show:
 	@for dir in *; do \

regression/cbmc-cpp/MethodParam1/main.cpp

@@ -2,6 +2,7 @@
 unsigned x;
 
 class ct {
+public:
   void f(int i) {
     x=x+i;
   }

regression/cpp/Method_qualifier1/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 class my_class
 {

regression/cpp/auto1/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 const auto i=1;
 

regression/cpp/deleted_function1/main.cpp

@@ -0,0 +1,19 @@
+class A
+{
+public:
+  void foo() {}
+};
+
+class B : public A
+{
+public:
+  void foo() = delete;
+};
+
+int main()
+{
+  B b;
+  b.foo();
+
+  return 0;
+}

regression/cpp/deleted_function1/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.cpp
+-std=c++11
+^EXIT=(64|1)$
+^SIGNAL=0$
+not accessible
+--
+^warning: ignoring

regression/cpp/switch1/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 int main()
 {

regression/systemc/Array1/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 #define COPY
 

regression/systemc/Array2/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 class myarray {
 

regression/systemc/Array3/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 #define FUNCTION