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. =delete and =default are C++11
(and later) only, make sure the parser is sufficiently restrictive.

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
 

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

@@ -450,6 +450,14 @@ void cpp_typecheckt::typecheck_compound_declarator(
 
   if(is_method)
   {
+    if(
+      value.id() == ID_code &&
+      to_code(value).get_statement() == ID_cpp_delete)
+    {
+      value.make_nil();
+      component.set(ID_access, "noaccess");
+    }
+
     component.set(ID_is_inline, declaration.member_spec().is_inline());
 
     // the 'virtual' name of the function

src/cpp/parse.cpp

@@ -2494,13 +2494,25 @@ bool Parser::rConstructorDecl(
 
     case TOK_DEFAULT: // C++0x
       {
+        if(!ansi_c_parser.cpp11)
+        {
+          SyntaxError();
+          return false;
+        }
+
         constructor.value()=codet(ID_default);
         set_location(constructor.value(), value);
       }
       break;
 
     case TOK_DELETE: // C++0x
       {
+        if(!ansi_c_parser.cpp11)
+        {
+          SyntaxError();
+          return false;
+        }
+
         constructor.value()=codet(ID_cpp_delete);
         set_location(constructor.value(), value);
       }
@@ -2675,12 +2687,24 @@ bool Parser::rDeclaratorWithInit(
 
       if(lex.LookAhead(0)==TOK_DEFAULT) // C++0x
       {
+        if(!ansi_c_parser.cpp11)
+        {
+          SyntaxError();
+          return false;
+        }
+
         lex.get_token(tk);
         declarator.value()=codet(ID_default);
         set_location(declarator.value(), tk);
       }
       else if(lex.LookAhead(0)==TOK_DELETE) // C++0x
       {
+        if(!ansi_c_parser.cpp11)
+        {
+          SyntaxError();
+          return false;
+        }
+
         lex.get_token(tk);
         declarator.value()=codet(ID_cpp_delete);
         set_location(declarator.value(), tk);