Minor improvement to initialize()

Author: Owen Jones

src/pointer-analysis/local_value_set_analysis.cpp

@@ -66,6 +66,8 @@ void local_value_set_analysist::initialize(const goto_programt &fun)
     external_symbols.end());
 
   auto &initial_state=(*this)[fun.instructions.begin()].value_set;
+  const external_value_set_typet
+    default_mode_for_new_evs=external_value_set_typet::ROOT_OBJECT;
 
   // Now insert fresh symbols for each external symbol,
   // indicating an unknown external points-to set.
@@ -83,7 +85,7 @@ void local_value_set_analysist::initialize(const goto_programt &fun)
       external_value_set_exprt extsym_var(
         extsym.type().subtype(),
         constant_exprt(extsym_name, string_typet()),
-        external_value_set_typet::ROOT_OBJECT,
+        default_mode_for_new_evs,
         true);
       initial_state.insert(extsym_entry.object_map, extsym_var);
     }