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