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