Revert "DEBUG"

This reverts commit 4c299cc716f9e0bf639411296f1ee5f2c5d96300.

Author: tautschnig

src/cpp/parse.cpp

@@ -23,7 +23,6 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
 #include "cpp_member_spec.h"
 #include "cpp_enum_type.h"
 
-#define DEBUG
 #ifdef DEBUG
 #include <iostream>
 
@@ -1031,11 +1030,6 @@ bool Parser::rLinkageBody(cpp_linkage_spect::itemst &items)
 */
 bool Parser::rTemplateDecl(cpp_declarationt &decl)
 {
-#ifdef DEBUG
-  indenter _i;
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl 1\n";
-#endif
-
   TemplateDeclKind kind=tdk_unknown;
 
   make_sub_scope("#template", new_scopet::kindt::TEMPLATE);
@@ -1045,10 +1039,6 @@ bool Parser::rTemplateDecl(cpp_declarationt &decl)
   if(!rTemplateDecl2(template_type, kind))
     return false;
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl 2\n";
-#endif
-
   cpp_declarationt body;
   if(lex.LookAhead(0)==TOK_USING)
   {
@@ -1096,20 +1086,11 @@ bool Parser::rTemplateDecl(cpp_declarationt &decl)
 
 bool Parser::rTemplateDecl2(typet &decl, TemplateDeclKind &kind)
 {
-#ifdef DEBUG
-  indenter _i;
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 1\n";
-#endif
-
   cpp_tokent tk;
 
   if(lex.get_token(tk)!=TOK_TEMPLATE)
     return false;
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 2\n";
-#endif
-
   decl=typet(ID_template);
   set_location(decl, tk);
 
@@ -1120,33 +1101,17 @@ bool Parser::rTemplateDecl2(typet &decl, TemplateDeclKind &kind)
     return true;        // ignore TEMPLATE
   }
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 3\n";
-#endif
-
   if(lex.get_token(tk)!='<')
     return false;
 
   irept &template_parameters=decl.add(ID_template_parameters);
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 4\n";
-#endif
-
   if(!rTempArgList(template_parameters))
     return false;
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 5\n";
-#endif
-
   if(lex.get_token(tk)!='>')
     return false;
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 6\n";
-#endif
-
   // ignore nested TEMPLATE
   while(lex.LookAhead(0)==TOK_TEMPLATE)
   {
@@ -1163,10 +1128,6 @@ bool Parser::rTemplateDecl2(typet &decl, TemplateDeclKind &kind)
       return false;
   }
 
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTemplateDecl2 7\n";
-#endif
-
   if(template_parameters.get_sub().empty())
     // template < > declaration
     kind=tdk_specialization;
@@ -1227,10 +1188,6 @@ bool Parser::rTempArgDeclaration(cpp_declarationt &declaration)
 
   if((t0==TOK_CLASS || t0==TOK_TYPENAME))
   {
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTempArgDeclaration 0.1\n";
-#endif
-
     cpp_token_buffert::post pos=lex.Save();
 
     cpp_tokent tk1;
@@ -1270,10 +1227,6 @@ bool Parser::rTempArgDeclaration(cpp_declarationt &declaration)
 
     if(lex.LookAhead(0)=='=')
     {
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTempArgDeclaration 0.2\n";
-#endif
-
       if(declarator.get_has_ellipsis())
         return false;
 
@@ -1286,38 +1239,10 @@ bool Parser::rTempArgDeclaration(cpp_declarationt &declaration)
       declarator.value()=exprt(ID_type);
       declarator.value().type().swap(default_type);
     }
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTempArgDeclaration 0.3\n";
-#endif
 
     if(lex.LookAhead(0)==',' ||
        lex.LookAhead(0)=='>')
       return true;
-#if 0
-    else if(lex.LookAhead(0) == TOK_SHIFTRIGHT)
-    {
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTempArgDeclaration 0.4\n";
-#endif
-
-      // turn >> into > >
-      cpp_token_buffert::post pos=lex.Save();
-      cpp_tokent tk;
-      lex.get_token(tk);
-      lex.Restore(pos);
-      tk.kind='>';
-      tk.text='>';
-      lex.Replace(tk);
-      lex.Insert(tk);
-      DATA_INVARIANT(lex.LookAhead(0) == '>', "should be >");
-      DATA_INVARIANT(lex.LookAhead(1) == '>', "should be >");
-      return true;
-    }
-#endif
-#ifdef DEBUG
-  std::cout << std::string(__indent, ' ') << "Parser::rTempArgDeclaration 0.5\n";
-#endif
-
 
     lex.Restore(pos);
   }
@@ -4043,8 +3968,7 @@ bool Parser::rTemplateArgs(irept &template_args)
         )
     {
 #ifdef DEBUG
-      std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4 " <<
-        lex.LookAhead(0) << "\n";
+      std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4\n";
 #endif
 
       // ok
@@ -4056,30 +3980,20 @@ bool Parser::rTemplateArgs(irept &template_args)
       lex.Restore(pos);
       exprt tmp;
       if(rConditionalExpr(tmp, true))
-      {
-#ifdef DEBUG
-      std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4.0\n";
-#endif
         exp.id(ID_ambiguous);
-      }
 #ifdef DEBUG
       std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4.1\n";
 #endif
       lex.Restore(pos);
       rTypeNameOrFunctionType(a);
 
-#ifdef DEBUG
-      std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4.1a " <<
-        lex.LookAhead(0) << "\n";
-#endif
       if(lex.LookAhead(0)==TOK_ELLIPSIS)
       {
         lex.get_token(tk1);
         exp.set(ID_ellipsis, true);
       }
 #ifdef DEBUG
-      std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4.2 " <<
-        lex.LookAhead(0) << "\n";
+      std::cout << std::string(__indent, ' ') <<  "Parser::rTemplateArgs 4.2\n";
 #endif
     }
     else