Add 'malloc may fail' initialization to goto-diff

The tests aren't really sufficient to tell whether this has an effect.

Author: martin

src/goto-diff/goto_diff_parse_options.cpp

@@ -24,6 +24,7 @@ Author: Peter Schrammel
 
 #include <langapi/language.h>
 
+#include <goto-programs/add_malloc_may_fail_variable_initializations.h>
 #include <goto-programs/adjust_float_expressions.h>
 #include <goto-programs/goto_convert_functions.h>
 #include <goto-programs/goto_inline.h>
@@ -330,6 +331,8 @@ bool goto_diff_parse_optionst::process_goto_program(
       goto_model, ui_message_handler, cprover_cpp_library_factory);
     link_to_library(goto_model, ui_message_handler, cprover_c_library_factory);
 
+    add_malloc_may_fail_variable_initializations(goto_model);
+
     // remove function pointers
     log.status() << "Removal of function pointers and virtual functions"
                  << messaget::eom;