Renamed no-malloc-fail to no-malloc-may-fail to mirror malloc-may-fail

Author: Enrico Steffinlongo

src/util/config.cpp

@@ -1130,7 +1130,7 @@ bool configt::set(const cmdlinet &cmdline)
   {
     ansi_c.malloc_may_fail = true;
   }
-  if(cmdline.isset("no-malloc-fail"))
+  if(cmdline.isset("no-malloc-may-fail"))
   {
     ansi_c.malloc_may_fail = false;
     ansi_c.malloc_failure_mode = ansi_ct::malloc_failure_mode_none;

src/util/config.h

@@ -70,15 +70,15 @@ class symbol_table_baset;
     " {y--no-library} \t disable built-in abstract C library\n"
 
 #define OPT_CONFIG_LIBRARY                                                     \
-  "(malloc-fail-assert)(malloc-fail-null)(malloc-may-fail)(no-malloc-fail)"    \
+  "(malloc-fail-assert)(malloc-fail-null)(malloc-may-fail)(no-malloc-may-fail)"\
   "(string-abstraction)"
 
 #define HELP_CONFIG_LIBRARY                                                    \
   " {y--malloc-may-fail} \t allow malloc calls to return a null pointer\n"     \
+  " {y--no-malloc-may-fail} \t disable potential malloc failure\n"             \
   " {y--malloc-fail-assert} \t "                                               \
   "set malloc failure mode to assert-then-assume\n"                            \
   " {y--malloc-fail-null} \t set malloc failure mode to return null\n"         \
-  " {y--no-malloc-fail} \t Disable potential malloc failure.\n"                \
   " {y--string-abstraction} \t track C string lengths and zero-termination\n"
 
 #define OPT_CONFIG_JAVA "(classpath)(cp)(main-class)"