goto-cc: recognize Apple-extension -arch

Daniel Kroening · Daniel Kroening · commit 4b00379b9ab6 · 2019-01-24T15:07:50.000Z
This is an (undocumented) extension that Apple's gcc variant accepts.
diff --git a/src/goto-cc/gcc_cmdline.cpp b/src/goto-cc/gcc_cmdline.cpp
@@ -79,6 +79,7 @@ const char *gcc_options_with_argument[]=
 const char *gcc_options_with_separated_argument[]=
 {
   "-aux-info",
+  "-arch", // Apple only
   "--param", // Apple only
   "-imacros",
   "-iprefix",

Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,7 @@ const char *gcc_options_with_argument[]=`
`79`	`79`	`const char *gcc_options_with_separated_argument[]=`
`80`	`80`	`{`
`81`	`81`	`"-aux-info",`
	`82`	`+ "-arch", // Apple only`
`82`	`83`	`"--param", // Apple only`
`83`	`84`	`"-imacros",`
`84`	`85`	`"-iprefix",`