Merge pull request #7716 from tautschnig/cleanup/nondet-pointer-perf

Value sets: make pointers nondet only once

Author: tautschnig

jbmc/unit/pointer-analysis/custom_value_set_analysis.cpp

@@ -78,6 +78,7 @@ class test_value_sett:public value_sett
   void get_value_set_rec(
     const exprt &expr,
     object_mapt &dest,
+    bool &includes_nondet_pointer,
     const std::string &suffix,
     const typet &original_type,
     const namespacet &ns) const override
@@ -91,7 +92,7 @@ class test_value_sett:public value_sett
     else
     {
       value_sett::get_value_set_rec(
-        expr, dest, suffix, original_type, ns);
+        expr, dest, includes_nondet_pointer, suffix, original_type, ns);
     }
   }