Daily bump.
[official-gcc.git] / gcc / c-family / c-opts.c
blob0225cba7a4bfbc0b67dc87738a8cdadeff0f8855
1 /* C/ObjC/C++ command line option handling.
2 Copyright (C) 2002-2021 Free Software Foundation, Inc.
3 Contributed by Neil Booth.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "tm.h"
25 #include "c-target.h"
26 #include "c-common.h"
27 #include "memmodel.h"
28 #include "tm_p.h" /* For C_COMMON_OVERRIDE_OPTIONS. */
29 #include "diagnostic.h"
30 #include "c-pragma.h"
31 #include "flags.h"
32 #include "toplev.h"
33 #include "langhooks.h"
34 #include "tree-diagnostic.h" /* for virt_loc_aware_diagnostic_finalizer */
35 #include "intl.h"
36 #include "cppdefault.h"
37 #include "incpath.h"
38 #include "debug.h" /* For debug_hooks. */
39 #include "opts.h"
40 #include "plugin.h" /* For PLUGIN_INCLUDE_FILE event. */
41 #include "mkdeps.h"
42 #include "dumpfile.h"
43 #include "file-prefix-map.h" /* add_*_prefix_map() */
45 #ifndef DOLLARS_IN_IDENTIFIERS
46 # define DOLLARS_IN_IDENTIFIERS true
47 #endif
49 #ifndef TARGET_SYSTEM_ROOT
50 # define TARGET_SYSTEM_ROOT NULL
51 #endif
53 #ifndef TARGET_OPTF
54 #define TARGET_OPTF(ARG)
55 #endif
57 /* CPP's options. */
58 cpp_options *cpp_opts;
60 /* Input filename. */
61 static const char *this_input_filename;
63 /* Filename and stream for preprocessed output. */
64 static const char *out_fname;
65 static FILE *out_stream;
67 /* Append dependencies to deps_file. */
68 static bool deps_append;
70 /* If dependency switches (-MF etc.) have been given. */
71 static bool deps_seen;
73 /* If -v seen. */
74 static bool verbose;
76 /* Dependency output file. */
77 static const char *deps_file;
79 /* The prefix given by -iprefix, if any. */
80 static const char *iprefix;
82 /* The multilib directory given by -imultilib, if any. */
83 static const char *imultilib;
85 /* The system root, if any. Overridden by -isysroot. */
86 static const char *sysroot = TARGET_SYSTEM_ROOT;
88 /* Zero disables all standard directories for headers. */
89 static bool std_inc = true;
91 /* Zero disables the C++-specific standard directories for headers. */
92 static bool std_cxx_inc = true;
94 /* If the quote chain has been split by -I-. */
95 static bool quote_chain_split;
97 /* Number of deferred options. */
98 static size_t deferred_count;
100 /* Number of deferred options scanned for -include. */
101 static size_t include_cursor;
103 /* Dump files/flags to use during parsing. */
104 static FILE *original_dump_file = NULL;
105 static dump_flags_t original_dump_flags;
107 /* Whether any standard preincluded header has been preincluded. */
108 static bool done_preinclude;
110 static void handle_OPT_d (const char *);
111 static void set_std_cxx98 (int);
112 static void set_std_cxx11 (int);
113 static void set_std_cxx14 (int);
114 static void set_std_cxx17 (int);
115 static void set_std_cxx20 (int);
116 static void set_std_cxx23 (int);
117 static void set_std_c89 (int, int);
118 static void set_std_c99 (int);
119 static void set_std_c11 (int);
120 static void set_std_c17 (int);
121 static void set_std_c2x (int);
122 static void check_deps_environment_vars (void);
123 static void handle_deferred_opts (void);
124 static void sanitize_cpp_opts (void);
125 static void add_prefixed_path (const char *, incpath_kind);
126 static void push_command_line_include (void);
127 static void cb_file_change (cpp_reader *, const line_map_ordinary *);
128 static void cb_dir_change (cpp_reader *, const char *);
129 static void c_finish_options (void);
131 #ifndef STDC_0_IN_SYSTEM_HEADERS
132 #define STDC_0_IN_SYSTEM_HEADERS 0
133 #endif
135 /* Holds switches parsed by c_common_handle_option (), but whose
136 handling is deferred to c_common_post_options (). */
137 static void defer_opt (enum opt_code, const char *);
138 static struct deferred_opt
140 enum opt_code code;
141 const char *arg;
142 } *deferred_opts;
145 extern const unsigned int
146 c_family_lang_mask = (CL_C | CL_CXX | CL_ObjC | CL_ObjCXX);
148 /* Defer option CODE with argument ARG. */
149 static void
150 defer_opt (enum opt_code code, const char *arg)
152 deferred_opts[deferred_count].code = code;
153 deferred_opts[deferred_count].arg = arg;
154 deferred_count++;
157 /* Return language mask for option parsing. */
158 unsigned int
159 c_common_option_lang_mask (void)
161 static const unsigned int lang_flags[] = {CL_C, CL_ObjC, CL_CXX, CL_ObjCXX};
163 return lang_flags[c_language];
166 /* Diagnostic finalizer for C/C++/Objective-C/Objective-C++. */
167 static void
168 c_diagnostic_finalizer (diagnostic_context *context,
169 diagnostic_info *diagnostic,
170 diagnostic_t)
172 char *saved_prefix = pp_take_prefix (context->printer);
173 pp_set_prefix (context->printer, NULL);
174 pp_newline (context->printer);
175 diagnostic_show_locus (context, diagnostic->richloc, diagnostic->kind);
176 /* By default print macro expansion contexts in the diagnostic
177 finalizer -- for tokens resulting from macro expansion. */
178 virt_loc_aware_diagnostic_finalizer (context, diagnostic);
179 pp_set_prefix (context->printer, saved_prefix);
180 pp_flush (context->printer);
183 /* Common default settings for diagnostics. */
184 void
185 c_common_diagnostics_set_defaults (diagnostic_context *context)
187 diagnostic_finalizer (context) = c_diagnostic_finalizer;
188 context->opt_permissive = OPT_fpermissive;
191 /* Input charset configuration for diagnostics. */
192 static const char *
193 c_common_input_charset_cb (const char * /*filename*/)
195 const char *cs = cpp_opts->input_charset;
196 return cpp_input_conversion_is_trivial (cs) ? nullptr : cs;
199 /* Whether options from all C-family languages should be accepted
200 quietly. */
201 static bool accept_all_c_family_options = false;
203 /* Return whether to complain about a wrong-language option. */
204 bool
205 c_common_complain_wrong_lang_p (const struct cl_option *option)
207 if (accept_all_c_family_options
208 && (option->flags & c_family_lang_mask))
209 return false;
211 return true;
214 /* Initialize options structure OPTS. */
215 void
216 c_common_init_options_struct (struct gcc_options *opts)
218 opts->x_flag_exceptions = c_dialect_cxx ();
219 opts->x_warn_pointer_arith = c_dialect_cxx ();
220 opts->x_warn_write_strings = c_dialect_cxx ();
221 opts->x_flag_warn_unused_result = true;
223 /* By default, C99-like requirements for complex multiply and divide. */
224 opts->x_flag_complex_method = 2;
225 opts->x_flag_default_complex_method = opts->x_flag_complex_method;
228 /* Common initialization before calling option handlers. */
229 void
230 c_common_init_options (unsigned int decoded_options_count,
231 struct cl_decoded_option *decoded_options)
233 unsigned int i;
234 struct cpp_callbacks *cb;
236 g_string_concat_db
237 = new (ggc_alloc <string_concat_db> ()) string_concat_db ();
239 parse_in = cpp_create_reader (c_dialect_cxx () ? CLK_GNUCXX: CLK_GNUC89,
240 ident_hash, line_table);
241 cb = cpp_get_callbacks (parse_in);
242 cb->diagnostic = c_cpp_diagnostic;
244 cpp_opts = cpp_get_options (parse_in);
245 cpp_opts->dollars_in_ident = DOLLARS_IN_IDENTIFIERS;
246 cpp_opts->objc = c_dialect_objc ();
247 cpp_opts->deps.modules = true;
249 /* Reset to avoid warnings on internal definitions. We set it just
250 before passing on command-line options to cpplib. */
251 cpp_opts->warn_dollars = 0;
253 deferred_opts = XNEWVEC (struct deferred_opt, decoded_options_count);
255 if (c_language == clk_c)
257 /* The default for C is gnu17. */
258 set_std_c17 (false /* ISO */);
260 /* If preprocessing assembly language, accept any of the C-family
261 front end options since the driver may pass them through. */
262 for (i = 1; i < decoded_options_count; i++)
263 if (decoded_options[i].opt_index == OPT_lang_asm)
265 accept_all_c_family_options = true;
266 break;
270 /* Set C++ standard to C++17 if not specified on the command line. */
271 if (c_dialect_cxx ())
272 set_std_cxx17 (/*ISO*/false);
274 global_dc->colorize_source_p = true;
277 /* Handle switch SCODE with argument ARG. VALUE is true, unless no-
278 form of an -f or -W option was given. Returns false if the switch was
279 invalid, true if valid. Use HANDLERS in recursive handle_option calls. */
280 bool
281 c_common_handle_option (size_t scode, const char *arg, HOST_WIDE_INT value,
282 int kind, location_t loc,
283 const struct cl_option_handlers *handlers)
285 const struct cl_option *option = &cl_options[scode];
286 enum opt_code code = (enum opt_code) scode;
287 bool result = true;
289 /* Prevent resetting the language standard to a C dialect when the driver
290 has already determined that we're looking at assembler input. */
291 bool preprocessing_asm_p = (cpp_get_options (parse_in)->lang == CLK_ASM);
293 switch (code)
295 default:
296 if (cl_options[code].flags & c_family_lang_mask)
298 if ((option->flags & CL_TARGET)
299 && ! targetcm.handle_c_option (scode, arg, value))
300 result = false;
301 break;
303 result = false;
304 break;
306 case OPT__output_pch_:
307 pch_file = arg;
308 break;
310 case OPT_A:
311 defer_opt (code, arg);
312 break;
314 case OPT_C:
315 cpp_opts->discard_comments = 0;
316 break;
318 case OPT_CC:
319 cpp_opts->discard_comments = 0;
320 cpp_opts->discard_comments_in_macro_exp = 0;
321 break;
323 case OPT_D:
324 defer_opt (code, arg);
325 break;
327 case OPT_H:
328 cpp_opts->print_include_names = 1;
329 break;
331 case OPT_F:
332 TARGET_OPTF (xstrdup (arg));
333 break;
335 case OPT_I:
336 if (strcmp (arg, "-"))
337 add_path (xstrdup (arg), INC_BRACKET, 0, true);
338 else
340 if (quote_chain_split)
341 error ("%<-I-%> specified twice");
342 quote_chain_split = true;
343 split_quote_chain ();
344 inform (input_location, "obsolete option %<-I-%> used, "
345 "please use %<-iquote%> instead");
347 break;
349 case OPT_M:
350 case OPT_MM:
351 /* When doing dependencies with -M or -MM, suppress normal
352 preprocessed output, but still do -dM etc. as software
353 depends on this. Preprocessed output does occur if -MD, -MMD
354 or environment var dependency generation is used. */
355 cpp_opts->deps.style = (code == OPT_M ? DEPS_SYSTEM: DEPS_USER);
356 flag_no_output = 1;
357 break;
359 case OPT_MD:
360 case OPT_MMD:
361 cpp_opts->deps.style = (code == OPT_MD ? DEPS_SYSTEM: DEPS_USER);
362 cpp_opts->deps.need_preprocessor_output = true;
363 deps_file = arg;
364 break;
366 case OPT_MF:
367 deps_seen = true;
368 deps_file = arg;
369 break;
371 case OPT_MG:
372 deps_seen = true;
373 cpp_opts->deps.missing_files = true;
374 break;
376 case OPT_MP:
377 deps_seen = true;
378 cpp_opts->deps.phony_targets = true;
379 break;
381 case OPT_Mmodules:
382 /* Do not set deps_seen, so the user can unconditionally turn
383 this on or off. */
384 cpp_opts->deps.modules = true;
385 break;
387 case OPT_Mno_modules:
388 /* Do not set deps_seen, so the user can unconditionally turn
389 this on or off. */
390 cpp_opts->deps.modules = false;
391 break;
393 case OPT_MQ:
394 case OPT_MT:
395 deps_seen = true;
396 defer_opt (code, arg);
397 break;
399 case OPT_P:
400 flag_no_line_commands = 1;
401 break;
403 case OPT_U:
404 defer_opt (code, arg);
405 break;
407 case OPT_Wall:
408 /* ??? Don't add new options here. Use LangEnabledBy in c.opt. */
410 cpp_opts->warn_num_sign_change = value;
411 break;
413 case OPT_Wunknown_pragmas:
414 /* Set to greater than 1, so that even unknown pragmas in
415 system headers will be warned about. */
416 /* ??? There is no way to handle this automatically for now. */
417 warn_unknown_pragmas = value * 2;
418 break;
420 case OPT_ansi:
421 if (!c_dialect_cxx ())
422 set_std_c89 (false, true);
423 else
424 set_std_cxx98 (true);
425 break;
427 case OPT_d:
428 handle_OPT_d (arg);
429 break;
431 case OPT_Wabi_:
432 warn_abi = true;
433 if (value == 1)
435 warning (0, "%<-Wabi=1%> is not supported, using =2");
436 value = 2;
438 warn_abi_version = value;
439 break;
441 case OPT_fcanonical_system_headers:
442 cpp_opts->canonical_system_headers = value;
443 break;
445 case OPT_fcond_mismatch:
446 if (!c_dialect_cxx ())
448 flag_cond_mismatch = value;
449 break;
451 warning (0, "switch %qs is no longer supported", option->opt_text);
452 break;
454 case OPT_fbuiltin_:
455 if (value)
456 result = false;
457 else
458 disable_builtin_function (arg);
459 break;
461 case OPT_fdirectives_only:
462 cpp_opts->directives_only = value;
463 break;
465 case OPT_fdollars_in_identifiers:
466 cpp_opts->dollars_in_ident = value;
467 break;
469 case OPT_fmacro_prefix_map_:
470 add_macro_prefix_map (arg);
471 break;
473 case OPT_ffreestanding:
474 value = !value;
475 /* Fall through. */
476 case OPT_fhosted:
477 flag_hosted = value;
478 flag_no_builtin = !value;
479 break;
481 case OPT_fconstant_string_class_:
482 constant_string_class_name = arg;
483 break;
485 case OPT_fextended_identifiers:
486 cpp_opts->extended_identifiers = value;
487 break;
489 case OPT_fmax_include_depth_:
490 cpp_opts->max_include_depth = value;
491 break;
493 case OPT_foperator_names:
494 cpp_opts->operator_names = value;
495 break;
497 case OPT_fpch_deps:
498 cpp_opts->restore_pch_deps = value;
499 break;
501 case OPT_fpch_preprocess:
502 flag_pch_preprocess = value;
503 break;
505 case OPT_fpermissive:
506 flag_permissive = value;
507 global_dc->permissive = value;
508 break;
510 case OPT_fpreprocessed:
511 cpp_opts->preprocessed = value;
512 break;
514 case OPT_fdebug_cpp:
515 cpp_opts->debug = 1;
516 break;
518 case OPT_ftrack_macro_expansion:
519 if (value)
520 value = 2;
521 /* Fall Through. */
523 case OPT_ftrack_macro_expansion_:
524 if (arg && *arg != '\0')
525 cpp_opts->track_macro_expansion = value;
526 else
527 cpp_opts->track_macro_expansion = 2;
528 break;
530 case OPT_fexec_charset_:
531 cpp_opts->narrow_charset = arg;
532 break;
534 case OPT_fwide_exec_charset_:
535 cpp_opts->wide_charset = arg;
536 break;
538 case OPT_finput_charset_:
539 cpp_opts->input_charset = arg;
540 break;
542 case OPT_ftemplate_depth_:
543 max_tinst_depth = value;
544 break;
546 case OPT_fvisibility_inlines_hidden:
547 visibility_options.inlines_hidden = value;
548 break;
550 case OPT_femit_struct_debug_baseonly:
551 set_struct_debug_option (&global_options, loc, "base");
552 break;
554 case OPT_femit_struct_debug_reduced:
555 set_struct_debug_option (&global_options, loc,
556 "dir:ord:sys,dir:gen:any,ind:base");
557 break;
559 case OPT_femit_struct_debug_detailed_:
560 set_struct_debug_option (&global_options, loc, arg);
561 break;
563 case OPT_fext_numeric_literals:
564 cpp_opts->ext_numeric_literals = value;
565 break;
567 case OPT_idirafter:
568 add_path (xstrdup (arg), INC_AFTER, 0, true);
569 break;
571 case OPT_imacros:
572 case OPT_include:
573 defer_opt (code, arg);
574 break;
576 case OPT_imultilib:
577 imultilib = arg;
578 break;
580 case OPT_iprefix:
581 iprefix = arg;
582 break;
584 case OPT_iquote:
585 add_path (xstrdup (arg), INC_QUOTE, 0, true);
586 break;
588 case OPT_isysroot:
589 sysroot = arg;
590 break;
592 case OPT_isystem:
593 add_path (xstrdup (arg), INC_SYSTEM, 0, true);
594 break;
596 case OPT_iwithprefix:
597 add_prefixed_path (arg, INC_SYSTEM);
598 break;
600 case OPT_iwithprefixbefore:
601 add_prefixed_path (arg, INC_BRACKET);
602 break;
604 case OPT_lang_asm:
605 cpp_set_lang (parse_in, CLK_ASM);
606 cpp_opts->dollars_in_ident = false;
607 break;
609 case OPT_nostdinc:
610 std_inc = false;
611 break;
613 case OPT_nostdinc__:
614 std_cxx_inc = false;
615 break;
617 case OPT_o:
618 if (!out_fname)
619 out_fname = arg;
620 else
621 error ("output filename specified twice");
622 break;
624 case OPT_print_objc_runtime_info:
625 print_struct_values = 1;
626 break;
628 case OPT_remap:
629 cpp_opts->remap = 1;
630 break;
632 case OPT_std_c__98:
633 case OPT_std_gnu__98:
634 if (!preprocessing_asm_p)
635 set_std_cxx98 (code == OPT_std_c__98 /* ISO */);
636 break;
638 case OPT_std_c__11:
639 case OPT_std_gnu__11:
640 if (!preprocessing_asm_p)
641 set_std_cxx11 (code == OPT_std_c__11 /* ISO */);
642 break;
644 case OPT_std_c__14:
645 case OPT_std_gnu__14:
646 if (!preprocessing_asm_p)
647 set_std_cxx14 (code == OPT_std_c__14 /* ISO */);
648 break;
650 case OPT_std_c__17:
651 case OPT_std_gnu__17:
652 if (!preprocessing_asm_p)
653 set_std_cxx17 (code == OPT_std_c__17 /* ISO */);
654 break;
656 case OPT_std_c__20:
657 case OPT_std_gnu__20:
658 if (!preprocessing_asm_p)
659 set_std_cxx20 (code == OPT_std_c__20 /* ISO */);
660 break;
662 case OPT_std_c__23:
663 case OPT_std_gnu__23:
664 if (!preprocessing_asm_p)
665 set_std_cxx23 (code == OPT_std_c__23 /* ISO */);
666 break;
668 case OPT_std_c90:
669 case OPT_std_iso9899_199409:
670 if (!preprocessing_asm_p)
671 set_std_c89 (code == OPT_std_iso9899_199409 /* c94 */, true /* ISO */);
672 break;
674 case OPT_std_gnu90:
675 if (!preprocessing_asm_p)
676 set_std_c89 (false /* c94 */, false /* ISO */);
677 break;
679 case OPT_std_c99:
680 if (!preprocessing_asm_p)
681 set_std_c99 (true /* ISO */);
682 break;
684 case OPT_std_gnu99:
685 if (!preprocessing_asm_p)
686 set_std_c99 (false /* ISO */);
687 break;
689 case OPT_std_c11:
690 if (!preprocessing_asm_p)
691 set_std_c11 (true /* ISO */);
692 break;
694 case OPT_std_gnu11:
695 if (!preprocessing_asm_p)
696 set_std_c11 (false /* ISO */);
697 break;
699 case OPT_std_c17:
700 if (!preprocessing_asm_p)
701 set_std_c17 (true /* ISO */);
702 break;
704 case OPT_std_gnu17:
705 if (!preprocessing_asm_p)
706 set_std_c17 (false /* ISO */);
707 break;
709 case OPT_std_c2x:
710 if (!preprocessing_asm_p)
711 set_std_c2x (true /* ISO */);
712 break;
714 case OPT_std_gnu2x:
715 if (!preprocessing_asm_p)
716 set_std_c2x (false /* ISO */);
717 break;
719 case OPT_trigraphs:
720 cpp_opts->trigraphs = 1;
721 break;
723 case OPT_traditional_cpp:
724 cpp_opts->traditional = 1;
725 break;
727 case OPT_v:
728 verbose = true;
729 break;
732 switch (c_language)
734 case clk_c:
735 C_handle_option_auto (&global_options, &global_options_set,
736 scode, arg, value,
737 c_family_lang_mask, kind,
738 loc, handlers, global_dc);
739 break;
741 case clk_objc:
742 ObjC_handle_option_auto (&global_options, &global_options_set,
743 scode, arg, value,
744 c_family_lang_mask, kind,
745 loc, handlers, global_dc);
746 break;
748 case clk_cxx:
749 CXX_handle_option_auto (&global_options, &global_options_set,
750 scode, arg, value,
751 c_family_lang_mask, kind,
752 loc, handlers, global_dc);
753 break;
755 case clk_objcxx:
756 ObjCXX_handle_option_auto (&global_options, &global_options_set,
757 scode, arg, value,
758 c_family_lang_mask, kind,
759 loc, handlers, global_dc);
760 break;
762 default:
763 gcc_unreachable ();
766 cpp_handle_option_auto (&global_options, scode, cpp_opts);
767 return result;
770 /* Default implementation of TARGET_HANDLE_C_OPTION. */
772 bool
773 default_handle_c_option (size_t code ATTRIBUTE_UNUSED,
774 const char *arg ATTRIBUTE_UNUSED,
775 int value ATTRIBUTE_UNUSED)
777 return false;
780 /* Post-switch processing. */
781 bool
782 c_common_post_options (const char **pfilename)
784 /* Canonicalize the input and output filenames. */
785 if (in_fnames == NULL)
787 in_fnames = XNEWVEC (const char *, 1);
788 in_fnames[0] = "";
790 else if (strcmp (in_fnames[0], "-") == 0)
792 if (pch_file)
793 error ("cannot use %<-%> as input filename for a precompiled header");
795 in_fnames[0] = "";
798 if (out_fname == NULL || !strcmp (out_fname, "-"))
799 out_fname = "";
801 if (cpp_opts->deps.style == DEPS_NONE)
802 check_deps_environment_vars ();
804 handle_deferred_opts ();
806 sanitize_cpp_opts ();
808 register_include_chains (parse_in, sysroot, iprefix, imultilib,
809 std_inc, std_cxx_inc && c_dialect_cxx (), verbose);
811 #ifdef C_COMMON_OVERRIDE_OPTIONS
812 /* Some machines may reject certain combinations of C
813 language-specific options. */
814 C_COMMON_OVERRIDE_OPTIONS;
815 #endif
817 /* Excess precision other than "fast" requires front-end
818 support. */
819 if (c_dialect_cxx ())
821 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
822 sorry ("%<-fexcess-precision=standard%> for C++");
823 flag_excess_precision = EXCESS_PRECISION_FAST;
825 else if (flag_excess_precision == EXCESS_PRECISION_DEFAULT)
826 flag_excess_precision = (flag_iso ? EXCESS_PRECISION_STANDARD
827 : EXCESS_PRECISION_FAST);
829 /* ISO C restricts floating-point expression contraction to within
830 source-language expressions (-ffp-contract=on, currently an alias
831 for -ffp-contract=off). */
832 if (flag_iso
833 && !c_dialect_cxx ()
834 && (OPTION_SET_P (flag_fp_contract_mode)
835 == (enum fp_contract_mode) 0)
836 && flag_unsafe_math_optimizations == 0)
837 flag_fp_contract_mode = FP_CONTRACT_OFF;
839 /* If we are compiling C, and we are outside of a standards mode,
840 we can permit the new values from ISO/IEC TS 18661-3 for
841 FLT_EVAL_METHOD. Otherwise, we must restrict the possible values to
842 the set specified in ISO C99/C11. */
843 if (!flag_iso
844 && !c_dialect_cxx ()
845 && (OPTION_SET_P (flag_permitted_flt_eval_methods)
846 == PERMITTED_FLT_EVAL_METHODS_DEFAULT))
847 flag_permitted_flt_eval_methods = PERMITTED_FLT_EVAL_METHODS_TS_18661;
848 else
849 flag_permitted_flt_eval_methods = PERMITTED_FLT_EVAL_METHODS_C11;
851 /* C2X Annex F does not permit certain built-in functions to raise
852 "inexact". */
853 if (flag_isoc2x)
854 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
855 flag_fp_int_builtin_inexact, 0);
857 /* By default we use C99 inline semantics in GNU99 or C99 mode. C99
858 inline semantics are not supported in GNU89 or C89 mode. */
859 if (flag_gnu89_inline == -1)
860 flag_gnu89_inline = !flag_isoc99;
861 else if (!flag_gnu89_inline && !flag_isoc99)
862 error ("%<-fno-gnu89-inline%> is only supported in GNU99 or C99 mode");
864 /* Default to ObjC sjlj exception handling if NeXT runtime < v2. */
865 if (flag_objc_sjlj_exceptions < 0)
866 flag_objc_sjlj_exceptions = (flag_next_runtime && flag_objc_abi < 2);
867 if (flag_objc_exceptions && !flag_objc_sjlj_exceptions)
868 flag_exceptions = 1;
870 /* If -ffreestanding, -fno-hosted or -fno-builtin then disable
871 pattern recognition. */
872 if (flag_no_builtin)
873 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
874 flag_tree_loop_distribute_patterns, 0);
876 /* -Woverlength-strings is off by default, but is enabled by -Wpedantic.
877 It is never enabled in C++, as the minimum limit is not normative
878 in that standard. */
879 if (c_dialect_cxx ())
880 warn_overlength_strings = 0;
882 /* Wmain is enabled by default in C++ but not in C. */
883 /* Wmain is disabled by default for -ffreestanding (!flag_hosted),
884 even if -Wall or -Wpedantic was given (warn_main will be 2 if set
885 by -Wall, 1 if set by -Wmain). */
886 if (warn_main == -1)
887 warn_main = (c_dialect_cxx () && flag_hosted) ? 1 : 0;
888 else if (warn_main == 2)
889 warn_main = flag_hosted ? 1 : 0;
891 /* In C, -Wall and -Wc++-compat enable -Wenum-compare; if it has not
892 yet been set, it is disabled by default. In C++, it is enabled
893 by default. */
894 if (warn_enum_compare == -1)
895 warn_enum_compare = c_dialect_cxx () ? 1 : 0;
897 /* -Wpacked-bitfield-compat is on by default for the C languages. The
898 warning is issued in stor-layout.c which is not part of the front-end so
899 we need to selectively turn it on here. */
900 if (warn_packed_bitfield_compat == -1)
901 warn_packed_bitfield_compat = 1;
903 /* Special format checking options don't work without -Wformat; warn if
904 they are used. */
905 if (!warn_format)
907 warning (OPT_Wformat_y2k,
908 "%<-Wformat-y2k%> ignored without %<-Wformat%>");
909 warning (OPT_Wformat_extra_args,
910 "%<-Wformat-extra-args%> ignored without %<-Wformat%>");
911 warning (OPT_Wformat_zero_length,
912 "%<-Wformat-zero-length%> ignored without %<-Wformat%>");
913 warning (OPT_Wformat_nonliteral,
914 "%<-Wformat-nonliteral%> ignored without %<-Wformat%>");
915 warning (OPT_Wformat_contains_nul,
916 "%<-Wformat-contains-nul%> ignored without %<-Wformat%>");
917 warning (OPT_Wformat_security,
918 "%<-Wformat-security%> ignored without %<-Wformat%>");
921 /* -Wimplicit-function-declaration is enabled by default for C99. */
922 if (warn_implicit_function_declaration == -1)
923 warn_implicit_function_declaration = flag_isoc99;
925 /* -Wimplicit-int is enabled by default for C99. */
926 if (warn_implicit_int == -1)
927 warn_implicit_int = flag_isoc99;
929 /* -Wold-style-definition is enabled by default for C2X. */
930 if (warn_old_style_definition == -1)
931 warn_old_style_definition = flag_isoc2x;
933 /* -Wshift-overflow is enabled by default in C99 and C++11 modes. */
934 if (warn_shift_overflow == -1)
935 warn_shift_overflow = cxx_dialect >= cxx11 || flag_isoc99;
937 /* -Wshift-negative-value is enabled by -Wextra in C99 and C++11 modes. */
938 if (warn_shift_negative_value == -1)
939 warn_shift_negative_value = (extra_warnings
940 && (cxx_dialect >= cxx11 || flag_isoc99));
942 /* -Wregister is enabled by default in C++17. */
943 SET_OPTION_IF_UNSET (&global_options, &global_options_set, warn_register,
944 cxx_dialect >= cxx17);
946 /* -Wcomma-subscript is enabled by default in C++20. */
947 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
948 warn_comma_subscript,
949 cxx_dialect >= cxx20 && warn_deprecated);
951 /* -Wvolatile is enabled by default in C++20. */
952 SET_OPTION_IF_UNSET (&global_options, &global_options_set, warn_volatile,
953 cxx_dialect >= cxx20 && warn_deprecated);
955 /* -Wdeprecated-enum-enum-conversion is enabled by default in C++20. */
956 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
957 warn_deprecated_enum_enum_conv,
958 cxx_dialect >= cxx20 && warn_deprecated);
960 /* -Wdeprecated-enum-float-conversion is enabled by default in C++20. */
961 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
962 warn_deprecated_enum_float_conv,
963 cxx_dialect >= cxx20 && warn_deprecated);
965 /* Declone C++ 'structors if -Os. */
966 if (flag_declone_ctor_dtor == -1)
967 flag_declone_ctor_dtor = optimize_size;
969 if (flag_abi_compat_version == 1)
971 warning (0, "%<-fabi-compat-version=1%> is not supported, using =2");
972 flag_abi_compat_version = 2;
975 /* Change flag_abi_version to be the actual current ABI level, for the
976 benefit of c_cpp_builtins, and to make comparison simpler. */
977 const int latest_abi_version = 16;
978 /* Generate compatibility aliases for ABI v11 (7.1) by default. */
979 const int abi_compat_default = 11;
981 #define clamp(X) if (X == 0 || X > latest_abi_version) X = latest_abi_version
982 clamp (flag_abi_version);
983 clamp (warn_abi_version);
984 clamp (flag_abi_compat_version);
985 #undef clamp
987 /* Default -Wabi= or -fabi-compat-version= from each other. */
988 if (warn_abi_version == -1 && flag_abi_compat_version != -1)
989 warn_abi_version = flag_abi_compat_version;
990 else if (flag_abi_compat_version == -1 && warn_abi_version != -1)
991 flag_abi_compat_version = warn_abi_version;
992 else if (warn_abi_version == -1 && flag_abi_compat_version == -1)
994 warn_abi_version = latest_abi_version;
995 if (flag_abi_version == latest_abi_version)
997 auto_diagnostic_group d;
998 if (warning (OPT_Wabi, "%<-Wabi%> won%'t warn about anything"))
1000 inform (input_location, "%<-Wabi%> warns about differences "
1001 "from the most up-to-date ABI, which is also used "
1002 "by default");
1003 inform (input_location, "use e.g. %<-Wabi=11%> to warn about "
1004 "changes from GCC 7");
1006 flag_abi_compat_version = abi_compat_default;
1008 else
1009 flag_abi_compat_version = latest_abi_version;
1012 /* By default, enable the new inheriting constructor semantics along with ABI
1013 11. New and old should coexist fine, but it is a change in what
1014 artificial symbols are generated. */
1015 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
1016 flag_new_inheriting_ctors,
1017 abi_version_at_least (11));
1019 /* For GCC 7, only enable DR150 resolution by default if -std=c++17. */
1020 SET_OPTION_IF_UNSET (&global_options, &global_options_set, flag_new_ttp,
1021 cxx_dialect >= cxx17);
1023 /* C++11 guarantees forward progress. */
1024 SET_OPTION_IF_UNSET (&global_options, &global_options_set, flag_finite_loops,
1025 optimize >= 2 && cxx_dialect >= cxx11);
1027 /* It's OK to discard calls to pure/const functions that might throw. */
1028 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
1029 flag_delete_dead_exceptions, true);
1031 if (cxx_dialect >= cxx11)
1033 /* If we're allowing C++0x constructs, don't warn about C++98
1034 identifiers which are keywords in C++0x. */
1035 warn_cxx11_compat = 0;
1036 cpp_opts->cpp_warn_cxx11_compat = 0;
1038 if (warn_narrowing == -1)
1039 warn_narrowing = 1;
1041 /* Unless -f{,no-}ext-numeric-literals has been used explicitly,
1042 for -std=c++{11,14,17,20,23} default to -fno-ext-numeric-literals. */
1043 if (flag_iso && !OPTION_SET_P (flag_ext_numeric_literals))
1044 cpp_opts->ext_numeric_literals = 0;
1046 else if (warn_narrowing == -1)
1047 warn_narrowing = 0;
1049 /* C++17 has stricter evaluation order requirements; let's use some of them
1050 for earlier C++ as well, so chaining works as expected. */
1051 if (c_dialect_cxx ()
1052 && flag_strong_eval_order == -1)
1053 flag_strong_eval_order = (cxx_dialect >= cxx17 ? 2 : 1);
1055 /* Global sized deallocation is new in C++14. */
1056 if (flag_sized_deallocation == -1)
1057 flag_sized_deallocation = (cxx_dialect >= cxx14);
1059 /* char8_t support is new in C++20. */
1060 if (flag_char8_t == -1)
1061 flag_char8_t = (cxx_dialect >= cxx20);
1063 if (flag_extern_tls_init)
1065 if (!TARGET_SUPPORTS_ALIASES || !SUPPORTS_WEAK)
1067 /* Lazy TLS initialization for a variable in another TU requires
1068 alias and weak reference support. */
1069 if (flag_extern_tls_init > 0)
1070 sorry ("external TLS initialization functions not supported "
1071 "on this target");
1073 flag_extern_tls_init = 0;
1075 else
1076 flag_extern_tls_init = 1;
1079 /* Enable by default only for C++ and C++ with ObjC extensions. */
1080 if (warn_return_type == -1 && c_dialect_cxx ())
1081 warn_return_type = 1;
1083 /* C++20 is the final version of concepts. We still use -fconcepts
1084 to know when concepts are enabled. Note that -fconcepts-ts can
1085 be used to include additional features, although modified to
1086 work with the standard. */
1087 if (cxx_dialect >= cxx20 || flag_concepts_ts)
1088 flag_concepts = 1;
1089 else if (flag_concepts)
1090 /* For -std=c++17 -fconcepts, imply -fconcepts-ts. */
1091 flag_concepts_ts = 1;
1093 if (num_in_fnames > 1)
1094 error ("too many filenames given; type %<%s %s%> for usage",
1095 progname, "--help");
1097 if (flag_preprocess_only)
1099 /* Open the output now. We must do so even if flag_no_output is
1100 on, because there may be other output than from the actual
1101 preprocessing (e.g. from -dM). */
1102 if (out_fname[0] == '\0')
1103 out_stream = stdout;
1104 else
1105 out_stream = fopen (out_fname, "w");
1107 if (out_stream == NULL)
1109 fatal_error (input_location, "opening output file %s: %m", out_fname);
1110 return false;
1113 init_pp_output (out_stream);
1115 else
1117 init_c_lex ();
1119 /* When writing a PCH file, avoid reading some other PCH file,
1120 because the default address space slot then can't be used
1121 for the output PCH file. */
1122 if (pch_file)
1124 c_common_no_more_pch ();
1125 /* Only -g0 and -gdwarf* are supported with PCH, for other
1126 debug formats we warn here and refuse to load any PCH files. */
1127 if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG)
1128 warning (OPT_Wdeprecated,
1129 "the %qs debug info cannot be used with "
1130 "pre-compiled headers",
1131 debug_set_names (write_symbols & ~DWARF2_DEBUG));
1133 else if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG)
1134 c_common_no_more_pch ();
1136 /* Yuk. WTF is this? I do know ObjC relies on it somewhere. */
1137 input_location = UNKNOWN_LOCATION;
1140 struct cpp_callbacks *cb = cpp_get_callbacks (parse_in);
1141 cb->file_change = cb_file_change;
1142 cb->dir_change = cb_dir_change;
1143 if (lang_hooks.preprocess_options)
1144 lang_hooks.preprocess_options (parse_in);
1145 cpp_post_options (parse_in);
1146 init_global_opts_from_cpp (&global_options, cpp_get_options (parse_in));
1148 /* Let diagnostics infrastructure know how to convert input files the same
1149 way libcpp will do it, namely using the configured input charset and
1150 skipping a UTF-8 BOM if present. */
1151 diagnostic_initialize_input_context (global_dc,
1152 c_common_input_charset_cb, true);
1153 input_location = UNKNOWN_LOCATION;
1155 *pfilename = this_input_filename
1156 = cpp_read_main_file (parse_in, in_fnames[0],
1157 /* We'll inject preamble pieces if this is
1158 not preprocessed. */
1159 !cpp_opts->preprocessed);
1161 /* Don't do any compilation or preprocessing if there is no input file. */
1162 if (this_input_filename == NULL)
1164 errorcount++;
1165 return false;
1168 if (flag_working_directory
1169 && flag_preprocess_only && !flag_no_line_commands)
1170 pp_dir_change (parse_in, get_src_pwd ());
1172 /* Disable LTO output when outputting a precompiled header. */
1173 if (pch_file && flag_lto)
1175 flag_lto = 0;
1176 flag_generate_lto = 0;
1179 return flag_preprocess_only;
1182 /* Front end initialization common to C, ObjC and C++. */
1183 bool
1184 c_common_init (void)
1186 /* Set up preprocessor arithmetic. Must be done after call to
1187 c_common_nodes_and_builtins for type nodes to be good. */
1188 cpp_opts->precision = TYPE_PRECISION (intmax_type_node);
1189 cpp_opts->char_precision = TYPE_PRECISION (char_type_node);
1190 cpp_opts->int_precision = TYPE_PRECISION (integer_type_node);
1191 cpp_opts->wchar_precision = TYPE_PRECISION (wchar_type_node);
1192 cpp_opts->unsigned_wchar = TYPE_UNSIGNED (wchar_type_node);
1193 cpp_opts->bytes_big_endian = BYTES_BIG_ENDIAN;
1195 /* This can't happen until after wchar_precision and bytes_big_endian
1196 are known. */
1197 cpp_init_iconv (parse_in);
1199 if (version_flag)
1201 int i;
1202 fputs ("Compiler executable checksum: ", stderr);
1203 for (i = 0; i < 16; i++)
1204 fprintf (stderr, "%02x", executable_checksum[i]);
1205 putc ('\n', stderr);
1208 /* Has to wait until now so that cpplib has its hash table. */
1209 init_pragma ();
1211 if (flag_preprocess_only)
1213 c_finish_options ();
1214 preprocess_file (parse_in);
1215 return false;
1218 return true;
1221 /* Initialize the integrated preprocessor after debug output has been
1222 initialized; loop over each input file. */
1223 void
1224 c_common_parse_file (void)
1226 unsigned int i;
1228 i = 0;
1229 for (;;)
1231 c_finish_options ();
1232 /* Open the dump file to use for the original dump output
1233 here, to be used during parsing for the current file. */
1234 original_dump_file = dump_begin (TDI_original, &original_dump_flags);
1235 pch_init ();
1236 push_file_scope ();
1237 c_parse_file ();
1238 pop_file_scope ();
1239 /* And end the main input file, if the debug writer wants it */
1240 if (debug_hooks->start_end_main_source_file)
1241 (*debug_hooks->end_source_file) (0);
1242 if (++i >= num_in_fnames)
1243 break;
1244 cpp_undef_all (parse_in);
1245 cpp_clear_file_cache (parse_in);
1246 this_input_filename
1247 = cpp_read_main_file (parse_in, in_fnames[i]);
1248 if (original_dump_file)
1250 dump_end (TDI_original, original_dump_file);
1251 original_dump_file = NULL;
1253 /* If an input file is missing, abandon further compilation.
1254 cpplib has issued a diagnostic. */
1255 if (!this_input_filename)
1256 break;
1259 c_parse_final_cleanups ();
1262 /* Returns the appropriate dump file for PHASE to dump with FLAGS. */
1264 FILE *
1265 get_dump_info (int phase, dump_flags_t *flags)
1267 gcc_assert (phase == TDI_original);
1269 *flags = original_dump_flags;
1270 return original_dump_file;
1273 /* Common finish hook for the C, ObjC and C++ front ends. */
1274 void
1275 c_common_finish (void)
1277 FILE *deps_stream = NULL;
1279 /* Note that we write the dependencies even if there are errors. This is
1280 useful for handling outdated generated headers that now trigger errors
1281 (for example, with #error) which would be resolved by re-generating
1282 them. In a sense, this complements -MG. */
1283 if (cpp_opts->deps.style != DEPS_NONE)
1285 /* If -M or -MM was seen without -MF, default output to the
1286 output stream. */
1287 if (!deps_file)
1288 deps_stream = out_stream;
1289 else if (deps_file[0] == '-' && deps_file[1] == '\0')
1290 deps_stream = stdout;
1291 else
1293 deps_stream = fopen (deps_file, deps_append ? "a": "w");
1294 if (!deps_stream)
1295 fatal_error (input_location, "opening dependency file %s: %m",
1296 deps_file);
1300 /* For performance, avoid tearing down cpplib's internal structures
1301 with cpp_destroy (). */
1302 cpp_finish (parse_in, deps_stream);
1304 if (deps_stream && deps_stream != out_stream && deps_stream != stdout
1305 && (ferror (deps_stream) || fclose (deps_stream)))
1306 fatal_error (input_location, "closing dependency file %s: %m", deps_file);
1308 if (out_stream && (ferror (out_stream) || fclose (out_stream)))
1309 fatal_error (input_location, "when writing output to %s: %m", out_fname);
1312 /* Either of two environment variables can specify output of
1313 dependencies. Their value is either "OUTPUT_FILE" or "OUTPUT_FILE
1314 DEPS_TARGET", where OUTPUT_FILE is the file to write deps info to
1315 and DEPS_TARGET is the target to mention in the deps. They also
1316 result in dependency information being appended to the output file
1317 rather than overwriting it, and like Sun's compiler
1318 SUNPRO_DEPENDENCIES suppresses the dependency on the main file. */
1319 static void
1320 check_deps_environment_vars (void)
1322 char *spec;
1324 spec = getenv ("DEPENDENCIES_OUTPUT");
1325 if (spec)
1326 cpp_opts->deps.style = DEPS_USER;
1327 else
1329 spec = getenv ("SUNPRO_DEPENDENCIES");
1330 if (spec)
1332 cpp_opts->deps.style = DEPS_SYSTEM;
1333 cpp_opts->deps.ignore_main_file = true;
1337 if (spec)
1339 /* Find the space before the DEPS_TARGET, if there is one. */
1340 char *s = strchr (spec, ' ');
1341 if (s)
1343 /* Let the caller perform MAKE quoting. */
1344 defer_opt (OPT_MT, s + 1);
1345 *s = '\0';
1348 /* Command line -MF overrides environment variables and default. */
1349 if (!deps_file)
1350 deps_file = spec;
1352 deps_append = 1;
1353 deps_seen = true;
1357 /* Handle deferred command line switches. */
1358 static void
1359 handle_deferred_opts (void)
1361 /* Avoid allocating the deps buffer if we don't need it.
1362 (This flag may be true without there having been -MT or -MQ
1363 options, but we'll still need the deps buffer.) */
1364 if (!deps_seen)
1365 return;
1367 if (mkdeps *deps = cpp_get_deps (parse_in))
1368 for (unsigned i = 0; i < deferred_count; i++)
1370 struct deferred_opt *opt = &deferred_opts[i];
1372 if (opt->code == OPT_MT || opt->code == OPT_MQ)
1373 deps_add_target (deps, opt->arg, opt->code == OPT_MQ);
1377 /* These settings are appropriate for GCC, but not necessarily so for
1378 cpplib as a library. */
1379 static void
1380 sanitize_cpp_opts (void)
1382 /* If we don't know what style of dependencies to output, complain
1383 if any other dependency switches have been given. */
1384 if (deps_seen && cpp_opts->deps.style == DEPS_NONE)
1385 error ("to generate dependencies you must specify either %<-M%> "
1386 "or %<-MM%>");
1388 /* -dM and dependencies suppress normal output; do it here so that
1389 the last -d[MDN] switch overrides earlier ones. */
1390 if (flag_dump_macros == 'M')
1391 flag_no_output = 1;
1393 /* By default, -fdirectives-only implies -dD. This allows subsequent phases
1394 to perform proper macro expansion. */
1395 if (cpp_opts->directives_only && !cpp_opts->preprocessed && !flag_dump_macros)
1396 flag_dump_macros = 'D';
1398 /* Disable -dD, -dN and -dI if normal output is suppressed. Allow
1399 -dM since at least glibc relies on -M -dM to work. */
1400 /* Also, flag_no_output implies flag_no_line_commands, always. */
1401 if (flag_no_output)
1403 if (flag_dump_macros != 'M')
1404 flag_dump_macros = 0;
1405 flag_dump_includes = 0;
1406 flag_no_line_commands = 1;
1408 else if (cpp_opts->deps.missing_files)
1409 error ("%<-MG%> may only be used with %<-M%> or %<-MM%>");
1411 cpp_opts->unsigned_char = !flag_signed_char;
1412 cpp_opts->stdc_0_in_system_headers = STDC_0_IN_SYSTEM_HEADERS;
1414 /* Wlong-long is disabled by default. It is enabled by:
1415 [-Wpedantic | -Wtraditional] -std=[gnu|c]++98 ; or
1416 [-Wpedantic | -Wtraditional] -std=non-c99
1418 Either -Wlong-long or -Wno-long-long override any other settings.
1419 ??? These conditions should be handled in c.opt. */
1420 if (warn_long_long == -1)
1422 warn_long_long = ((pedantic || warn_traditional)
1423 && (c_dialect_cxx () ? cxx_dialect == cxx98 : !flag_isoc99));
1424 cpp_opts->cpp_warn_long_long = warn_long_long;
1427 /* If we're generating preprocessor output, emit current directory
1428 if explicitly requested or if debugging information is enabled.
1429 ??? Maybe we should only do it for debugging formats that
1430 actually output the current directory? */
1431 if (flag_working_directory == -1)
1432 flag_working_directory = (debug_info_level != DINFO_LEVEL_NONE);
1434 if (warn_implicit_fallthrough < 5)
1435 cpp_opts->cpp_warn_implicit_fallthrough = warn_implicit_fallthrough;
1436 else
1437 cpp_opts->cpp_warn_implicit_fallthrough = 0;
1439 if (cpp_opts->directives_only)
1441 if (cpp_warn_unused_macros)
1442 error ("%<-fdirectives-only%> is incompatible "
1443 "with %<-Wunused-macros%>");
1444 if (cpp_opts->traditional)
1445 error ("%<-fdirectives-only%> is incompatible with %<-traditional%>");
1449 /* Add include path with a prefix at the front of its name. */
1450 static void
1451 add_prefixed_path (const char *suffix, incpath_kind chain)
1453 char *path;
1454 const char *prefix;
1455 size_t prefix_len, suffix_len;
1457 suffix_len = strlen (suffix);
1458 prefix = iprefix ? iprefix : cpp_GCC_INCLUDE_DIR;
1459 prefix_len = iprefix ? strlen (iprefix) : cpp_GCC_INCLUDE_DIR_len;
1461 path = (char *) xmalloc (prefix_len + suffix_len + 1);
1462 memcpy (path, prefix, prefix_len);
1463 memcpy (path + prefix_len, suffix, suffix_len);
1464 path[prefix_len + suffix_len] = '\0';
1466 add_path (path, chain, 0, false);
1469 /* Handle -D, -U, -A, -imacros, and the first -include. */
1470 static void
1471 c_finish_options (void)
1473 if (!cpp_opts->preprocessed)
1475 const line_map_ordinary *bltin_map
1476 = linemap_check_ordinary (linemap_add (line_table, LC_RENAME, 0,
1477 _("<built-in>"), 0));
1478 cb_file_change (parse_in, bltin_map);
1479 linemap_line_start (line_table, 0, 1);
1481 /* Make sure all of the builtins about to be declared have
1482 BUILTINS_LOCATION has their location_t. */
1483 cpp_force_token_locations (parse_in, BUILTINS_LOCATION);
1485 cpp_init_builtins (parse_in, flag_hosted);
1486 c_cpp_builtins (parse_in);
1488 /* We're about to send user input to cpplib, so make it warn for
1489 things that we previously (when we sent it internal definitions)
1490 told it to not warn.
1492 C99 permits implementation-defined characters in identifiers.
1493 The documented meaning of -std= is to turn off extensions that
1494 conflict with the specified standard, and since a strictly
1495 conforming program cannot contain a '$', we do not condition
1496 their acceptance on the -std= setting. */
1497 cpp_opts->warn_dollars = (cpp_opts->cpp_pedantic && !cpp_opts->c99);
1499 const line_map_ordinary *cmd_map
1500 = linemap_check_ordinary (linemap_add (line_table, LC_RENAME, 0,
1501 _("<command-line>"), 0));
1502 cb_file_change (parse_in, cmd_map);
1503 linemap_line_start (line_table, 0, 1);
1505 /* All command line defines must have the same location. */
1506 cpp_force_token_locations (parse_in, line_table->highest_line);
1507 for (size_t i = 0; i < deferred_count; i++)
1509 struct deferred_opt *opt = &deferred_opts[i];
1511 if (opt->code == OPT_D)
1512 cpp_define (parse_in, opt->arg);
1513 else if (opt->code == OPT_U)
1514 cpp_undef (parse_in, opt->arg);
1515 else if (opt->code == OPT_A)
1517 if (opt->arg[0] == '-')
1518 cpp_unassert (parse_in, opt->arg + 1);
1519 else
1520 cpp_assert (parse_in, opt->arg);
1524 cpp_stop_forcing_token_locations (parse_in);
1526 else if (cpp_opts->directives_only)
1527 cpp_init_special_builtins (parse_in);
1529 /* Start the main input file, if the debug writer wants it. */
1530 if (debug_hooks->start_end_main_source_file
1531 && !flag_preprocess_only)
1532 (*debug_hooks->start_source_file) (0, this_input_filename);
1534 if (!cpp_opts->preprocessed)
1535 /* Handle -imacros after -D and -U. */
1536 for (size_t i = 0; i < deferred_count; i++)
1538 struct deferred_opt *opt = &deferred_opts[i];
1540 if (opt->code == OPT_imacros
1541 && cpp_push_include (parse_in, opt->arg))
1543 /* Disable push_command_line_include callback for now. */
1544 include_cursor = deferred_count + 1;
1545 cpp_scan_nooutput (parse_in);
1549 include_cursor = 0;
1550 push_command_line_include ();
1553 /* Give CPP the next file given by -include, if any. */
1554 static void
1555 push_command_line_include (void)
1557 /* This can happen if disabled by -imacros for example.
1558 Punt so that we don't set "<command-line>" as the filename for
1559 the header. */
1560 if (include_cursor > deferred_count)
1561 return;
1563 if (!done_preinclude)
1565 done_preinclude = true;
1566 if (flag_hosted && std_inc && !cpp_opts->preprocessed)
1568 const char *preinc = targetcm.c_preinclude ();
1569 if (preinc && cpp_push_default_include (parse_in, preinc))
1570 return;
1574 pch_cpp_save_state ();
1576 while (include_cursor < deferred_count)
1578 struct deferred_opt *opt = &deferred_opts[include_cursor++];
1580 if (!cpp_opts->preprocessed && opt->code == OPT_include
1581 && cpp_push_include (parse_in, opt->arg))
1582 return;
1585 if (include_cursor == deferred_count)
1587 include_cursor++;
1588 /* -Wunused-macros should only warn about macros defined hereafter. */
1589 cpp_opts->warn_unused_macros = cpp_warn_unused_macros;
1590 /* Restore the line map back to the main file. */
1591 if (!cpp_opts->preprocessed)
1593 cpp_change_file (parse_in, LC_RENAME, this_input_filename);
1594 if (lang_hooks.preprocess_main_file)
1595 /* We're starting the main file. Inform the FE of that. */
1596 lang_hooks.preprocess_main_file
1597 (parse_in, line_table, LINEMAPS_LAST_ORDINARY_MAP (line_table));
1600 /* Set this here so the client can change the option if it wishes,
1601 and after stacking the main file so we don't trace the main file. */
1602 line_table->trace_includes = cpp_opts->print_include_names;
1606 /* File change callback. Has to handle -include files. */
1607 static void
1608 cb_file_change (cpp_reader *reader, const line_map_ordinary *new_map)
1610 if (flag_preprocess_only)
1611 pp_file_change (new_map);
1612 else
1613 fe_file_change (new_map);
1615 if (new_map && cpp_opts->preprocessed
1616 && lang_hooks.preprocess_main_file && MAIN_FILE_P (new_map)
1617 && ORDINARY_MAP_STARTING_LINE_NUMBER (new_map))
1618 /* We're starting the main file. Inform the FE of that. */
1619 lang_hooks.preprocess_main_file (reader, line_table, new_map);
1621 if (new_map
1622 && (new_map->reason == LC_ENTER || new_map->reason == LC_RENAME))
1624 /* Signal to plugins that a file is included. This could happen
1625 several times with the same file path, e.g. because of
1626 several '#include' or '#line' directives... */
1627 invoke_plugin_callbacks
1628 (PLUGIN_INCLUDE_FILE,
1629 const_cast<char*> (ORDINARY_MAP_FILE_NAME (new_map)));
1632 if (new_map == 0 || (new_map->reason == LC_LEAVE && MAIN_FILE_P (new_map)))
1634 pch_cpp_save_state ();
1635 push_command_line_include ();
1639 void
1640 cb_dir_change (cpp_reader * ARG_UNUSED (pfile), const char *dir)
1642 if (!set_src_pwd (dir))
1643 warning (0, "too late for # directive to set debug directory");
1646 /* Set the C 89 standard (with 1994 amendments if C94, without GNU
1647 extensions if ISO). There is no concept of gnu94. */
1648 static void
1649 set_std_c89 (int c94, int iso)
1651 cpp_set_lang (parse_in, c94 ? CLK_STDC94: iso ? CLK_STDC89: CLK_GNUC89);
1652 flag_iso = iso;
1653 flag_no_asm = iso;
1654 flag_no_gnu_keywords = iso;
1655 flag_no_nonansi_builtin = iso;
1656 flag_isoc94 = c94;
1657 flag_isoc99 = 0;
1658 flag_isoc11 = 0;
1659 flag_isoc2x = 0;
1660 lang_hooks.name = "GNU C89";
1663 /* Set the C 99 standard (without GNU extensions if ISO). */
1664 static void
1665 set_std_c99 (int iso)
1667 cpp_set_lang (parse_in, iso ? CLK_STDC99: CLK_GNUC99);
1668 flag_no_asm = iso;
1669 flag_no_nonansi_builtin = iso;
1670 flag_iso = iso;
1671 flag_isoc2x = 0;
1672 flag_isoc11 = 0;
1673 flag_isoc99 = 1;
1674 flag_isoc94 = 1;
1675 lang_hooks.name = "GNU C99";
1678 /* Set the C 11 standard (without GNU extensions if ISO). */
1679 static void
1680 set_std_c11 (int iso)
1682 cpp_set_lang (parse_in, iso ? CLK_STDC11: CLK_GNUC11);
1683 flag_no_asm = iso;
1684 flag_no_nonansi_builtin = iso;
1685 flag_iso = iso;
1686 flag_isoc2x = 0;
1687 flag_isoc11 = 1;
1688 flag_isoc99 = 1;
1689 flag_isoc94 = 1;
1690 lang_hooks.name = "GNU C11";
1693 /* Set the C 17 standard (without GNU extensions if ISO). */
1694 static void
1695 set_std_c17 (int iso)
1697 cpp_set_lang (parse_in, iso ? CLK_STDC17: CLK_GNUC17);
1698 flag_no_asm = iso;
1699 flag_no_nonansi_builtin = iso;
1700 flag_iso = iso;
1701 flag_isoc2x = 0;
1702 flag_isoc11 = 1;
1703 flag_isoc99 = 1;
1704 flag_isoc94 = 1;
1705 lang_hooks.name = "GNU C17";
1708 /* Set the C 2X standard (without GNU extensions if ISO). */
1709 static void
1710 set_std_c2x (int iso)
1712 cpp_set_lang (parse_in, iso ? CLK_STDC2X: CLK_GNUC2X);
1713 flag_no_asm = iso;
1714 flag_no_nonansi_builtin = iso;
1715 flag_iso = iso;
1716 flag_isoc2x = 1;
1717 flag_isoc11 = 1;
1718 flag_isoc99 = 1;
1719 flag_isoc94 = 1;
1720 lang_hooks.name = "GNU C2X";
1724 /* Set the C++ 98 standard (without GNU extensions if ISO). */
1725 static void
1726 set_std_cxx98 (int iso)
1728 cpp_set_lang (parse_in, iso ? CLK_CXX98: CLK_GNUCXX);
1729 flag_no_gnu_keywords = iso;
1730 flag_no_nonansi_builtin = iso;
1731 flag_iso = iso;
1732 flag_isoc94 = 0;
1733 flag_isoc99 = 0;
1734 cxx_dialect = cxx98;
1735 lang_hooks.name = "GNU C++98";
1738 /* Set the C++ 2011 standard (without GNU extensions if ISO). */
1739 static void
1740 set_std_cxx11 (int iso)
1742 cpp_set_lang (parse_in, iso ? CLK_CXX11: CLK_GNUCXX11);
1743 flag_no_gnu_keywords = iso;
1744 flag_no_nonansi_builtin = iso;
1745 flag_iso = iso;
1746 /* C++11 includes the C99 standard library. */
1747 flag_isoc94 = 1;
1748 flag_isoc99 = 1;
1749 cxx_dialect = cxx11;
1750 lang_hooks.name = "GNU C++11";
1753 /* Set the C++ 2014 standard (without GNU extensions if ISO). */
1754 static void
1755 set_std_cxx14 (int iso)
1757 cpp_set_lang (parse_in, iso ? CLK_CXX14: CLK_GNUCXX14);
1758 flag_no_gnu_keywords = iso;
1759 flag_no_nonansi_builtin = iso;
1760 flag_iso = iso;
1761 /* C++14 includes the C99 standard library. */
1762 flag_isoc94 = 1;
1763 flag_isoc99 = 1;
1764 cxx_dialect = cxx14;
1765 lang_hooks.name = "GNU C++14";
1768 /* Set the C++ 2017 standard (without GNU extensions if ISO). */
1769 static void
1770 set_std_cxx17 (int iso)
1772 cpp_set_lang (parse_in, iso ? CLK_CXX17: CLK_GNUCXX17);
1773 flag_no_gnu_keywords = iso;
1774 flag_no_nonansi_builtin = iso;
1775 flag_iso = iso;
1776 /* C++17 includes the C11 standard library. */
1777 flag_isoc94 = 1;
1778 flag_isoc99 = 1;
1779 flag_isoc11 = 1;
1780 cxx_dialect = cxx17;
1781 lang_hooks.name = "GNU C++17";
1784 /* Set the C++ 2020 standard (without GNU extensions if ISO). */
1785 static void
1786 set_std_cxx20 (int iso)
1788 cpp_set_lang (parse_in, iso ? CLK_CXX20: CLK_GNUCXX20);
1789 flag_no_gnu_keywords = iso;
1790 flag_no_nonansi_builtin = iso;
1791 flag_iso = iso;
1792 /* C++20 includes the C11 standard library. */
1793 flag_isoc94 = 1;
1794 flag_isoc99 = 1;
1795 flag_isoc11 = 1;
1796 /* C++20 includes coroutines. */
1797 flag_coroutines = true;
1798 cxx_dialect = cxx20;
1799 lang_hooks.name = "GNU C++20";
1802 /* Set the C++ 2023 standard (without GNU extensions if ISO). */
1803 static void
1804 set_std_cxx23 (int iso)
1806 cpp_set_lang (parse_in, iso ? CLK_CXX23: CLK_GNUCXX23);
1807 flag_no_gnu_keywords = iso;
1808 flag_no_nonansi_builtin = iso;
1809 flag_iso = iso;
1810 /* C++23 includes the C11 standard library. */
1811 flag_isoc94 = 1;
1812 flag_isoc99 = 1;
1813 flag_isoc11 = 1;
1814 /* C++23 includes coroutines. */
1815 flag_coroutines = true;
1816 cxx_dialect = cxx23;
1817 lang_hooks.name = "GNU C++23";
1820 /* Args to -d specify what to dump. Silently ignore
1821 unrecognized options; they may be aimed at toplev.c. */
1822 static void
1823 handle_OPT_d (const char *arg)
1825 char c;
1827 while ((c = *arg++) != '\0')
1828 switch (c)
1830 case 'M': /* Dump macros only. */
1831 case 'N': /* Dump names. */
1832 case 'D': /* Dump definitions. */
1833 case 'U': /* Dump used macros. */
1834 flag_dump_macros = c;
1835 break;
1837 case 'I':
1838 flag_dump_includes = 1;
1839 break;