Move magic "compiled" string behind an API in symbolt

Author: tautschnig

src/goto-cc/compile.cpp

@@ -707,15 +707,13 @@ void compilet::convert_symbols(goto_functionst &dest)
         symbol_table.symbols.find(*it);
       assert(s_it!=symbol_table.symbols.end());
 
-      if(s_it->second.type.id()==ID_code &&
-         !s_it->second.is_macro &&
-         !s_it->second.is_type &&
-          s_it->second.value.id()!="compiled" &&
-          s_it->second.value.is_not_nil())
+      if(
+        s_it->second.is_function() && !s_it->second.is_compiled() &&
+        s_it->second.value.is_not_nil())
       {
         debug() << "Compiling " << s_it->first << eom;
         converter.convert_function(s_it->first, dest.function_map[s_it->first]);
-        symbol_table.get_writeable_ref(*it).value=exprt("compiled");
+        symbol_table.get_writeable_ref(*it).mark_compiled();
       }
     }
   }

src/goto-programs/goto_convert_functions.cpp

@@ -151,7 +151,7 @@ void goto_convert_functionst::convert_function(
   f.type=to_code_type(symbol.type);
 
   if(symbol.value.is_nil() ||
-     symbol.value.id()=="compiled") /* goto_inline may have removed the body */
+     symbol.is_compiled()) /* goto_inline may have removed the body */
     return;
 
   if(symbol.value.id()!=ID_code)

src/util/irep_ids.def

@@ -845,6 +845,7 @@ IREP_ID_TWO(C_no_initialization_required, #no_initialization_required)
 IREP_ID_TWO(overlay_class, java::com.diffblue.OverlayClassImplementation)
 IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation)
 IREP_ID_ONE(annotations)
+IREP_ID_ONE(compiled)
 
 #undef IREP_ID_ONE
 #undef IREP_ID_TWO

src/util/symbol.h

@@ -111,6 +111,16 @@ class symbolt
   {
     return !is_type && !is_macro && type.id()==ID_code;
   }
+
+  bool is_compiled() const
+  {
+    return value == exprt(ID_compiled);
+  }
+
+  void mark_compiled()
+  {
+    value = exprt(ID_compiled);
+  }
 };
 
 std::ostream &operator<<(std::ostream &out, const symbolt &symbol);