c++: Change the default dialect to C++17.
[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_ftabstop_:
508 /* It is documented that we silently ignore silly values. */
509 if (value >= 1 && value <= 100)
510 cpp_opts->tabstop = value;
511 break;
512
513 case OPT_fexec_charset_:
514 cpp_opts->narrow_charset = arg;
515 break;
516
517 case OPT_fwide_exec_charset_:
518 cpp_opts->wide_charset = arg;
519 break;
520
521 case OPT_finput_charset_:
522 cpp_opts->input_charset = arg;
523 break;
524
525 case OPT_ftemplate_depth_:
526 max_tinst_depth = value;
527 break;
528
529 case OPT_fvisibility_inlines_hidden:
530 visibility_options.inlines_hidden = value;
531 break;
532
533 case OPT_femit_struct_debug_baseonly:
534 set_struct_debug_option (&global_options, loc, "base");
535 break;
536
537 case OPT_femit_struct_debug_reduced:
538 set_struct_debug_option (&global_options, loc,
539 "dir:ord:sys,dir:gen:any,ind:base");
540 break;
541
542 case OPT_femit_struct_debug_detailed_:
543 set_struct_debug_option (&global_options, loc, arg);
544 break;
545
546 case OPT_fext_numeric_literals:
547 cpp_opts->ext_numeric_literals = value;
548 break;
549
550 case OPT_idirafter:
551 add_path (xstrdup (arg), INC_AFTER, 0, true);
552 break;
553
554 case OPT_imacros:
555 case OPT_include:
556 defer_opt (code, arg);
557 break;
558
559 case OPT_imultilib:
560 imultilib = arg;
561 break;
562
563 case OPT_iprefix:
564 iprefix = arg;
565 break;
566
567 case OPT_iquote:
568 add_path (xstrdup (arg), INC_QUOTE, 0, true);
569 break;
570
571 case OPT_isysroot:
572 sysroot = arg;
573 break;
574
575 case OPT_isystem:
576 add_path (xstrdup (arg), INC_SYSTEM, 0, true);
577 break;
578
579 case OPT_iwithprefix:
580 add_prefixed_path (arg, INC_SYSTEM);
581 break;
582
583 case OPT_iwithprefixbefore:
584 add_prefixed_path (arg, INC_BRACKET);
585 break;
586
587 case OPT_lang_asm:
588 cpp_set_lang (parse_in, CLK_ASM);
589 cpp_opts->dollars_in_ident = false;
590 break;
591
592 case OPT_nostdinc:
593 std_inc = false;
594 break;
595
596 case OPT_nostdinc__:
597 std_cxx_inc = false;
598 break;
599
600 case OPT_o:
601 if (!out_fname)
602 out_fname = arg;
603 else
604 error ("output filename specified twice");
605 break;
606
607 case OPT_print_objc_runtime_info:
608 print_struct_values = 1;
609 break;
610
611 case OPT_remap:
612 cpp_opts->remap = 1;
613 break;
614
615 case OPT_std_c__98:
616 case OPT_std_gnu__98:
617 if (!preprocessing_asm_p)
618 set_std_cxx98 (code == OPT_std_c__98 /* ISO */);
619 break;
620
621 case OPT_std_c__11:
622 case OPT_std_gnu__11:
623 if (!preprocessing_asm_p)
624 set_std_cxx11 (code == OPT_std_c__11 /* ISO */);
625 break;
626
627 case OPT_std_c__14:
628 case OPT_std_gnu__14:
629 if (!preprocessing_asm_p)
630 set_std_cxx14 (code == OPT_std_c__14 /* ISO */);
631 break;
632
633 case OPT_std_c__17:
634 case OPT_std_gnu__17:
635 if (!preprocessing_asm_p)
636 set_std_cxx17 (code == OPT_std_c__17 /* ISO */);
637 break;
638
639 case OPT_std_c__20:
640 case OPT_std_gnu__20:
641 if (!preprocessing_asm_p)
642 set_std_cxx20 (code == OPT_std_c__20 /* ISO */);
643 break;
644
645 case OPT_std_c90:
646 case OPT_std_iso9899_199409:
647 if (!preprocessing_asm_p)
648 set_std_c89 (code == OPT_std_iso9899_199409 /* c94 */, true /* ISO */);
649 break;
650
651 case OPT_std_gnu90:
652 if (!preprocessing_asm_p)
653 set_std_c89 (false /* c94 */, false /* ISO */);
654 break;
655
656 case OPT_std_c99:
657 if (!preprocessing_asm_p)
658 set_std_c99 (true /* ISO */);
659 break;
660
661 case OPT_std_gnu99:
662 if (!preprocessing_asm_p)
663 set_std_c99 (false /* ISO */);
664 break;
665
666 case OPT_std_c11:
667 if (!preprocessing_asm_p)
668 set_std_c11 (true /* ISO */);
669 break;
670
671 case OPT_std_gnu11:
672 if (!preprocessing_asm_p)
673 set_std_c11 (false /* ISO */);
674 break;
675
676 case OPT_std_c17:
677 if (!preprocessing_asm_p)
678 set_std_c17 (true /* ISO */);
679 break;
680
681 case OPT_std_gnu17:
682 if (!preprocessing_asm_p)
683 set_std_c17 (false /* ISO */);
684 break;
685
686 case OPT_std_c2x:
687 if (!preprocessing_asm_p)
688 set_std_c2x (true /* ISO */);
689 break;
690
691 case OPT_std_gnu2x:
692 if (!preprocessing_asm_p)
693 set_std_c2x (false /* ISO */);
694 break;
695
696 case OPT_trigraphs:
697 cpp_opts->trigraphs = 1;
698 break;
699
700 case OPT_traditional_cpp:
701 cpp_opts->traditional = 1;
702 break;
703
704 case OPT_v:
705 verbose = true;
706 break;
707 }
708
709 switch (c_language)
710 {
711 case clk_c:
712 C_handle_option_auto (&global_options, &global_options_set,
713 scode, arg, value,
714 c_family_lang_mask, kind,
715 loc, handlers, global_dc);
716 break;
717
718 case clk_objc:
719 ObjC_handle_option_auto (&global_options, &global_options_set,
720 scode, arg, value,
721 c_family_lang_mask, kind,
722 loc, handlers, global_dc);
723 break;
724
725 case clk_cxx:
726 CXX_handle_option_auto (&global_options, &global_options_set,
727 scode, arg, value,
728 c_family_lang_mask, kind,
729 loc, handlers, global_dc);
730 break;
731
732 case clk_objcxx:
733 ObjCXX_handle_option_auto (&global_options, &global_options_set,
734 scode, arg, value,
735 c_family_lang_mask, kind,
736 loc, handlers, global_dc);
737 break;
738
739 default:
740 gcc_unreachable ();
741 }
742
743 cpp_handle_option_auto (&global_options, scode, cpp_opts);
744 return result;
745 }
746
747 /* Default implementation of TARGET_HANDLE_C_OPTION. */
748
749 bool
750 default_handle_c_option (size_t code ATTRIBUTE_UNUSED,
751 const char *arg ATTRIBUTE_UNUSED,
752 int value ATTRIBUTE_UNUSED)
753 {
754 return false;
755 }
756
757 /* Post-switch processing. */
758 bool
759 c_common_post_options (const char **pfilename)
760 {
761 struct cpp_callbacks *cb;
762
763 /* Canonicalize the input and output filenames. */
764 if (in_fnames == NULL)
765 {
766 in_fnames = XNEWVEC (const char *, 1);
767 in_fnames[0] = "";
768 }
769 else if (strcmp (in_fnames[0], "-") == 0)
770 {
771 if (pch_file)
772 error ("cannot use %<-%> as input filename for a precompiled header");
773
774 in_fnames[0] = "";
775 }
776
777 if (out_fname == NULL || !strcmp (out_fname, "-"))
778 out_fname = "";
779
780 if (cpp_opts->deps.style == DEPS_NONE)
781 check_deps_environment_vars ();
782
783 handle_deferred_opts ();
784
785 sanitize_cpp_opts ();
786
787 register_include_chains (parse_in, sysroot, iprefix, imultilib,
788 std_inc, std_cxx_inc && c_dialect_cxx (), verbose);
789
790 #ifdef C_COMMON_OVERRIDE_OPTIONS
791 /* Some machines may reject certain combinations of C
792 language-specific options. */
793 C_COMMON_OVERRIDE_OPTIONS;
794 #endif
795
796 /* Excess precision other than "fast" requires front-end
797 support. */
798 if (c_dialect_cxx ())
799 {
800 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
801 sorry ("%<-fexcess-precision=standard%> for C++");
802 flag_excess_precision = EXCESS_PRECISION_FAST;
803 }
804 else if (flag_excess_precision == EXCESS_PRECISION_DEFAULT)
805 flag_excess_precision = (flag_iso ? EXCESS_PRECISION_STANDARD
806 : EXCESS_PRECISION_FAST);
807
808 /* ISO C restricts floating-point expression contraction to within
809 source-language expressions (-ffp-contract=on, currently an alias
810 for -ffp-contract=off). */
811 if (flag_iso
812 && !c_dialect_cxx ()
813 && (global_options_set.x_flag_fp_contract_mode
814 == (enum fp_contract_mode) 0)
815 && flag_unsafe_math_optimizations == 0)
816 flag_fp_contract_mode = FP_CONTRACT_OFF;
817
818 /* If we are compiling C, and we are outside of a standards mode,
819 we can permit the new values from ISO/IEC TS 18661-3 for
820 FLT_EVAL_METHOD. Otherwise, we must restrict the possible values to
821 the set specified in ISO C99/C11. */
822 if (!flag_iso
823 && !c_dialect_cxx ()
824 && (global_options_set.x_flag_permitted_flt_eval_methods
825 == PERMITTED_FLT_EVAL_METHODS_DEFAULT))
826 flag_permitted_flt_eval_methods = PERMITTED_FLT_EVAL_METHODS_TS_18661;
827 else
828 flag_permitted_flt_eval_methods = PERMITTED_FLT_EVAL_METHODS_C11;
829
830 /* C2X Annex F does not permit certain built-in functions to raise
831 "inexact". */
832 if (flag_isoc2x)
833 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
834 flag_fp_int_builtin_inexact, 0);
835
836 /* By default we use C99 inline semantics in GNU99 or C99 mode. C99
837 inline semantics are not supported in GNU89 or C89 mode. */
838 if (flag_gnu89_inline == -1)
839 flag_gnu89_inline = !flag_isoc99;
840 else if (!flag_gnu89_inline && !flag_isoc99)
841 error ("%<-fno-gnu89-inline%> is only supported in GNU99 or C99 mode");
842
843 /* Default to ObjC sjlj exception handling if NeXT runtime. */
844 if (flag_objc_sjlj_exceptions < 0)
845 flag_objc_sjlj_exceptions = flag_next_runtime;
846 if (flag_objc_exceptions && !flag_objc_sjlj_exceptions)
847 flag_exceptions = 1;
848
849 /* If -ffreestanding, -fno-hosted or -fno-builtin then disable
850 pattern recognition. */
851 if (flag_no_builtin)
852 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
853 flag_tree_loop_distribute_patterns, 0);
854
855 /* -Woverlength-strings is off by default, but is enabled by -Wpedantic.
856 It is never enabled in C++, as the minimum limit is not normative
857 in that standard. */
858 if (c_dialect_cxx ())
859 warn_overlength_strings = 0;
860
861 /* Wmain is enabled by default in C++ but not in C. */
862 /* Wmain is disabled by default for -ffreestanding (!flag_hosted),
863 even if -Wall or -Wpedantic was given (warn_main will be 2 if set
864 by -Wall, 1 if set by -Wmain). */
865 if (warn_main == -1)
866 warn_main = (c_dialect_cxx () && flag_hosted) ? 1 : 0;
867 else if (warn_main == 2)
868 warn_main = flag_hosted ? 1 : 0;
869
870 /* In C, -Wall and -Wc++-compat enable -Wenum-compare; if it has not
871 yet been set, it is disabled by default. In C++, it is enabled
872 by default. */
873 if (warn_enum_compare == -1)
874 warn_enum_compare = c_dialect_cxx () ? 1 : 0;
875
876 /* -Wpacked-bitfield-compat is on by default for the C languages. The
877 warning is issued in stor-layout.c which is not part of the front-end so
878 we need to selectively turn it on here. */
879 if (warn_packed_bitfield_compat == -1)
880 warn_packed_bitfield_compat = 1;
881
882 /* Special format checking options don't work without -Wformat; warn if
883 they are used. */
884 if (!warn_format)
885 {
886 warning (OPT_Wformat_y2k,
887 "%<-Wformat-y2k%> ignored without %<-Wformat%>");
888 warning (OPT_Wformat_extra_args,
889 "%<-Wformat-extra-args%> ignored without %<-Wformat%>");
890 warning (OPT_Wformat_zero_length,
891 "%<-Wformat-zero-length%> ignored without %<-Wformat%>");
892 warning (OPT_Wformat_nonliteral,
893 "%<-Wformat-nonliteral%> ignored without %<-Wformat%>");
894 warning (OPT_Wformat_contains_nul,
895 "%<-Wformat-contains-nul%> ignored without %<-Wformat%>");
896 warning (OPT_Wformat_security,
897 "%<-Wformat-security%> ignored without %<-Wformat%>");
898 }
899
900 /* -Wimplicit-function-declaration is enabled by default for C99. */
901 if (warn_implicit_function_declaration == -1)
902 warn_implicit_function_declaration = flag_isoc99;
903
904 /* -Wimplicit-int is enabled by default for C99. */
905 if (warn_implicit_int == -1)
906 warn_implicit_int = flag_isoc99;
907
908 /* -Wold-style-definition is enabled by default for C2X. */
909 if (warn_old_style_definition == -1)
910 warn_old_style_definition = flag_isoc2x;
911
912 /* -Wshift-overflow is enabled by default in C99 and C++11 modes. */
913 if (warn_shift_overflow == -1)
914 warn_shift_overflow = cxx_dialect >= cxx11 || flag_isoc99;
915
916 /* -Wshift-negative-value is enabled by -Wextra in C99 and C++11 modes. */
917 if (warn_shift_negative_value == -1)
918 warn_shift_negative_value = (extra_warnings
919 && (cxx_dialect >= cxx11 || flag_isoc99));
920
921 /* -Wregister is enabled by default in C++17. */
922 SET_OPTION_IF_UNSET (&global_options, &global_options_set, warn_register,
923 cxx_dialect >= cxx17);
924
925 /* -Wcomma-subscript is enabled by default in C++20. */
926 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
927 warn_comma_subscript,
928 cxx_dialect >= cxx20 && warn_deprecated);
929
930 /* -Wvolatile is enabled by default in C++20. */
931 SET_OPTION_IF_UNSET (&global_options, &global_options_set, warn_volatile,
932 cxx_dialect >= cxx20 && warn_deprecated);
933
934 /* Declone C++ 'structors if -Os. */
935 if (flag_declone_ctor_dtor == -1)
936 flag_declone_ctor_dtor = optimize_size;
937
938 if (flag_abi_compat_version == 1)
939 {
940 warning (0, "%<-fabi-compat-version=1%> is not supported, using =2");
941 flag_abi_compat_version = 2;
942 }
943
944 /* Change flag_abi_version to be the actual current ABI level, for the
945 benefit of c_cpp_builtins, and to make comparison simpler. */
946 const int latest_abi_version = 14;
947 /* Generate compatibility aliases for ABI v11 (7.1) by default. */
948 const int abi_compat_default = 11;
949
950 #define clamp(X) if (X == 0 || X > latest_abi_version) X = latest_abi_version
951 clamp (flag_abi_version);
952 clamp (warn_abi_version);
953 clamp (flag_abi_compat_version);
954 #undef clamp
955
956 /* Default -Wabi= or -fabi-compat-version= from each other. */
957 if (warn_abi_version == -1 && flag_abi_compat_version != -1)
958 warn_abi_version = flag_abi_compat_version;
959 else if (flag_abi_compat_version == -1 && warn_abi_version != -1)
960 flag_abi_compat_version = warn_abi_version;
961 else if (warn_abi_version == -1 && flag_abi_compat_version == -1)
962 {
963 warn_abi_version = latest_abi_version;
964 if (flag_abi_version == latest_abi_version)
965 {
966 auto_diagnostic_group d;
967 if (warning (OPT_Wabi, "%<-Wabi%> won%'t warn about anything"))
968 {
969 inform (input_location, "%<-Wabi%> warns about differences "
970 "from the most up-to-date ABI, which is also used "
971 "by default");
972 inform (input_location, "use e.g. %<-Wabi=11%> to warn about "
973 "changes from GCC 7");
974 }
975 flag_abi_compat_version = abi_compat_default;
976 }
977 else
978 flag_abi_compat_version = latest_abi_version;
979 }
980
981 /* By default, enable the new inheriting constructor semantics along with ABI
982 11. New and old should coexist fine, but it is a change in what
983 artificial symbols are generated. */
984 SET_OPTION_IF_UNSET (&global_options, &global_options_set,
985 flag_new_inheriting_ctors,
986 abi_version_at_least (11));
987
988 /* For GCC 7, only enable DR150 resolution by default if -std=c++17. */
989 SET_OPTION_IF_UNSET (&global_options, &global_options_set, flag_new_ttp,
990 cxx_dialect >= cxx17);
991
992 /* C++11 guarantees forward progress. */
993 SET_OPTION_IF_UNSET (&global_options, &global_options_set, flag_finite_loops,
994 optimize >= 2 && cxx_dialect >= cxx11);
995
996 if (cxx_dialect >= cxx11)
997 {
998 /* If we're allowing C++0x constructs, don't warn about C++98
999 identifiers which are keywords in C++0x. */
1000 warn_cxx11_compat = 0;
1001 cpp_opts->cpp_warn_cxx11_compat = 0;
1002
1003 if (warn_narrowing == -1)
1004 warn_narrowing = 1;
1005
1006 /* Unless -f{,no-}ext-numeric-literals has been used explicitly,
1007 for -std=c++{11,14,17,2a} default to -fno-ext-numeric-literals. */
1008 if (flag_iso && !global_options_set.x_flag_ext_numeric_literals)
1009 cpp_opts->ext_numeric_literals = 0;
1010 }
1011 else if (warn_narrowing == -1)
1012 warn_narrowing = 0;
1013
1014 /* C++17 has stricter evaluation order requirements; let's use some of them
1015 for earlier C++ as well, so chaining works as expected. */
1016 if (c_dialect_cxx ()
1017 && flag_strong_eval_order == -1)
1018 flag_strong_eval_order = (cxx_dialect >= cxx17 ? 2 : 1);
1019
1020 /* Global sized deallocation is new in C++14. */
1021 if (flag_sized_deallocation == -1)
1022 flag_sized_deallocation = (cxx_dialect >= cxx14);
1023
1024 /* char8_t support is new in C++20. */
1025 if (flag_char8_t == -1)
1026 flag_char8_t = (cxx_dialect >= cxx20);
1027
1028 if (flag_extern_tls_init)
1029 {
1030 if (!TARGET_SUPPORTS_ALIASES || !SUPPORTS_WEAK)
1031 {
1032 /* Lazy TLS initialization for a variable in another TU requires
1033 alias and weak reference support. */
1034 if (flag_extern_tls_init > 0)
1035 sorry ("external TLS initialization functions not supported "
1036 "on this target");
1037
1038 flag_extern_tls_init = 0;
1039 }
1040 else
1041 flag_extern_tls_init = 1;
1042 }
1043
1044 /* Enable by default only for C++ and C++ with ObjC extensions. */
1045 if (warn_return_type == -1 && c_dialect_cxx ())
1046 warn_return_type = 1;
1047
1048 /* C++20 is the final version of concepts. We still use -fconcepts
1049 to know when concepts are enabled. Note that -fconcepts-ts can
1050 be used to include additional features, although modified to
1051 work with the standard. */
1052 if (cxx_dialect >= cxx20 || flag_concepts_ts)
1053 flag_concepts = 1;
1054 else if (flag_concepts)
1055 /* For -std=c++17 -fconcepts, imply -fconcepts-ts. */
1056 flag_concepts_ts = 1;
1057
1058 if (num_in_fnames > 1)
1059 error ("too many filenames given; type %<%s %s%> for usage",
1060 progname, "--help");
1061
1062 if (flag_preprocess_only)
1063 {
1064 /* Open the output now. We must do so even if flag_no_output is
1065 on, because there may be other output than from the actual
1066 preprocessing (e.g. from -dM). */
1067 if (out_fname[0] == '\0')
1068 out_stream = stdout;
1069 else
1070 out_stream = fopen (out_fname, "w");
1071
1072 if (out_stream == NULL)
1073 {
1074 fatal_error (input_location, "opening output file %s: %m", out_fname);
1075 return false;
1076 }
1077
1078 init_pp_output (out_stream);
1079 }
1080 else
1081 {
1082 init_c_lex ();
1083
1084 /* When writing a PCH file, avoid reading some other PCH file,
1085 because the default address space slot then can't be used
1086 for the output PCH file. */
1087 if (pch_file)
1088 {
1089 c_common_no_more_pch ();
1090 /* Only -g0 and -gdwarf* are supported with PCH, for other
1091 debug formats we warn here and refuse to load any PCH files. */
1092 if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG)
1093 warning (OPT_Wdeprecated,
1094 "the %qs debug format cannot be used with "
1095 "pre-compiled headers", debug_type_names[write_symbols]);
1096 }
1097 else if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG)
1098 c_common_no_more_pch ();
1099
1100 /* Yuk. WTF is this? I do know ObjC relies on it somewhere. */
1101 input_location = UNKNOWN_LOCATION;
1102 }
1103
1104 cb = cpp_get_callbacks (parse_in);
1105 cb->file_change = cb_file_change;
1106 cb->dir_change = cb_dir_change;
1107 cpp_post_options (parse_in);
1108 init_global_opts_from_cpp (&global_options, cpp_get_options (parse_in));
1109
1110 input_location = UNKNOWN_LOCATION;
1111
1112 *pfilename = this_input_filename
1113 = cpp_read_main_file (parse_in, in_fnames[0]);
1114 /* Don't do any compilation or preprocessing if there is no input file. */
1115 if (this_input_filename == NULL)
1116 {
1117 errorcount++;
1118 return false;
1119 }
1120
1121 if (flag_working_directory
1122 && flag_preprocess_only && !flag_no_line_commands)
1123 pp_dir_change (parse_in, get_src_pwd ());
1124
1125 /* Disable LTO output when outputting a precompiled header. */
1126 if (pch_file && flag_lto)
1127 {
1128 flag_lto = 0;
1129 flag_generate_lto = 0;
1130 }
1131
1132 return flag_preprocess_only;
1133 }
1134
1135 /* Front end initialization common to C, ObjC and C++. */
1136 bool
1137 c_common_init (void)
1138 {
1139 /* Set up preprocessor arithmetic. Must be done after call to
1140 c_common_nodes_and_builtins for type nodes to be good. */
1141 cpp_opts->precision = TYPE_PRECISION (intmax_type_node);
1142 cpp_opts->char_precision = TYPE_PRECISION (char_type_node);
1143 cpp_opts->int_precision = TYPE_PRECISION (integer_type_node);
1144 cpp_opts->wchar_precision = TYPE_PRECISION (wchar_type_node);
1145 cpp_opts->unsigned_wchar = TYPE_UNSIGNED (wchar_type_node);
1146 cpp_opts->bytes_big_endian = BYTES_BIG_ENDIAN;
1147
1148 /* This can't happen until after wchar_precision and bytes_big_endian
1149 are known. */
1150 cpp_init_iconv (parse_in);
1151
1152 if (version_flag)
1153 {
1154 int i;
1155 fputs ("Compiler executable checksum: ", stderr);
1156 for (i = 0; i < 16; i++)
1157 fprintf (stderr, "%02x", executable_checksum[i]);
1158 putc ('\n', stderr);
1159 }
1160
1161 /* Has to wait until now so that cpplib has its hash table. */
1162 init_pragma ();
1163
1164 if (flag_preprocess_only)
1165 {
1166 c_finish_options ();
1167 preprocess_file (parse_in);
1168 return false;
1169 }
1170
1171 return true;
1172 }
1173
1174 /* Initialize the integrated preprocessor after debug output has been
1175 initialized; loop over each input file. */
1176 void
1177 c_common_parse_file (void)
1178 {
1179 unsigned int i;
1180
1181 i = 0;
1182 for (;;)
1183 {
1184 c_finish_options ();
1185 /* Open the dump file to use for the original dump output
1186 here, to be used during parsing for the current file. */
1187 original_dump_file = dump_begin (TDI_original, &original_dump_flags);
1188 pch_init ();
1189 push_file_scope ();
1190 c_parse_file ();
1191 pop_file_scope ();
1192 /* And end the main input file, if the debug writer wants it */
1193 if (debug_hooks->start_end_main_source_file)
1194 (*debug_hooks->end_source_file) (0);
1195 if (++i >= num_in_fnames)
1196 break;
1197 cpp_undef_all (parse_in);
1198 cpp_clear_file_cache (parse_in);
1199 this_input_filename
1200 = cpp_read_main_file (parse_in, in_fnames[i]);
1201 if (original_dump_file)
1202 {
1203 dump_end (TDI_original, original_dump_file);
1204 original_dump_file = NULL;
1205 }
1206 /* If an input file is missing, abandon further compilation.
1207 cpplib has issued a diagnostic. */
1208 if (!this_input_filename)
1209 break;
1210 }
1211
1212 c_parse_final_cleanups ();
1213 }
1214
1215 /* Returns the appropriate dump file for PHASE to dump with FLAGS. */
1216
1217 FILE *
1218 get_dump_info (int phase, dump_flags_t *flags)
1219 {
1220 gcc_assert (phase == TDI_original);
1221
1222 *flags = original_dump_flags;
1223 return original_dump_file;
1224 }
1225
1226 /* Common finish hook for the C, ObjC and C++ front ends. */
1227 void
1228 c_common_finish (void)
1229 {
1230 FILE *deps_stream = NULL;
1231
1232 /* Note that we write the dependencies even if there are errors. This is
1233 useful for handling outdated generated headers that now trigger errors
1234 (for example, with #error) which would be resolved by re-generating
1235 them. In a sense, this complements -MG. */
1236 if (cpp_opts->deps.style != DEPS_NONE)
1237 {
1238 /* If -M or -MM was seen without -MF, default output to the
1239 output stream. */
1240 if (!deps_file)
1241 deps_stream = out_stream;
1242 else if (deps_file[0] == '-' && deps_file[1] == '\0')
1243 deps_stream = stdout;
1244 else
1245 {
1246 deps_stream = fopen (deps_file, deps_append ? "a": "w");
1247 if (!deps_stream)
1248 fatal_error (input_location, "opening dependency file %s: %m",
1249 deps_file);
1250 }
1251 }
1252
1253 /* For performance, avoid tearing down cpplib's internal structures
1254 with cpp_destroy (). */
1255 cpp_finish (parse_in, deps_stream);
1256
1257 if (deps_stream && deps_stream != out_stream && deps_stream != stdout
1258 && (ferror (deps_stream) || fclose (deps_stream)))
1259 fatal_error (input_location, "closing dependency file %s: %m", deps_file);
1260
1261 if (out_stream && (ferror (out_stream) || fclose (out_stream)))
1262 fatal_error (input_location, "when writing output to %s: %m", out_fname);
1263 }
1264
1265 /* Either of two environment variables can specify output of
1266 dependencies. Their value is either "OUTPUT_FILE" or "OUTPUT_FILE
1267 DEPS_TARGET", where OUTPUT_FILE is the file to write deps info to
1268 and DEPS_TARGET is the target to mention in the deps. They also
1269 result in dependency information being appended to the output file
1270 rather than overwriting it, and like Sun's compiler
1271 SUNPRO_DEPENDENCIES suppresses the dependency on the main file. */
1272 static void
1273 check_deps_environment_vars (void)
1274 {
1275 char *spec;
1276
1277 spec = getenv ("DEPENDENCIES_OUTPUT");
1278 if (spec)
1279 cpp_opts->deps.style = DEPS_USER;
1280 else
1281 {
1282 spec = getenv ("SUNPRO_DEPENDENCIES");
1283 if (spec)
1284 {
1285 cpp_opts->deps.style = DEPS_SYSTEM;
1286 cpp_opts->deps.ignore_main_file = true;
1287 }
1288 }
1289
1290 if (spec)
1291 {
1292 /* Find the space before the DEPS_TARGET, if there is one. */
1293 char *s = strchr (spec, ' ');
1294 if (s)
1295 {
1296 /* Let the caller perform MAKE quoting. */
1297 defer_opt (OPT_MT, s + 1);
1298 *s = '\0';
1299 }
1300
1301 /* Command line -MF overrides environment variables and default. */
1302 if (!deps_file)
1303 deps_file = spec;
1304
1305 deps_append = 1;
1306 deps_seen = true;
1307 }
1308 }
1309
1310 /* Handle deferred command line switches. */
1311 static void
1312 handle_deferred_opts (void)
1313 {
1314 /* Avoid allocating the deps buffer if we don't need it.
1315 (This flag may be true without there having been -MT or -MQ
1316 options, but we'll still need the deps buffer.) */
1317 if (!deps_seen)
1318 return;
1319
1320 if (mkdeps *deps = cpp_get_deps (parse_in))
1321 for (unsigned i = 0; i < deferred_count; i++)
1322 {
1323 struct deferred_opt *opt = &deferred_opts[i];
1324
1325 if (opt->code == OPT_MT || opt->code == OPT_MQ)
1326 deps_add_target (deps, opt->arg, opt->code == OPT_MQ);
1327 }
1328 }
1329
1330 /* These settings are appropriate for GCC, but not necessarily so for
1331 cpplib as a library. */
1332 static void
1333 sanitize_cpp_opts (void)
1334 {
1335 /* If we don't know what style of dependencies to output, complain
1336 if any other dependency switches have been given. */
1337 if (deps_seen && cpp_opts->deps.style == DEPS_NONE)
1338 error ("to generate dependencies you must specify either %<-M%> "
1339 "or %<-MM%>");
1340
1341 /* -dM and dependencies suppress normal output; do it here so that
1342 the last -d[MDN] switch overrides earlier ones. */
1343 if (flag_dump_macros == 'M')
1344 flag_no_output = 1;
1345
1346 /* By default, -fdirectives-only implies -dD. This allows subsequent phases
1347 to perform proper macro expansion. */
1348 if (cpp_opts->directives_only && !cpp_opts->preprocessed && !flag_dump_macros)
1349 flag_dump_macros = 'D';
1350
1351 /* Disable -dD, -dN and -dI if normal output is suppressed. Allow
1352 -dM since at least glibc relies on -M -dM to work. */
1353 /* Also, flag_no_output implies flag_no_line_commands, always. */
1354 if (flag_no_output)
1355 {
1356 if (flag_dump_macros != 'M')
1357 flag_dump_macros = 0;
1358 flag_dump_includes = 0;
1359 flag_no_line_commands = 1;
1360 }
1361 else if (cpp_opts->deps.missing_files)
1362 error ("%<-MG%> may only be used with %<-M%> or %<-MM%>");
1363
1364 cpp_opts->unsigned_char = !flag_signed_char;
1365 cpp_opts->stdc_0_in_system_headers = STDC_0_IN_SYSTEM_HEADERS;
1366
1367 /* Wlong-long is disabled by default. It is enabled by:
1368 [-Wpedantic | -Wtraditional] -std=[gnu|c]++98 ; or
1369 [-Wpedantic | -Wtraditional] -std=non-c99
1370
1371 Either -Wlong-long or -Wno-long-long override any other settings.
1372 ??? These conditions should be handled in c.opt. */
1373 if (warn_long_long == -1)
1374 {
1375 warn_long_long = ((pedantic || warn_traditional)
1376 && (c_dialect_cxx () ? cxx_dialect == cxx98 : !flag_isoc99));
1377 cpp_opts->cpp_warn_long_long = warn_long_long;
1378 }
1379
1380 /* If we're generating preprocessor output, emit current directory
1381 if explicitly requested or if debugging information is enabled.
1382 ??? Maybe we should only do it for debugging formats that
1383 actually output the current directory? */
1384 if (flag_working_directory == -1)
1385 flag_working_directory = (debug_info_level != DINFO_LEVEL_NONE);
1386
1387 if (warn_implicit_fallthrough < 5)
1388 cpp_opts->cpp_warn_implicit_fallthrough = warn_implicit_fallthrough;
1389 else
1390 cpp_opts->cpp_warn_implicit_fallthrough = 0;
1391
1392 if (cpp_opts->directives_only)
1393 {
1394 if (cpp_warn_unused_macros)
1395 error ("%<-fdirectives-only%> is incompatible "
1396 "with %<-Wunused-macros%>");
1397 if (cpp_opts->traditional)
1398 error ("%<-fdirectives-only%> is incompatible with %<-traditional%>");
1399 }
1400 }
1401
1402 /* Add include path with a prefix at the front of its name. */
1403 static void
1404 add_prefixed_path (const char *suffix, incpath_kind chain)
1405 {
1406 char *path;
1407 const char *prefix;
1408 size_t prefix_len, suffix_len;
1409
1410 suffix_len = strlen (suffix);
1411 prefix = iprefix ? iprefix : cpp_GCC_INCLUDE_DIR;
1412 prefix_len = iprefix ? strlen (iprefix) : cpp_GCC_INCLUDE_DIR_len;
1413
1414 path = (char *) xmalloc (prefix_len + suffix_len + 1);
1415 memcpy (path, prefix, prefix_len);
1416 memcpy (path + prefix_len, suffix, suffix_len);
1417 path[prefix_len + suffix_len] = '\0';
1418
1419 add_path (path, chain, 0, false);
1420 }
1421
1422 /* Handle -D, -U, -A, -imacros, and the first -include. */
1423 static void
1424 c_finish_options (void)
1425 {
1426 if (!cpp_opts->preprocessed)
1427 {
1428 const line_map_ordinary *bltin_map
1429 = linemap_check_ordinary (linemap_add (line_table, LC_RENAME, 0,
1430 _("<built-in>"), 0));
1431 cb_file_change (parse_in, bltin_map);
1432
1433 /* Make sure all of the builtins about to be declared have
1434 BUILTINS_LOCATION has their location_t. */
1435 cpp_force_token_locations (parse_in, BUILTINS_LOCATION);
1436
1437 cpp_init_builtins (parse_in, flag_hosted);
1438 c_cpp_builtins (parse_in);
1439
1440 /* We're about to send user input to cpplib, so make it warn for
1441 things that we previously (when we sent it internal definitions)
1442 told it to not warn.
1443
1444 C99 permits implementation-defined characters in identifiers.
1445 The documented meaning of -std= is to turn off extensions that
1446 conflict with the specified standard, and since a strictly
1447 conforming program cannot contain a '$', we do not condition
1448 their acceptance on the -std= setting. */
1449 cpp_opts->warn_dollars = (cpp_opts->cpp_pedantic && !cpp_opts->c99);
1450
1451 const line_map_ordinary *cmd_map
1452 = linemap_check_ordinary (linemap_add (line_table, LC_RENAME, 0,
1453 _("<command-line>"), 0));
1454 cb_file_change (parse_in, cmd_map);
1455
1456 /* All command line defines must have the same location. */
1457 cpp_force_token_locations (parse_in, cmd_map->start_location);
1458 for (size_t i = 0; i < deferred_count; i++)
1459 {
1460 struct deferred_opt *opt = &deferred_opts[i];
1461
1462 if (opt->code == OPT_D)
1463 cpp_define (parse_in, opt->arg);
1464 else if (opt->code == OPT_U)
1465 cpp_undef (parse_in, opt->arg);
1466 else if (opt->code == OPT_A)
1467 {
1468 if (opt->arg[0] == '-')
1469 cpp_unassert (parse_in, opt->arg + 1);
1470 else
1471 cpp_assert (parse_in, opt->arg);
1472 }
1473 }
1474
1475 cpp_stop_forcing_token_locations (parse_in);
1476 }
1477 else if (cpp_opts->directives_only)
1478 cpp_init_special_builtins (parse_in);
1479
1480 /* Start the main input file, if the debug writer wants it. */
1481 if (debug_hooks->start_end_main_source_file
1482 && !flag_preprocess_only)
1483 (*debug_hooks->start_source_file) (0, this_input_filename);
1484
1485 if (!cpp_opts->preprocessed)
1486 /* Handle -imacros after -D and -U. */
1487 for (size_t i = 0; i < deferred_count; i++)
1488 {
1489 struct deferred_opt *opt = &deferred_opts[i];
1490
1491 if (opt->code == OPT_imacros
1492 && cpp_push_include (parse_in, opt->arg))
1493 {
1494 /* Disable push_command_line_include callback for now. */
1495 include_cursor = deferred_count + 1;
1496 cpp_scan_nooutput (parse_in);
1497 }
1498 }
1499
1500 include_cursor = 0;
1501 push_command_line_include ();
1502 }
1503
1504 /* Give CPP the next file given by -include, if any. */
1505 static void
1506 push_command_line_include (void)
1507 {
1508 /* This can happen if disabled by -imacros for example.
1509 Punt so that we don't set "<command-line>" as the filename for
1510 the header. */
1511 if (include_cursor > deferred_count)
1512 return;
1513
1514 if (!done_preinclude)
1515 {
1516 done_preinclude = true;
1517 if (flag_hosted && std_inc && !cpp_opts->preprocessed)
1518 {
1519 const char *preinc = targetcm.c_preinclude ();
1520 if (preinc && cpp_push_default_include (parse_in, preinc))
1521 return;
1522 }
1523 }
1524
1525 pch_cpp_save_state ();
1526
1527 while (include_cursor < deferred_count)
1528 {
1529 struct deferred_opt *opt = &deferred_opts[include_cursor++];
1530
1531 if (!cpp_opts->preprocessed && opt->code == OPT_include
1532 && cpp_push_include (parse_in, opt->arg))
1533 return;
1534 }
1535
1536 if (include_cursor == deferred_count)
1537 {
1538 include_cursor++;
1539 /* -Wunused-macros should only warn about macros defined hereafter. */
1540 cpp_opts->warn_unused_macros = cpp_warn_unused_macros;
1541 /* Restore the line map back to the main file. */
1542 if (!cpp_opts->preprocessed)
1543 cpp_change_file (parse_in, LC_RENAME, this_input_filename);
1544
1545 /* Set this here so the client can change the option if it wishes,
1546 and after stacking the main file so we don't trace the main file. */
1547 line_table->trace_includes = cpp_opts->print_include_names;
1548 }
1549 }
1550
1551 /* File change callback. Has to handle -include files. */
1552 static void
1553 cb_file_change (cpp_reader * ARG_UNUSED (pfile),
1554 const line_map_ordinary *new_map)
1555 {
1556 if (flag_preprocess_only)
1557 pp_file_change (new_map);
1558 else
1559 fe_file_change (new_map);
1560
1561 if (new_map
1562 && (new_map->reason == LC_ENTER || new_map->reason == LC_RENAME))
1563 {
1564 /* Signal to plugins that a file is included. This could happen
1565 several times with the same file path, e.g. because of
1566 several '#include' or '#line' directives... */
1567 invoke_plugin_callbacks
1568 (PLUGIN_INCLUDE_FILE,
1569 const_cast<char*> (ORDINARY_MAP_FILE_NAME (new_map)));
1570 }
1571
1572 if (new_map == 0 || (new_map->reason == LC_LEAVE && MAIN_FILE_P (new_map)))
1573 {
1574 pch_cpp_save_state ();
1575 push_command_line_include ();
1576 }
1577 }
1578
1579 void
1580 cb_dir_change (cpp_reader * ARG_UNUSED (pfile), const char *dir)
1581 {
1582 if (!set_src_pwd (dir))
1583 warning (0, "too late for # directive to set debug directory");
1584 }
1585
1586 /* Set the C 89 standard (with 1994 amendments if C94, without GNU
1587 extensions if ISO). There is no concept of gnu94. */
1588 static void
1589 set_std_c89 (int c94, int iso)
1590 {
1591 cpp_set_lang (parse_in, c94 ? CLK_STDC94: iso ? CLK_STDC89: CLK_GNUC89);
1592 flag_iso = iso;
1593 flag_no_asm = iso;
1594 flag_no_gnu_keywords = iso;
1595 flag_no_nonansi_builtin = iso;
1596 flag_isoc94 = c94;
1597 flag_isoc99 = 0;
1598 flag_isoc11 = 0;
1599 flag_isoc2x = 0;
1600 lang_hooks.name = "GNU C89";
1601 }
1602
1603 /* Set the C 99 standard (without GNU extensions if ISO). */
1604 static void
1605 set_std_c99 (int iso)
1606 {
1607 cpp_set_lang (parse_in, iso ? CLK_STDC99: CLK_GNUC99);
1608 flag_no_asm = iso;
1609 flag_no_nonansi_builtin = iso;
1610 flag_iso = iso;
1611 flag_isoc2x = 0;
1612 flag_isoc11 = 0;
1613 flag_isoc99 = 1;
1614 flag_isoc94 = 1;
1615 lang_hooks.name = "GNU C99";
1616 }
1617
1618 /* Set the C 11 standard (without GNU extensions if ISO). */
1619 static void
1620 set_std_c11 (int iso)
1621 {
1622 cpp_set_lang (parse_in, iso ? CLK_STDC11: CLK_GNUC11);
1623 flag_no_asm = iso;
1624 flag_no_nonansi_builtin = iso;
1625 flag_iso = iso;
1626 flag_isoc2x = 0;
1627 flag_isoc11 = 1;
1628 flag_isoc99 = 1;
1629 flag_isoc94 = 1;
1630 lang_hooks.name = "GNU C11";
1631 }
1632
1633 /* Set the C 17 standard (without GNU extensions if ISO). */
1634 static void
1635 set_std_c17 (int iso)
1636 {
1637 cpp_set_lang (parse_in, iso ? CLK_STDC17: CLK_GNUC17);
1638 flag_no_asm = iso;
1639 flag_no_nonansi_builtin = iso;
1640 flag_iso = iso;
1641 flag_isoc2x = 0;
1642 flag_isoc11 = 1;
1643 flag_isoc99 = 1;
1644 flag_isoc94 = 1;
1645 lang_hooks.name = "GNU C17";
1646 }
1647
1648 /* Set the C 2X standard (without GNU extensions if ISO). */
1649 static void
1650 set_std_c2x (int iso)
1651 {
1652 cpp_set_lang (parse_in, iso ? CLK_STDC2X: CLK_GNUC2X);
1653 flag_no_asm = iso;
1654 flag_no_nonansi_builtin = iso;
1655 flag_iso = iso;
1656 flag_isoc2x = 1;
1657 flag_isoc11 = 1;
1658 flag_isoc99 = 1;
1659 flag_isoc94 = 1;
1660 lang_hooks.name = "GNU C2X";
1661 }
1662
1663
1664 /* Set the C++ 98 standard (without GNU extensions if ISO). */
1665 static void
1666 set_std_cxx98 (int iso)
1667 {
1668 cpp_set_lang (parse_in, iso ? CLK_CXX98: CLK_GNUCXX);
1669 flag_no_gnu_keywords = iso;
1670 flag_no_nonansi_builtin = iso;
1671 flag_iso = iso;
1672 flag_isoc94 = 0;
1673 flag_isoc99 = 0;
1674 cxx_dialect = cxx98;
1675 lang_hooks.name = "GNU C++98";
1676 }
1677
1678 /* Set the C++ 2011 standard (without GNU extensions if ISO). */
1679 static void
1680 set_std_cxx11 (int iso)
1681 {
1682 cpp_set_lang (parse_in, iso ? CLK_CXX11: CLK_GNUCXX11);
1683 flag_no_gnu_keywords = iso;
1684 flag_no_nonansi_builtin = iso;
1685 flag_iso = iso;
1686 /* C++11 includes the C99 standard library. */
1687 flag_isoc94 = 1;
1688 flag_isoc99 = 1;
1689 cxx_dialect = cxx11;
1690 lang_hooks.name = "GNU C++11";
1691 }
1692
1693 /* Set the C++ 2014 standard (without GNU extensions if ISO). */
1694 static void
1695 set_std_cxx14 (int iso)
1696 {
1697 cpp_set_lang (parse_in, iso ? CLK_CXX14: CLK_GNUCXX14);
1698 flag_no_gnu_keywords = iso;
1699 flag_no_nonansi_builtin = iso;
1700 flag_iso = iso;
1701 /* C++14 includes the C99 standard library. */
1702 flag_isoc94 = 1;
1703 flag_isoc99 = 1;
1704 cxx_dialect = cxx14;
1705 lang_hooks.name = "GNU C++14";
1706 }
1707
1708 /* Set the C++ 2017 standard (without GNU extensions if ISO). */
1709 static void
1710 set_std_cxx17 (int iso)
1711 {
1712 cpp_set_lang (parse_in, iso ? CLK_CXX17: CLK_GNUCXX17);
1713 flag_no_gnu_keywords = iso;
1714 flag_no_nonansi_builtin = iso;
1715 flag_iso = iso;
1716 /* C++17 includes the C11 standard library. */
1717 flag_isoc94 = 1;
1718 flag_isoc99 = 1;
1719 flag_isoc11 = 1;
1720 cxx_dialect = cxx17;
1721 lang_hooks.name = "GNU C++17";
1722 }
1723
1724 /* Set the C++ 2020 standard (without GNU extensions if ISO). */
1725 static void
1726 set_std_cxx20 (int iso)
1727 {
1728 cpp_set_lang (parse_in, iso ? CLK_CXX20: CLK_GNUCXX20);
1729 flag_no_gnu_keywords = iso;
1730 flag_no_nonansi_builtin = iso;
1731 flag_iso = iso;
1732 /* C++17 includes the C11 standard library. */
1733 flag_isoc94 = 1;
1734 flag_isoc99 = 1;
1735 flag_isoc11 = 1;
1736 /* C++20 includes coroutines. */
1737 flag_coroutines = true;
1738 cxx_dialect = cxx20;
1739 lang_hooks.name = "GNU C++20";
1740 }
1741
1742 /* Args to -d specify what to dump. Silently ignore
1743 unrecognized options; they may be aimed at toplev.c. */
1744 static void
1745 handle_OPT_d (const char *arg)
1746 {
1747 char c;
1748
1749 while ((c = *arg++) != '\0')
1750 switch (c)
1751 {
1752 case 'M': /* Dump macros only. */
1753 case 'N': /* Dump names. */
1754 case 'D': /* Dump definitions. */
1755 case 'U': /* Dump used macros. */
1756 flag_dump_macros = c;
1757 break;
1758
1759 case 'I':
1760 flag_dump_includes = 1;
1761 break;
1762 }
1763 }