parse C++11 auto declarations

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4142 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/cpp/parse.cpp

@@ -1036,7 +1036,7 @@ bool Parser::rDeclaration(cpp_declarationt &declaration)
     std::cout << "Parser::rDeclaration 6 " << t << "\n";
     #endif
 
-    if(cv_q.is_not_nil() &&
+    if((cv_q.is_not_nil() || storage_spec.is_auto()) &&
        ((t==TOK_IDENTIFIER && lex.LookAhead(1)=='=') || t=='*'))
       return rConstDeclaration(declaration, storage_spec, member_spec, cv_q);
     else
@@ -6610,7 +6610,7 @@ bool Parser::rDeclarationStatement(codet &statement)
     std::cout << "Parser::rDeclarationStatement 3 " << t << "\n";
     #endif
 
-    if(cv_q.is_not_nil() &&
+    if((cv_q.is_not_nil() || storage_spec.is_auto()) &&
        ((t==TOK_IDENTIFIER && lex.LookAhead(1)=='=') || t=='*'))
     {
       #ifdef DEBUG