Merge pull request diffblue#130 from NathanJPhillips/cleanup/remove-top

NathanJPhillips · smowton · commit ed14524e27d5 · 2017-03-01T12:12:03.000Z
Removed unused comment
diff --git a/src/goto-analyzer/taint_set.cpp b/src/goto-analyzer/taint_set.cpp
@@ -90,8 +90,6 @@ taint_sett& taint_sett::operator-=(const taint_variablet &elt)
 
 taint_sett& taint_sett::operator|=(const taint_sett& other)
 {
-//  if(m_is_top)
-//    return;
   tokens.insert(other.tokens.cbegin(), other.tokens.cend());
   variables.insert(other.variables.cbegin(), other.variables.cend());
   conditionals.insert(other.conditionals.cbegin(), other.conditionals.cend());

Original file line number	Diff line number	Diff line change
`@@ -90,8 +90,6 @@ taint_sett& taint_sett::operator-=(const taint_variablet &elt)`
`90`	`90`
`91`	`91`	`taint_sett& taint_sett::operator\|=(const taint_sett& other)`
`92`	`92`	`{`
`93`		`-// if(m_is_top)`
`94`		`-// return;`
`95`	`93`	`tokens.insert(other.tokens.cbegin(), other.tokens.cend());`
`96`	`94`	`variables.insert(other.variables.cbegin(), other.variables.cend());`
`97`	`95`	`conditionals.insert(other.conditionals.cbegin(), other.conditionals.cend());`