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

This enables us to use use cassert instead of assert.h in C++ regression tests,
as Visual Studio's header files make use of this.

Author: tautschnig

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/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
 

regression/systemc/Array4/main.cpp

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

regression/systemc/BitvectorCpp1/main.cpp

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

regression/systemc/BitvectorCpp2/main.cpp

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

regression/systemc/This1/main.cpp

@@ -1,4 +1,4 @@
-#include <assert.h>
+#include <cassert>
 
 class Foo;
 

src/cpp/cpp_typecheck_compound_type.cpp

@@ -434,6 +434,15 @@ void cpp_typecheckt::typecheck_compound_declarator(
 
   if(is_method)
   {
+    // test for decl(...) = delete; -- make it non-existent by not converting
+    // the declaration
+    if(
+      value.id() == ID_code &&
+      to_code(value).get_statement() == ID_cpp_delete)
+    {
+      return;
+    }
+
     component.set(ID_is_inline, declaration.member_spec().is_inline());
 
     // the 'virtual' name of the function