C++ front-end: Enable compilation with DEBUG defined

Some of the code inside #ifdef DEBUG ... #endif had become stale. Also
perform minor style improvements.

Author: andreast271

src/cpp/cpp_declaration.cpp

@@ -15,17 +15,17 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
 
 void cpp_declarationt::output(std::ostream &out) const
 {
-  out << "is_template: " << is_template() << "\n";
-  out << "storage: " << storage_spec().pretty() << "\n";
-  out << "template_type: " << template_type().pretty() << "\n";
-  out << "type: " << type().pretty() << "\n";
+  out << "is_template: " << is_template() << '\n';
+  out << "storage: " << storage_spec().pretty() << '\n';
+  out << "template_type: " << template_type().pretty() << '\n';
+  out << "type: " << type().pretty() << '\n';
 
-  out << "Declarators:" << "\n";
+  out << "Declarators:" << '\n';
 
   for(const auto &it : declarators())
   {
     it.output(out);
-    out << "\n";
+    out << '\n';
   }
 }
 

src/cpp/cpp_declarator.cpp

@@ -18,11 +18,11 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
 
 void cpp_declaratort::output(std::ostream &out) const
 {
-  out << "  name: " << name().pretty() << "\n";
-  out << "  type: " << type().pretty() << "\n";
-  out << "  value: " << value().pretty() << "\n";
-  out << "  init_args: " << init_args().pretty() << "\n";
-  out << "  method_qualifier: " << method_qualifier().pretty() << "\n";
+  out << "  name: " << name().pretty() << '\n';
+  out << "  type: " << type().pretty() << '\n';
+  out << "  value: " << value().pretty() << '\n';
+  out << "  init_args: " << init_args().pretty() << '\n';
+  out << "  method_qualifier: " << method_qualifier().pretty() << '\n';
 }
 
 typet cpp_declaratort::merge_type(const typet &declaration_type) const

src/cpp/cpp_declarator_converter.cpp

@@ -344,20 +344,24 @@ void cpp_declarator_convertert::handle_initializer(
   }
   else
   {
-    #if 0
-    cpp_typecheck.error().source_location=declarator.name());
+#if 0
+    cpp_typecheck.error().source_location=source_location;
 
     if(is_code)
-      cpp_typecheck.str << "body of function `"
+    {
+      cpp_typecheck.error() << "body of function `"
                         << symbol.display_name()
-                        << "' has already been defined";
+                        << "' has already been defined" << messaget::eom;
+    }
     else
-      cpp_typecheck.str << "symbol `"
+    {
+      cpp_typecheck.error() << "symbol `"
                         << symbol.display_name()
-                        << "' already has an initializer";
+                        << "' already has an initializer" << messaget::eom;
+    }
 
     throw 0;
-    #endif
+#endif
   }
 }
 

src/cpp/cpp_namespace_spec.cpp

@@ -17,5 +17,5 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
 
 void cpp_namespace_spect::output(std::ostream &out) const
 {
-  out << "  namespace: " << get_namespace() << "\n";
+  out << "  namespace: " << get_namespace() << '\n';
 }

src/cpp/cpp_scopes.cpp

@@ -76,7 +76,7 @@ void cpp_scopest::print_current(std::ostream &out) const
   do
   {
     scope->print_fields(out);
-    out << "\n";
+    out << '\n';
     scope=&scope->get_parent();
   }
   while(!scope->is_root_scope());

src/cpp/cpp_typecheck.cpp

@@ -337,8 +337,11 @@ bool cpp_typecheckt::contains_cpp_name(const exprt &expr)
 {
   if(expr.id() == ID_cpp_name || expr.id() == ID_cpp_declaration)
     return true;
-  forall_operands(it, expr)
-    if(contains_cpp_name(*it))
+
+  for(const exprt &op : expr.operands())
+  {
+    if(contains_cpp_name(op))
       return true;
+  }
   return false;
 }

src/cpp/cpp_typecheck_compound_type.cpp

@@ -1325,12 +1325,9 @@ void cpp_typecheckt::typecheck_member_function(
   if(symbol_table.move(symbol, new_symbol))
   {
     error().source_location=symbol.location;
-    error() << "failed to insert new method symbol: "
-            << symbol.name << "\n"
-            << "name of previous symbol: "
-            << new_symbol->name << "\n"
-            << "location of previous symbol: "
-            << new_symbol->location << eom;
+    error() << "failed to insert new method symbol: " << symbol.name << '\n'
+            << "name of previous symbol: " << new_symbol->name << '\n'
+            << "location of previous symbol: " << new_symbol->location << eom;
 
     throw 0;
   }

src/cpp/cpp_typecheck_declaration.cpp

@@ -6,7 +6,6 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
 
 \********************************************************************/
 
-
 /// \file
 /// C++ Language Type Checking
 

src/cpp/cpp_typecheck_expr.cpp

@@ -2344,7 +2344,7 @@ void cpp_typecheckt::typecheck_method_application(
       static_cast<const cpp_template_args_tct &>(template_args));
     add_method_body(&method_symbol);
 #ifdef DEBUG
-    std::cout << "MAP for " << symbol << ":" << std::endl;
+    std::cout << "MAP for " << symbol << ":\n";
     template_map.print(std::cout);
 #endif
   }

src/cpp/cpp_typecheck_method_bodies.cpp

@@ -37,9 +37,9 @@ void cpp_typecheckt::typecheck_method_bodies()
       continue;
 
 #ifdef DEBUG
-  std::cout << "convert_method_body: " << method_symbol.name << std::endl;
-  std::cout << "  is_not_nil: " << body.is_not_nil() << std::endl;
-  std::cout << "  !is_zero: " << (!body.is_zero()) << std::endl;
+    std::cout << "convert_method_body: " << method_symbol.name << '\n';
+    std::cout << "  is_not_nil: " << body.is_not_nil() << '\n';
+    std::cout << "  !is_zero: " << (!body.is_zero()) << '\n';
 #endif
     if(body.is_not_nil() && !body.is_zero())
       convert_function(method_symbol);
@@ -51,22 +51,18 @@ void cpp_typecheckt::typecheck_method_bodies()
 void cpp_typecheckt::add_method_body(symbolt *_method_symbol)
 {
 #ifdef DEBUG
-  std::cout << "add_method_body: " << _method_symbol->name << std::endl;
+  std::cout << "add_method_body: " << _method_symbol->name << '\n';
 #endif
-
-  // We have to prevent the same method to be added multiple times
-  //   otherwise we get duplicated symbol prefixes
-  if(methods_seen.find(_method_symbol->name) != methods_seen.end())
+  // Converting a method body might add method bodies for methods that we have
+  // already analyzed. Adding the same method more than once causes duplicated
+  // symbol prefixes, therefore we have to keep track.
+  if(methods_seen.insert(_method_symbol->name).second)
   {
+    method_bodies.push_back(
+      method_bodyt(_method_symbol, template_map, instantiation_stack));
+  }
 #ifdef DEBUG
-    std::cout << "  already exists" << std::endl;
+  else
+    std::cout << "  already exists\n";
 #endif
-    return;
-  }
-  method_bodies.push_back(
-    method_bodyt(_method_symbol, template_map, instantiation_stack));
-
-  // Converting a method body might add method bodies for methods
-  // that we have already analyzed. Hence, we have to keep track.
-  methods_seen.insert(_method_symbol->name);
 }