Debugging

Author: tautschnig

regression/systemc/BitvectorSc3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.cpp
-
+--verbosity 10
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

src/cpp/cpp_language.cpp

@@ -134,8 +134,11 @@ bool cpp_languaget::typecheck(
     return true;
 
   remove_internal_symbols(new_symbol_table, get_message_handler(), false);
+  debug() << "Linking" << eom;
 
-  return linking(symbol_table, new_symbol_table, get_message_handler());
+  bool r=linking(symbol_table, new_symbol_table, get_message_handler());
+  debug() << "DONE Linking" << eom;
+  return r;
 }
 
 bool cpp_languaget::generate_support_functions(

src/linking/remove_internal_symbols.cpp

@@ -82,6 +82,7 @@ void remove_internal_symbols(
   namespacet ns(symbol_table);
   find_symbols_sett exported;
   messaget log(mh);
+  log.debug() << "Removing internal symbols" << messaget::eom;
 
   // we retain certain special ones
   find_symbols_sett special;
@@ -116,6 +117,7 @@ void remove_internal_symbols(
 
     if(special.find(symbol.name)!=special.end())
     {
+      log.debug() << "GS1: " << symbol.name << messaget::eom;
       get_symbols(ns, symbol, exported);
       continue;
     }
@@ -149,10 +151,12 @@ void remove_internal_symbols(
         (!is_file_local ||
          (config.main.has_value() && symbol.base_name == config.main.value())))
       {
+        log.debug() << "GS2: " << symbol.name << messaget::eom;
         get_symbols(ns, symbol, exported);
       }
       else if(has_body && is_file_local && keep_file_local)
       {
+        log.debug() << "GS3: " << symbol.name << messaget::eom;
         get_symbols(ns, symbol, exported);
       }
     }
@@ -163,6 +167,7 @@ void remove_internal_symbols(
       if((has_initializer || !symbol.is_extern) &&
          !is_file_local)
       {
+        log.debug() << "GS4: " << symbol.name << messaget::eom;
         get_symbols(ns, symbol, exported);
       }
     }
@@ -185,4 +190,5 @@ void remove_internal_symbols(
       it++;
     }
   }
+  log.debug() << "Done removing internal symbols" << messaget::eom;
 }