C front-end: use config.ansi_c.mode to pick compiler-specific configuration

tautschnig · tautschnig · commit c022d7031ff6 · 2022-02-16T21:42:10.000Z
The preprocessor variant is only relevant for c_preprocess, and isn't actually set by goto-cc (which does not use c_preprocess). Fixes: diffblue#2370
diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp
@@ -3088,9 +3088,7 @@ exprt c_typecheck_baset::do_special_functions(
     {
       // clang returns 4 for _Bool, gcc treats these as 'int'.
       type_number =
-        config.ansi_c.preprocessor == configt::ansi_ct::preprocessort::CLANG
-          ? 4u
-          : 1u;
+        config.ansi_c.mode == configt::ansi_ct::flavourt::CLANG ? 4u : 1u;
     }
     else
     {

Original file line number	Diff line number	Diff line change
`@@ -3088,9 +3088,7 @@ exprt c_typecheck_baset::do_special_functions(`
`3088`	`3088`	`{`
`3089`	`3089`	`// clang returns 4 for _Bool, gcc treats these as 'int'.`
`3090`	`3090`	`type_number =`
`3091`		`- config.ansi_c.preprocessor == configt::ansi_ct::preprocessort::CLANG`
`3092`		`- ? 4u`
`3093`		`- : 1u;`
	`3091`	`+ config.ansi_c.mode == configt::ansi_ct::flavourt::CLANG ? 4u : 1u;`
`3094`	`3092`	`}`
`3095`	`3093`	`else`
`3096`	`3094`	`{`