symbol_table API

Daniel Kroening · Daniel Kroening · commit ae61a3b4bd90 · 2018-05-27T15:18:52.000+01:00
diff --git a/src/ebmc/ebmc_base.cpp b/src/ebmc/ebmc_base.cpp
@@ -330,10 +330,9 @@ Function: ebmc_baset::get_model_properties
 
 bool ebmc_baset::get_model_properties()
 {
-  forall_symbol_module_map(
-    it,
-    symbol_table.symbol_module_map, 
-    main_symbol->name)
+  for(auto it=symbol_table.symbol_module_map.lower_bound(main_symbol->name);
+      it!=symbol_table.symbol_module_map.upper_bound(main_symbol->name);
+      it++)
   {
     namespacet ns(symbol_table);
     const symbolt &symbol=ns.lookup(it->second);

Original file line number	Diff line number	Diff line change
`@@ -330,10 +330,9 @@ Function: ebmc_baset::get_model_properties`
`330`	`330`
`331`	`331`	`bool ebmc_baset::get_model_properties()`
`332`	`332`	`{`
`333`		`- forall_symbol_module_map(`
`334`		`- it,`
`335`		`- symbol_table.symbol_module_map,`
`336`		`- main_symbol->name)`
	`333`	`+ for(auto it=symbol_table.symbol_module_map.lower_bound(main_symbol->name);`
	`334`	`+ it!=symbol_table.symbol_module_map.upper_bound(main_symbol->name);`
	`335`	`+ it++)`
`337`	`336`	`{`
`338`	`337`	`namespacet ns(symbol_table);`
`339`	`338`	`const symbolt &symbol=ns.lookup(it->second);`