Fix new test to run remove_java_new pass

Author: NathanJPhillips

unit/pointer-analysis/custom_value_set_analysis.cpp

@@ -12,6 +12,7 @@ Author: Chris Smowton, [email protected]
 #include <langapi/mode.h>
 #include <goto-programs/initialize_goto_model.h>
 #include <goto-programs/goto_inline.h>
+#include <goto-programs/remove_java_new.h>
 #include <java_bytecode/java_bytecode_language.h>
 #include <java_bytecode/java_types.h>
 #include <pointer-analysis/value_set_analysis.h>
@@ -183,6 +184,9 @@ SCENARIO("test_value_set_analysis",
 
     namespacet ns(goto_model.symbol_table);
 
+    // VSA doesn't currently support java_new as an allocator
+    remove_java_new(goto_model, null_output);
+
     // Fully inline the test program, to avoid VSA conflating
     // constructor callsites confusing the results we're trying to check:
     goto_function_inline(goto_model, TEST_FUNCTION_NAME, null_output);