Change flags to no- variant in goto_check

Author: NlightNFotis

src/ansi-c/goto_check_c.h

@@ -38,12 +38,12 @@ void goto_check_c(
   message_handlert &message_handler);
 
 #define OPT_GOTO_CHECK                                                         \
-  "(no-bounds-check)(pointer-check)(memory-leak-check)(memory-cleanup-check)"     \
-  "(div-by-zero-check)(enum-range-check)"                                      \
-  "(signed-overflow-check)(unsigned-overflow-check)"                           \
-  "(pointer-overflow-check)(conversion-check)(undefined-shift-check)"          \
+  "(no-bounds-check)(no-pointer-check)(memory-leak-check)(memory-cleanup-check)"     \
+  "(no-div-by-zero-check)(enum-range-check)"                                      \
+  "(no-signed-overflow-check)(unsigned-overflow-check)"                           \
+  "(pointer-overflow-check)(conversion-check)(no-undefined-shift-check)"          \
   "(float-overflow-check)(nan-check)(no-built-in-assertions)"                  \
-  "(pointer-primitive-check)"                                                  \
+  "(no-pointer-primitive-check)"                                                  \
   "(retain-trivial-checks)"                                                    \
   "(error-label):"                                                             \
   "(no-assertions)(no-assumptions)"                                            \

src/cbmc/cbmc_parse_options.cpp

@@ -327,8 +327,8 @@ void cbmc_parse_optionst::get_command_line_options(optionst &options)
   // (expected checks and no unsoundness by missing checks).
   if (!cmdline.isset("no-standard-checks") && options.get_bool_option("standard-checks"))
     set_default_analysis_flags(options);
-  else
-    PARSE_OPTIONS_GOTO_CHECK_DEFAULTS_OVERRIDE(cmdline, options);
+
+  PARSE_OPTIONS_GOTO_CHECK_DEFAULTS_OVERRIDE(cmdline, options);
 
   // all (non-default) checks supported by goto_check
   PARSE_OPTIONS_GOTO_CHECK(cmdline, options);