Merge pull request #526 from martin-cs/fix-cfg-dominator-top

kroening · web-flow · commit eb932310189a · 2017-03-13T15:26:36.000Z
Fix cfg dominator top
diff --git a/src/analyses/cfg_dominators.h b/src/analyses/cfg_dominators.h
@@ -35,7 +35,6 @@ class cfg_dominators_templatet
 
   void operator()(P &program);
 
-  target_sett top;
   T entry_node;
 
   void output(std::ostream &) const;
@@ -101,10 +100,6 @@ template <class P, class T, bool post_dom>
 void cfg_dominators_templatet<P, T, post_dom>::initialise(P &program)
 {
   cfg(program);
-
-  // initialise top element
-  for(const auto &node : cfg.entry_map)
-    top.insert(cfg[node.second].PC);
 }
 
 /*******************************************************************\

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,6 @@ class cfg_dominators_templatet`
`35`	`35`
`36`	`36`	`void operator()(P &program);`
`37`	`37`
`38`		`- target_sett top;`
`39`	`38`	`T entry_node;`
`40`	`39`
`41`	`40`	`void output(std::ostream &) const;`
`@@ -101,10 +100,6 @@ template <class P, class T, bool post_dom>`
`101`	`100`	`void cfg_dominators_templatet<P, T, post_dom>::initialise(P &program)`
`102`	`101`	`{`
`103`	`102`	`cfg(program);`
`104`		`-`
`105`		`- // initialise top element`
`106`		`- for(const auto &node : cfg.entry_map)`
`107`		`- top.insert(cfg[node.second].PC);`
`108`	`103`	`}`
`109`	`104`
`110`	`105`	`/*******************************************************************\`