PR c++/91979 - mangling nullptr expression
[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 && !global_options_set.x_flag_fp_int_builtin_inexact)
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 (!global_options_set.x_flag_tree_loop_distribute_patterns
851 && flag_no_builtin)
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 /* -Wshift-overflow is enabled by default in C99 and C++11 modes. */
908 if (warn_shift_overflow == -1)
909 warn_shift_overflow = cxx_dialect >= cxx11 || flag_isoc99;
910
911 /* -Wshift-negative-value is enabled by -Wextra in C99 and C++11 modes. */
912 if (warn_shift_negative_value == -1)
913 warn_shift_negative_value = (extra_warnings
914 && (cxx_dialect >= cxx11 || flag_isoc99));
915
916 /* -Wregister is enabled by default in C++17. */
917 if (!global_options_set.x_warn_register)
918 warn_register = cxx_dialect >= cxx17;
919
920 /* -Wcomma-subscript is enabled by default in C++20. */
921 if (!global_options_set.x_warn_comma_subscript)
922 warn_comma_subscript = (cxx_dialect >= cxx2a && warn_deprecated);
923
924 /* -Wvolatile is enabled by default in C++20. */
925 if (!global_options_set.x_warn_volatile)
926 warn_volatile = (cxx_dialect >= cxx2a && warn_deprecated);
927
928 /* Declone C++ 'structors if -Os. */
929 if (flag_declone_ctor_dtor == -1)
930 flag_declone_ctor_dtor = optimize_size;
931
932 if (flag_abi_compat_version == 1)
933 {
934 warning (0, "%<-fabi-compat-version=1%> is not supported, using =2");
935 flag_abi_compat_version = 2;
936 }
937
938 /* Change flag_abi_version to be the actual current ABI level, for the
939 benefit of c_cpp_builtins, and to make comparison simpler. */
940 const int latest_abi_version = 14;
941 /* Generate compatibility aliases for ABI v11 (7.1) by default. */
942 const int abi_compat_default = 11;
943
944 #define clamp(X) if (X == 0 || X > latest_abi_version) X = latest_abi_version
945 clamp (flag_abi_version);
946 clamp (warn_abi_version);
947 clamp (flag_abi_compat_version);
948 #undef clamp
949
950 /* Default -Wabi= or -fabi-compat-version= from each other. */
951 if (warn_abi_version == -1 && flag_abi_compat_version != -1)
952 warn_abi_version = flag_abi_compat_version;
953 else if (flag_abi_compat_version == -1 && warn_abi_version != -1)
954 flag_abi_compat_version = warn_abi_version;
955 else if (warn_abi_version == -1 && flag_abi_compat_version == -1)
956 {
957 warn_abi_version = latest_abi_version;
958 if (flag_abi_version == latest_abi_version)
959 {
960 auto_diagnostic_group d;
961 if (warning (OPT_Wabi, "%<-Wabi%> won%'t warn about anything"))
962 {
963 inform (input_location, "%<-Wabi%> warns about differences "
964 "from the most up-to-date ABI, which is also used "
965 "by default");
966 inform (input_location, "use e.g. %<-Wabi=11%> to warn about "
967 "changes from GCC 7");
968 }
969 flag_abi_compat_version = abi_compat_default;
970 }
971 else
972 flag_abi_compat_version = latest_abi_version;
973 }
974
975 /* By default, enable the new inheriting constructor semantics along with ABI
976 11. New and old should coexist fine, but it is a change in what
977 artificial symbols are generated. */
978 if (!global_options_set.x_flag_new_inheriting_ctors)
979 flag_new_inheriting_ctors = abi_version_at_least (11);
980
981 /* For GCC 7, only enable DR150 resolution by default if -std=c++17. */
982 if (!global_options_set.x_flag_new_ttp)
983 flag_new_ttp = (cxx_dialect >= cxx17);
984
985 if (cxx_dialect >= cxx11)
986 {
987 /* If we're allowing C++0x constructs, don't warn about C++98
988 identifiers which are keywords in C++0x. */
989 warn_cxx11_compat = 0;
990 cpp_opts->cpp_warn_cxx11_compat = 0;
991
992 if (warn_narrowing == -1)
993 warn_narrowing = 1;
994
995 /* Unless -f{,no-}ext-numeric-literals has been used explicitly,
996 for -std=c++{11,14,17,2a} default to -fno-ext-numeric-literals. */
997 if (flag_iso && !global_options_set.x_flag_ext_numeric_literals)
998 cpp_opts->ext_numeric_literals = 0;
999 }
1000 else if (warn_narrowing == -1)
1001 warn_narrowing = 0;
1002
1003 /* C++17 has stricter evaluation order requirements; let's use some of them
1004 for earlier C++ as well, so chaining works as expected. */
1005 if (c_dialect_cxx ()
1006 && flag_strong_eval_order == -1)
1007 flag_strong_eval_order = (cxx_dialect >= cxx17 ? 2 : 1);
1008
1009 /* Global sized deallocation is new in C++14. */
1010 if (flag_sized_deallocation == -1)
1011 flag_sized_deallocation = (cxx_dialect >= cxx14);
1012
1013 /* char8_t support is new in C++2A. */
1014 if (flag_char8_t == -1)
1015 flag_char8_t = (cxx_dialect >= cxx2a);
1016
1017 if (flag_extern_tls_init)
1018 {
1019 if (!TARGET_SUPPORTS_ALIASES || !SUPPORTS_WEAK)
1020 {
1021 /* Lazy TLS initialization for a variable in another TU requires
1022 alias and weak reference support. */
1023 if (flag_extern_tls_init > 0)
1024 sorry ("external TLS initialization functions not supported "
1025 "on this target");
1026
1027 flag_extern_tls_init = 0;
1028 }
1029 else
1030 flag_extern_tls_init = 1;
1031 }
1032
1033 /* Enable by default only for C++ and C++ with ObjC extensions. */
1034 if (warn_return_type == -1 && c_dialect_cxx ())
1035 warn_return_type = 1;
1036
1037 /* C++2a is the final version of concepts. We still use -fconcepts
1038 to know when concepts are enabled. Note that -fconcepts-ts can
1039 be used to include additional features, although modified to
1040 work with the standard. */
1041 if (cxx_dialect >= cxx2a)
1042 flag_concepts = 1;
1043 else if (flag_concepts)
1044 /* For -std=c++17 -fconcepts, imply -fconcepts-ts. */
1045 flag_concepts_ts = 1;
1046
1047 if (num_in_fnames > 1)
1048 error ("too many filenames given; type %<%s %s%> for usage",
1049 progname, "--help");
1050
1051 if (flag_preprocess_only)
1052 {
1053 /* Open the output now. We must do so even if flag_no_output is
1054 on, because there may be other output than from the actual
1055 preprocessing (e.g. from -dM). */
1056 if (out_fname[0] == '\0')
1057 out_stream = stdout;
1058 else
1059 out_stream = fopen (out_fname, "w");
1060
1061 if (out_stream == NULL)
1062 {
1063 fatal_error (input_location, "opening output file %s: %m", out_fname);
1064 return false;
1065 }
1066
1067 init_pp_output (out_stream);
1068 }
1069 else
1070 {
1071 init_c_lex ();
1072
1073 /* When writing a PCH file, avoid reading some other PCH file,
1074 because the default address space slot then can't be used
1075 for the output PCH file. */
1076 if (pch_file)
1077 {
1078 c_common_no_more_pch ();
1079 /* Only -g0 and -gdwarf* are supported with PCH, for other
1080 debug formats we warn here and refuse to load any PCH files. */
1081 if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG)
1082 warning (OPT_Wdeprecated,
1083 "the %qs debug format cannot be used with "
1084 "pre-compiled headers", debug_type_names[write_symbols]);
1085 }
1086 else if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG)
1087 c_common_no_more_pch ();
1088
1089 /* Yuk. WTF is this? I do know ObjC relies on it somewhere. */
1090 input_location = UNKNOWN_LOCATION;
1091 }
1092
1093 cb = cpp_get_callbacks (parse_in);
1094 cb->file_change = cb_file_change;
1095 cb->dir_change = cb_dir_change;
1096 cpp_post_options (parse_in);
1097 init_global_opts_from_cpp (&global_options, cpp_get_options (parse_in));
1098
1099 input_location = UNKNOWN_LOCATION;
1100
1101 *pfilename = this_input_filename
1102 = cpp_read_main_file (parse_in, in_fnames[0]);
1103 /* Don't do any compilation or preprocessing if there is no input file. */
1104 if (this_input_filename == NULL)
1105 {
1106 errorcount++;
1107 return false;
1108 }
1109
1110 if (flag_working_directory
1111 && flag_preprocess_only && !flag_no_line_commands)
1112 pp_dir_change (parse_in, get_src_pwd ());
1113
1114 /* Disable LTO output when outputting a precompiled header. */
1115 if (pch_file && flag_lto)
1116 {
1117 flag_lto = 0;
1118 flag_generate_lto = 0;
1119 }
1120
1121 return flag_preprocess_only;
1122 }
1123
1124 /* Front end initialization common to C, ObjC and C++. */
1125 bool
1126 c_common_init (void)
1127 {
1128 /* Set up preprocessor arithmetic. Must be done after call to
1129 c_common_nodes_and_builtins for type nodes to be good. */
1130 cpp_opts->precision = TYPE_PRECISION (intmax_type_node);
1131 cpp_opts->char_precision = TYPE_PRECISION (char_type_node);
1132 cpp_opts->int_precision = TYPE_PRECISION (integer_type_node);
1133 cpp_opts->wchar_precision = TYPE_PRECISION (wchar_type_node);
1134 cpp_opts->unsigned_wchar = TYPE_UNSIGNED (wchar_type_node);
1135 cpp_opts->bytes_big_endian = BYTES_BIG_ENDIAN;
1136
1137 /* This can't happen until after wchar_precision and bytes_big_endian
1138 are known. */
1139 cpp_init_iconv (parse_in);
1140
1141 if (version_flag)
1142 {
1143 int i;
1144 fputs ("Compiler executable checksum: ", stderr);
1145 for (i = 0; i < 16; i++)
1146 fprintf (stderr, "%02x", executable_checksum[i]);
1147 putc ('\n', stderr);
1148 }
1149
1150 /* Has to wait until now so that cpplib has its hash table. */
1151 init_pragma ();
1152
1153 if (flag_preprocess_only)
1154 {
1155 c_finish_options ();
1156 preprocess_file (parse_in);
1157 return false;
1158 }
1159
1160 return true;
1161 }
1162
1163 /* Initialize the integrated preprocessor after debug output has been
1164 initialized; loop over each input file. */
1165 void
1166 c_common_parse_file (void)
1167 {
1168 unsigned int i;
1169
1170 i = 0;
1171 for (;;)
1172 {
1173 c_finish_options ();
1174 /* Open the dump file to use for the original dump output
1175 here, to be used during parsing for the current file. */
1176 original_dump_file = dump_begin (TDI_original, &original_dump_flags);
1177 pch_init ();
1178 push_file_scope ();
1179 c_parse_file ();
1180 pop_file_scope ();
1181 /* And end the main input file, if the debug writer wants it */
1182 if (debug_hooks->start_end_main_source_file)
1183 (*debug_hooks->end_source_file) (0);
1184 if (++i >= num_in_fnames)
1185 break;
1186 cpp_undef_all (parse_in);
1187 cpp_clear_file_cache (parse_in);
1188 this_input_filename
1189 = cpp_read_main_file (parse_in, in_fnames[i]);
1190 if (original_dump_file)
1191 {
1192 dump_end (TDI_original, original_dump_file);
1193 original_dump_file = NULL;
1194 }
1195 /* If an input file is missing, abandon further compilation.
1196 cpplib has issued a diagnostic. */
1197 if (!this_input_filename)
1198 break;
1199 }
1200
1201 c_parse_final_cleanups ();
1202 }
1203
1204 /* Returns the appropriate dump file for PHASE to dump with FLAGS. */
1205
1206 FILE *
1207 get_dump_info (int phase, dump_flags_t *flags)
1208 {
1209 gcc_assert (phase == TDI_original);
1210
1211 *flags = original_dump_flags;
1212 return original_dump_file;
1213 }
1214
1215 /* Common finish hook for the C, ObjC and C++ front ends. */
1216 void
1217 c_common_finish (void)
1218 {
1219 FILE *deps_stream = NULL;
1220
1221 /* Note that we write the dependencies even if there are errors. This is
1222 useful for handling outdated generated headers that now trigger errors
1223 (for example, with #error) which would be resolved by re-generating
1224 them. In a sense, this complements -MG. */
1225 if (cpp_opts->deps.style != DEPS_NONE)
1226 {
1227 /* If -M or -MM was seen without -MF, default output to the
1228 output stream. */
1229 if (!deps_file)
1230 deps_stream = out_stream;
1231 else if (deps_file[0] == '-' && deps_file[1] == '\0')
1232 deps_stream = stdout;
1233 else
1234 {
1235 deps_stream = fopen (deps_file, deps_append ? "a": "w");
1236 if (!deps_stream)
1237 fatal_error (input_location, "opening dependency file %s: %m",
1238 deps_file);
1239 }
1240 }
1241
1242 /* For performance, avoid tearing down cpplib's internal structures
1243 with cpp_destroy (). */
1244 cpp_finish (parse_in, deps_stream);
1245
1246 if (deps_stream && deps_stream != out_stream && deps_stream != stdout
1247 && (ferror (deps_stream) || fclose (deps_stream)))
1248 fatal_error (input_location, "closing dependency file %s: %m", deps_file);
1249
1250 if (out_stream && (ferror (out_stream) || fclose (out_stream)))
1251 fatal_error (input_location, "when writing output to %s: %m", out_fname);
1252 }
1253
1254 /* Either of two environment variables can specify output of
1255 dependencies. Their value is either "OUTPUT_FILE" or "OUTPUT_FILE
1256 DEPS_TARGET", where OUTPUT_FILE is the file to write deps info to
1257 and DEPS_TARGET is the target to mention in the deps. They also
1258 result in dependency information being appended to the output file
1259 rather than overwriting it, and like Sun's compiler
1260 SUNPRO_DEPENDENCIES suppresses the dependency on the main file. */
1261 static void
1262 check_deps_environment_vars (void)
1263 {
1264 char *spec;
1265
1266 spec = getenv ("DEPENDENCIES_OUTPUT");
1267 if (spec)
1268 cpp_opts->deps.style = DEPS_USER;
1269 else
1270 {
1271 spec = getenv ("SUNPRO_DEPENDENCIES");
1272 if (spec)
1273 {
1274 cpp_opts->deps.style = DEPS_SYSTEM;
1275 cpp_opts->deps.ignore_main_file = true;
1276 }
1277 }
1278
1279 if (spec)
1280 {
1281 /* Find the space before the DEPS_TARGET, if there is one. */
1282 char *s = strchr (spec, ' ');
1283 if (s)
1284 {
1285 /* Let the caller perform MAKE quoting. */
1286 defer_opt (OPT_MT, s + 1);
1287 *s = '\0';
1288 }
1289
1290 /* Command line -MF overrides environment variables and default. */
1291 if (!deps_file)
1292 deps_file = spec;
1293
1294 deps_append = 1;
1295 deps_seen = true;
1296 }
1297 }
1298
1299 /* Handle deferred command line switches. */
1300 static void
1301 handle_deferred_opts (void)
1302 {
1303 /* Avoid allocating the deps buffer if we don't need it.
1304 (This flag may be true without there having been -MT or -MQ
1305 options, but we'll still need the deps buffer.) */
1306 if (!deps_seen)
1307 return;
1308
1309 mkdeps *deps = cpp_get_deps (parse_in);
1310
1311 for (size_t i = 0; i < deferred_count; i++)
1312 {
1313 struct deferred_opt *opt = &deferred_opts[i];
1314
1315 if (opt->code == OPT_MT || opt->code == OPT_MQ)
1316 deps_add_target (deps, opt->arg, opt->code == OPT_MQ);
1317 }
1318 }
1319
1320 /* These settings are appropriate for GCC, but not necessarily so for
1321 cpplib as a library. */
1322 static void
1323 sanitize_cpp_opts (void)
1324 {
1325 /* If we don't know what style of dependencies to output, complain
1326 if any other dependency switches have been given. */
1327 if (deps_seen && cpp_opts->deps.style == DEPS_NONE)
1328 error ("to generate dependencies you must specify either %<-M%> "
1329 "or %<-MM%>");
1330
1331 /* -dM and dependencies suppress normal output; do it here so that
1332 the last -d[MDN] switch overrides earlier ones. */
1333 if (flag_dump_macros == 'M')
1334 flag_no_output = 1;
1335
1336 /* By default, -fdirectives-only implies -dD. This allows subsequent phases
1337 to perform proper macro expansion. */
1338 if (cpp_opts->directives_only && !cpp_opts->preprocessed && !flag_dump_macros)
1339 flag_dump_macros = 'D';
1340
1341 /* Disable -dD, -dN and -dI if normal output is suppressed. Allow
1342 -dM since at least glibc relies on -M -dM to work. */
1343 /* Also, flag_no_output implies flag_no_line_commands, always. */
1344 if (flag_no_output)
1345 {
1346 if (flag_dump_macros != 'M')
1347 flag_dump_macros = 0;
1348 flag_dump_includes = 0;
1349 flag_no_line_commands = 1;
1350 }
1351 else if (cpp_opts->deps.missing_files)
1352 error ("%<-MG%> may only be used with %<-M%> or %<-MM%>");
1353
1354 cpp_opts->unsigned_char = !flag_signed_char;
1355 cpp_opts->stdc_0_in_system_headers = STDC_0_IN_SYSTEM_HEADERS;
1356
1357 /* Wlong-long is disabled by default. It is enabled by:
1358 [-Wpedantic | -Wtraditional] -std=[gnu|c]++98 ; or
1359 [-Wpedantic | -Wtraditional] -std=non-c99
1360
1361 Either -Wlong-long or -Wno-long-long override any other settings.
1362 ??? These conditions should be handled in c.opt. */
1363 if (warn_long_long == -1)
1364 {
1365 warn_long_long = ((pedantic || warn_traditional)
1366 && (c_dialect_cxx () ? cxx_dialect == cxx98 : !flag_isoc99));
1367 cpp_opts->cpp_warn_long_long = warn_long_long;
1368 }
1369
1370 /* If we're generating preprocessor output, emit current directory
1371 if explicitly requested or if debugging information is enabled.
1372 ??? Maybe we should only do it for debugging formats that
1373 actually output the current directory? */
1374 if (flag_working_directory == -1)
1375 flag_working_directory = (debug_info_level != DINFO_LEVEL_NONE);
1376
1377 if (warn_implicit_fallthrough < 5)
1378 cpp_opts->cpp_warn_implicit_fallthrough = warn_implicit_fallthrough;
1379 else
1380 cpp_opts->cpp_warn_implicit_fallthrough = 0;
1381
1382 if (cpp_opts->directives_only)
1383 {
1384 if (cpp_warn_unused_macros)
1385 error ("%<-fdirectives-only%> is incompatible "
1386 "with %<-Wunused-macros%>");
1387 if (cpp_opts->traditional)
1388 error ("%<-fdirectives-only%> is incompatible with %<-traditional%>");
1389 }
1390 }
1391
1392 /* Add include path with a prefix at the front of its name. */
1393 static void
1394 add_prefixed_path (const char *suffix, incpath_kind chain)
1395 {
1396 char *path;
1397 const char *prefix;
1398 size_t prefix_len, suffix_len;
1399
1400 suffix_len = strlen (suffix);
1401 prefix = iprefix ? iprefix : cpp_GCC_INCLUDE_DIR;
1402 prefix_len = iprefix ? strlen (iprefix) : cpp_GCC_INCLUDE_DIR_len;
1403
1404 path = (char *) xmalloc (prefix_len + suffix_len + 1);
1405 memcpy (path, prefix, prefix_len);
1406 memcpy (path + prefix_len, suffix, suffix_len);
1407 path[prefix_len + suffix_len] = '\0';
1408
1409 add_path (path, chain, 0, false);
1410 }
1411
1412 /* Handle -D, -U, -A, -imacros, and the first -include. */
1413 static void
1414 c_finish_options (void)
1415 {
1416 if (!cpp_opts->preprocessed)
1417 {
1418 const line_map_ordinary *bltin_map
1419 = linemap_check_ordinary (linemap_add (line_table, LC_RENAME, 0,
1420 _("<built-in>"), 0));
1421 cb_file_change (parse_in, bltin_map);
1422
1423 /* Make sure all of the builtins about to be declared have
1424 BUILTINS_LOCATION has their location_t. */
1425 cpp_force_token_locations (parse_in, BUILTINS_LOCATION);
1426
1427 cpp_init_builtins (parse_in, flag_hosted);
1428 c_cpp_builtins (parse_in);
1429
1430 /* We're about to send user input to cpplib, so make it warn for
1431 things that we previously (when we sent it internal definitions)
1432 told it to not warn.
1433
1434 C99 permits implementation-defined characters in identifiers.
1435 The documented meaning of -std= is to turn off extensions that
1436 conflict with the specified standard, and since a strictly
1437 conforming program cannot contain a '$', we do not condition
1438 their acceptance on the -std= setting. */
1439 cpp_opts->warn_dollars = (cpp_opts->cpp_pedantic && !cpp_opts->c99);
1440
1441 const line_map_ordinary *cmd_map
1442 = linemap_check_ordinary (linemap_add (line_table, LC_RENAME, 0,
1443 _("<command-line>"), 0));
1444 cb_file_change (parse_in, cmd_map);
1445
1446 /* All command line defines must have the same location. */
1447 cpp_force_token_locations (parse_in, cmd_map->start_location);
1448 for (size_t i = 0; i < deferred_count; i++)
1449 {
1450 struct deferred_opt *opt = &deferred_opts[i];
1451
1452 if (opt->code == OPT_D)
1453 cpp_define (parse_in, opt->arg);
1454 else if (opt->code == OPT_U)
1455 cpp_undef (parse_in, opt->arg);
1456 else if (opt->code == OPT_A)
1457 {
1458 if (opt->arg[0] == '-')
1459 cpp_unassert (parse_in, opt->arg + 1);
1460 else
1461 cpp_assert (parse_in, opt->arg);
1462 }
1463 }
1464
1465 cpp_stop_forcing_token_locations (parse_in);
1466 }
1467 else if (cpp_opts->directives_only)
1468 cpp_init_special_builtins (parse_in);
1469
1470 /* Start the main input file, if the debug writer wants it. */
1471 if (debug_hooks->start_end_main_source_file
1472 && !flag_preprocess_only)
1473 (*debug_hooks->start_source_file) (0, this_input_filename);
1474
1475 if (!cpp_opts->preprocessed)
1476 /* Handle -imacros after -D and -U. */
1477 for (size_t i = 0; i < deferred_count; i++)
1478 {
1479 struct deferred_opt *opt = &deferred_opts[i];
1480
1481 if (opt->code == OPT_imacros
1482 && cpp_push_include (parse_in, opt->arg))
1483 {
1484 /* Disable push_command_line_include callback for now. */
1485 include_cursor = deferred_count + 1;
1486 cpp_scan_nooutput (parse_in);
1487 }
1488 }
1489
1490 include_cursor = 0;
1491 push_command_line_include ();
1492 }
1493
1494 /* Give CPP the next file given by -include, if any. */
1495 static void
1496 push_command_line_include (void)
1497 {
1498 /* This can happen if disabled by -imacros for example.
1499 Punt so that we don't set "<command-line>" as the filename for
1500 the header. */
1501 if (include_cursor > deferred_count)
1502 return;
1503
1504 if (!done_preinclude)
1505 {
1506 done_preinclude = true;
1507 if (flag_hosted && std_inc && !cpp_opts->preprocessed)
1508 {
1509 const char *preinc = targetcm.c_preinclude ();
1510 if (preinc && cpp_push_default_include (parse_in, preinc))
1511 return;
1512 }
1513 }
1514
1515 pch_cpp_save_state ();
1516
1517 while (include_cursor < deferred_count)
1518 {
1519 struct deferred_opt *opt = &deferred_opts[include_cursor++];
1520
1521 if (!cpp_opts->preprocessed && opt->code == OPT_include
1522 && cpp_push_include (parse_in, opt->arg))
1523 return;
1524 }
1525
1526 if (include_cursor == deferred_count)
1527 {
1528 include_cursor++;
1529 /* -Wunused-macros should only warn about macros defined hereafter. */
1530 cpp_opts->warn_unused_macros = cpp_warn_unused_macros;
1531 /* Restore the line map back to the main file. */
1532 if (!cpp_opts->preprocessed)
1533 cpp_change_file (parse_in, LC_RENAME, this_input_filename);
1534
1535 /* Set this here so the client can change the option if it wishes,
1536 and after stacking the main file so we don't trace the main file. */
1537 line_table->trace_includes = cpp_opts->print_include_names;
1538 }
1539 }
1540
1541 /* File change callback. Has to handle -include files. */
1542 static void
1543 cb_file_change (cpp_reader * ARG_UNUSED (pfile),
1544 const line_map_ordinary *new_map)
1545 {
1546 if (flag_preprocess_only)
1547 pp_file_change (new_map);
1548 else
1549 fe_file_change (new_map);
1550
1551 if (new_map
1552 && (new_map->reason == LC_ENTER || new_map->reason == LC_RENAME))
1553 {
1554 /* Signal to plugins that a file is included. This could happen
1555 several times with the same file path, e.g. because of
1556 several '#include' or '#line' directives... */
1557 invoke_plugin_callbacks
1558 (PLUGIN_INCLUDE_FILE,
1559 const_cast<char*> (ORDINARY_MAP_FILE_NAME (new_map)));
1560 }
1561
1562 if (new_map == 0 || (new_map->reason == LC_LEAVE && MAIN_FILE_P (new_map)))
1563 {
1564 pch_cpp_save_state ();
1565 push_command_line_include ();
1566 }
1567 }
1568
1569 void
1570 cb_dir_change (cpp_reader * ARG_UNUSED (pfile), const char *dir)
1571 {
1572 if (!set_src_pwd (dir))
1573 warning (0, "too late for # directive to set debug directory");
1574 }
1575
1576 /* Set the C 89 standard (with 1994 amendments if C94, without GNU
1577 extensions if ISO). There is no concept of gnu94. */
1578 static void
1579 set_std_c89 (int c94, int iso)
1580 {
1581 cpp_set_lang (parse_in, c94 ? CLK_STDC94: iso ? CLK_STDC89: CLK_GNUC89);
1582 flag_iso = iso;
1583 flag_no_asm = iso;
1584 flag_no_gnu_keywords = iso;
1585 flag_no_nonansi_builtin = iso;
1586 flag_isoc94 = c94;
1587 flag_isoc99 = 0;
1588 flag_isoc11 = 0;
1589 flag_isoc2x = 0;
1590 lang_hooks.name = "GNU C89";
1591 }
1592
1593 /* Set the C 99 standard (without GNU extensions if ISO). */
1594 static void
1595 set_std_c99 (int iso)
1596 {
1597 cpp_set_lang (parse_in, iso ? CLK_STDC99: CLK_GNUC99);
1598 flag_no_asm = iso;
1599 flag_no_nonansi_builtin = iso;
1600 flag_iso = iso;
1601 flag_isoc2x = 0;
1602 flag_isoc11 = 0;
1603 flag_isoc99 = 1;
1604 flag_isoc94 = 1;
1605 lang_hooks.name = "GNU C99";
1606 }
1607
1608 /* Set the C 11 standard (without GNU extensions if ISO). */
1609 static void
1610 set_std_c11 (int iso)
1611 {
1612 cpp_set_lang (parse_in, iso ? CLK_STDC11: CLK_GNUC11);
1613 flag_no_asm = iso;
1614 flag_no_nonansi_builtin = iso;
1615 flag_iso = iso;
1616 flag_isoc2x = 0;
1617 flag_isoc11 = 1;
1618 flag_isoc99 = 1;
1619 flag_isoc94 = 1;
1620 lang_hooks.name = "GNU C11";
1621 }
1622
1623 /* Set the C 17 standard (without GNU extensions if ISO). */
1624 static void
1625 set_std_c17 (int iso)
1626 {
1627 cpp_set_lang (parse_in, iso ? CLK_STDC17: CLK_GNUC17);
1628 flag_no_asm = iso;
1629 flag_no_nonansi_builtin = iso;
1630 flag_iso = iso;
1631 flag_isoc2x = 0;
1632 flag_isoc11 = 1;
1633 flag_isoc99 = 1;
1634 flag_isoc94 = 1;
1635 lang_hooks.name = "GNU C17";
1636 }
1637
1638 /* Set the C 2X standard (without GNU extensions if ISO). */
1639 static void
1640 set_std_c2x (int iso)
1641 {
1642 cpp_set_lang (parse_in, iso ? CLK_STDC2X: CLK_GNUC2X);
1643 flag_no_asm = iso;
1644 flag_no_nonansi_builtin = iso;
1645 flag_iso = iso;
1646 flag_isoc2x = 1;
1647 flag_isoc11 = 1;
1648 flag_isoc99 = 1;
1649 flag_isoc94 = 1;
1650 lang_hooks.name = "GNU C2X";
1651 }
1652
1653
1654 /* Set the C++ 98 standard (without GNU extensions if ISO). */
1655 static void
1656 set_std_cxx98 (int iso)
1657 {
1658 cpp_set_lang (parse_in, iso ? CLK_CXX98: CLK_GNUCXX);
1659 flag_no_gnu_keywords = iso;
1660 flag_no_nonansi_builtin = iso;
1661 flag_iso = iso;
1662 flag_isoc94 = 0;
1663 flag_isoc99 = 0;
1664 cxx_dialect = cxx98;
1665 lang_hooks.name = "GNU C++98";
1666 }
1667
1668 /* Set the C++ 2011 standard (without GNU extensions if ISO). */
1669 static void
1670 set_std_cxx11 (int iso)
1671 {
1672 cpp_set_lang (parse_in, iso ? CLK_CXX11: CLK_GNUCXX11);
1673 flag_no_gnu_keywords = iso;
1674 flag_no_nonansi_builtin = iso;
1675 flag_iso = iso;
1676 /* C++11 includes the C99 standard library. */
1677 flag_isoc94 = 1;
1678 flag_isoc99 = 1;
1679 cxx_dialect = cxx11;
1680 lang_hooks.name = "GNU C++11";
1681 }
1682
1683 /* Set the C++ 2014 standard (without GNU extensions if ISO). */
1684 static void
1685 set_std_cxx14 (int iso)
1686 {
1687 cpp_set_lang (parse_in, iso ? CLK_CXX14: CLK_GNUCXX14);
1688 flag_no_gnu_keywords = iso;
1689 flag_no_nonansi_builtin = iso;
1690 flag_iso = iso;
1691 /* C++14 includes the C99 standard library. */
1692 flag_isoc94 = 1;
1693 flag_isoc99 = 1;
1694 cxx_dialect = cxx14;
1695 lang_hooks.name = "GNU C++14";
1696 }
1697
1698 /* Set the C++ 2017 standard (without GNU extensions if ISO). */
1699 static void
1700 set_std_cxx17 (int iso)
1701 {
1702 cpp_set_lang (parse_in, iso ? CLK_CXX17: CLK_GNUCXX17);
1703 flag_no_gnu_keywords = iso;
1704 flag_no_nonansi_builtin = iso;
1705 flag_iso = iso;
1706 /* C++17 includes the C11 standard library. */
1707 flag_isoc94 = 1;
1708 flag_isoc99 = 1;
1709 flag_isoc11 = 1;
1710 cxx_dialect = cxx17;
1711 lang_hooks.name = "GNU C++17";
1712 }
1713
1714 /* Set the C++ 202a draft standard (without GNU extensions if ISO). */
1715 static void
1716 set_std_cxx2a (int iso)
1717 {
1718 cpp_set_lang (parse_in, iso ? CLK_CXX2A: CLK_GNUCXX2A);
1719 flag_no_gnu_keywords = iso;
1720 flag_no_nonansi_builtin = iso;
1721 flag_iso = iso;
1722 /* C++17 includes the C11 standard library. */
1723 flag_isoc94 = 1;
1724 flag_isoc99 = 1;
1725 flag_isoc11 = 1;
1726 /* C++2a includes concepts. */
1727 cxx_dialect = cxx2a;
1728 lang_hooks.name = "GNU C++17"; /* Pretend C++17 until standardization. */
1729 }
1730
1731 /* Args to -d specify what to dump. Silently ignore
1732 unrecognized options; they may be aimed at toplev.c. */
1733 static void
1734 handle_OPT_d (const char *arg)
1735 {
1736 char c;
1737
1738 while ((c = *arg++) != '\0')
1739 switch (c)
1740 {
1741 case 'M': /* Dump macros only. */
1742 case 'N': /* Dump names. */
1743 case 'D': /* Dump definitions. */
1744 case 'U': /* Dump used macros. */
1745 flag_dump_macros = c;
1746 break;
1747
1748 case 'I':
1749 flag_dump_includes = 1;
1750 break;
1751 }
1752 }