Temporarily revert diffblue#6326

peterschrammel · peterschrammel · commit fbb3379eb579 · 2022-08-17T22:24:11.000+01:00
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -506,6 +506,7 @@ void value_sett::get_value_set_rec(
     else
       insert(dest, exprt(ID_unknown, original_type));
   }
+#if 0
   else if(expr.id() == ID_nondet_symbol)
   {
     if(expr.type().id() == ID_pointer)
@@ -525,6 +526,7 @@ void value_sett::get_value_set_rec(
     else
       insert(dest, exprt(ID_unknown, original_type));
   }
+#endif
   else if(expr.id()==ID_if)
   {
     get_value_set_rec(

Original file line number	Diff line number	Diff line change
`@@ -506,6 +506,7 @@ void value_sett::get_value_set_rec(`
`506`	`506`	`else`
`507`	`507`	`insert(dest, exprt(ID_unknown, original_type));`
`508`	`508`	`}`
	`509`	`+#if 0`
`509`	`510`	`else if(expr.id() == ID_nondet_symbol)`
`510`	`511`	`{`
`511`	`512`	`if(expr.type().id() == ID_pointer)`
`@@ -525,6 +526,7 @@ void value_sett::get_value_set_rec(`
`525`	`526`	`else`
`526`	`527`	`insert(dest, exprt(ID_unknown, original_type));`
`527`	`528`	`}`
	`529`	`+#endif`
`528`	`530`	`else if(expr.id()==ID_if)`
`529`	`531`	`{`
`530`	`532`	`get_value_set_rec(`