Add missing case to bv_pointerst

smowton · smowton · commit 1e418d7a4433 · 2019-04-23T10:32:34.000+01:00
diff --git a/src/solvers/flattening/bv_pointers.cpp b/src/solvers/flattening/bv_pointers.cpp
@@ -270,6 +270,10 @@ bvt bv_pointerst::convert_pointer_type(const exprt &expr)
   {
     return SUB::convert_if(to_if_expr(expr));
   }
+  else if(expr.id() == ID_cond)
+  {
+    return SUB::convert_cond(to_cond_expr(expr));
+  }
   else if(expr.id()==ID_index)
   {
     return SUB::convert_index(to_index_expr(expr));

Original file line number	Diff line number	Diff line change
`@@ -270,6 +270,10 @@ bvt bv_pointerst::convert_pointer_type(const exprt &expr)`
`270`	`270`	`{`
`271`	`271`	`return SUB::convert_if(to_if_expr(expr));`
`272`	`272`	`}`
	`273`	`+ else if(expr.id() == ID_cond)`
	`274`	`+ {`
	`275`	`+ return SUB::convert_cond(to_cond_expr(expr));`
	`276`	`+ }`
`273`	`277`	`else if(expr.id()==ID_index)`
`274`	`278`	`{`
`275`	`279`	`return SUB::convert_index(to_index_expr(expr));`