BROKEN: {} constructor rules

Author: tautschnig

src/cpp/parse.cpp

@@ -23,6 +23,7 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
 #include "cpp_member_spec.h"
 #include "cpp_enum_type.h"
 
+#define DEBUG
 #ifdef DEBUG
 #include <iostream>
 
@@ -6381,7 +6382,6 @@ bool Parser::rPostfixExpr(exprt &exp)
       std::cout << std::string(__indent, ' ') << "Parser::rPostfixExpr 3\n";
 #endif
 
-      lex.get_token(op);
       if(!rFunctionArguments(e))
         return false;
 
@@ -6405,6 +6405,35 @@ bool Parser::rPostfixExpr(exprt &exp)
       }
       break;
 
+    case '{':
+#ifdef DEBUG
+      std::cout << std::string(__indent, ' ') << "Parser::rPostfixExpr 3a\n";
+#endif
+
+      // this is a C++11 extension
+      if(!rInitializeExpr(e))
+        return false;
+
+      if(lex.get_token(cp)!='}')
+        return false;
+
+#ifdef DEBUG
+      std::cout << std::string(__indent, ' ') << "Parser::rPostfixExpr 4a\n";
+#endif
+
+      {
+        side_effect_expr_function_callt fc(
+          std::move(exp), {}, typet{}, source_locationt{});
+        fc.arguments().reserve(e.operands().size());
+        set_location(fc, op);
+
+        Forall_operands(it, e)
+          fc.arguments().push_back(*it);
+        e.operands().clear(); // save some
+        exp.swap(fc);
+      }
+      break;
+
     case TOK_INCR:
       lex.get_token(op);