Temporarily revert diffblue#6326

peterschrammel · peterschrammel · commit ad530bf40c84 · 2022-12-03T14:45:00.000Z
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -508,6 +508,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)
@@ -527,6 +528,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
`@@ -508,6 +508,7 @@ void value_sett::get_value_set_rec(`
`508`	`508`	`else`
`509`	`509`	`insert(dest, exprt(ID_unknown, original_type));`
`510`	`510`	`}`
	`511`	`+#if 0`
`511`	`512`	`else if(expr.id() == ID_nondet_symbol)`
`512`	`513`	`{`
`513`	`514`	`if(expr.type().id() == ID_pointer)`
`@@ -527,6 +528,7 @@ void value_sett::get_value_set_rec(`
`527`	`528`	`else`
`528`	`529`	`insert(dest, exprt(ID_unknown, original_type));`
`529`	`530`	`}`
	`531`	`+#endif`
`530`	`532`	`else if(expr.id()==ID_if)`
`531`	`533`	`{`
`532`	`534`	`get_value_set_rec(`