Merge pull request #6926 from tautschnig/cleanup/no-arch

Purge --no-arch from the code base

Author: tautschnig

doc/man/cbmc.1

@@ -76,8 +76,6 @@ Make "char" unsigned by default
 Set target architecture
 .IP --os
 Set target operating system
-.IP --no-arch
-Don't set up an architecture
 .IP --no-library
 Disable built-in abstract C library
 .IP "--round-to-nearest, --round-to-plus-inf, --round-to-minus-inf, --round-to-zero"

jbmc/src/jbmc/jbmc_parse_options.h

@@ -76,7 +76,7 @@ class optionst;
   "(i386-linux)(i386-macos)(i386-win32)(win32)(winx64)" \
   "(ppc-macos)" \
   "(arrays-uf-always)(arrays-uf-never)" \
-  "(no-arch)(arch):" \
+  "(arch):" \
   OPT_FLUSH \
   JAVA_BYTECODE_LANGUAGE_OPTIONS \
   "(java-unwind-enum-static)" \

src/goto-cc/armcc_cmdline.cpp

@@ -41,7 +41,6 @@ static const char *options_no_arg[]=
   "--i386-macos",
   "--i386-linux",
   "--i386-win32",
-  "--no-arch",
   "--no-library",
   "--string-abstraction",
 

src/goto-cc/gcc_cmdline.cpp

@@ -49,7 +49,6 @@ const char *goto_cc_options_without_argument[]=
   "--64",
   "--little-endian",
   "--big-endian",
-  "--no-arch",
   "--partial-inlining",
   "--validate-goto-model",
   "-?",

src/goto-cc/ms_cl_cmdline.cpp

@@ -38,7 +38,6 @@ const char *non_ms_cl_options[]=
   "--little-endian",
   "--big-endian",
   "--unsigned-char",
-  "--no-arch",
   "--help",
   "--xml",
   "--partial-inlining",