Value-set: handle cond_exprt on the RHS

smowton · smowton · commit bea531fa8f09 · 2019-04-23T10:32:34.000+01:00
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -521,6 +521,12 @@ void value_sett::get_value_set_rec(
     get_value_set_rec(expr.op1(), dest, suffix, original_type, ns);
     get_value_set_rec(expr.op2(), dest, suffix, original_type, ns);
   }
+  else if(expr.id() == ID_cond)
+  {
+    const auto &cond_expr = to_cond_expr(expr);
+    for(std::size_t i = 0; i < cond_expr.get_n_cases(); ++i)
+      get_value_set_rec(cond_expr.value(i), dest, suffix, original_type, ns);
+  }
   else if(expr.id()==ID_address_of)
   {
     if(expr.operands().size()!=1)

Original file line number	Diff line number	Diff line change
`@@ -521,6 +521,12 @@ void value_sett::get_value_set_rec(`
`521`	`521`	`get_value_set_rec(expr.op1(), dest, suffix, original_type, ns);`
`522`	`522`	`get_value_set_rec(expr.op2(), dest, suffix, original_type, ns);`
`523`	`523`	`}`
	`524`	`+ else if(expr.id() == ID_cond)`
	`525`	`+ {`
	`526`	`+ const auto &cond_expr = to_cond_expr(expr);`
	`527`	`+ for(std::size_t i = 0; i < cond_expr.get_n_cases(); ++i)`
	`528`	`+ get_value_set_rec(cond_expr.value(i), dest, suffix, original_type, ns);`
	`529`	`+ }`
`524`	`530`	`else if(expr.id()==ID_address_of)`
`525`	`531`	`{`
`526`	`532`	`if(expr.operands().size()!=1)`