1 /* C/ObjC/C++ command line option handling.
2 Copyright (C) 2002-2017 Free Software Foundation, Inc.
3 Contributed by Neil Booth.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
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
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/>. */
23 #include "coretypes.h"
28 #include "tm_p.h" /* For C_COMMON_OVERRIDE_OPTIONS. */
29 #include "diagnostic.h"
33 #include "langhooks.h"
34 #include "tree-diagnostic.h" /* for virt_loc_aware_diagnostic_finalizer */
36 #include "cppdefault.h"
38 #include "debug.h" /* For debug_hooks. */
40 #include "plugin.h" /* For PLUGIN_INCLUDE_FILE event. */
44 #ifndef DOLLARS_IN_IDENTIFIERS
45 # define DOLLARS_IN_IDENTIFIERS true
48 #ifndef TARGET_SYSTEM_ROOT
49 # define TARGET_SYSTEM_ROOT NULL
53 #define TARGET_OPTF(ARG)
57 cpp_options
*cpp_opts
;
60 static const char *this_input_filename
;
62 /* Filename and stream for preprocessed output. */
63 static const char *out_fname
;
64 static FILE *out_stream
;
66 /* Append dependencies to deps_file. */
67 static bool deps_append
;
69 /* If dependency switches (-MF etc.) have been given. */
70 static bool deps_seen
;
75 /* Dependency output file. */
76 static const char *deps_file
;
78 /* The prefix given by -iprefix, if any. */
79 static const char *iprefix
;
81 /* The multilib directory given by -imultilib, if any. */
82 static const char *imultilib
;
84 /* The system root, if any. Overridden by -isysroot. */
85 static const char *sysroot
= TARGET_SYSTEM_ROOT
;
87 /* Zero disables all standard directories for headers. */
88 static bool std_inc
= true;
90 /* Zero disables the C++-specific standard directories for headers. */
91 static bool std_cxx_inc
= true;
93 /* If the quote chain has been split by -I-. */
94 static bool quote_chain_split
;
96 /* Number of deferred options. */
97 static size_t deferred_count
;
99 /* Number of deferred options scanned for -include. */
100 static size_t include_cursor
;
102 /* Dump files/flags to use during parsing. */
103 static FILE *original_dump_file
= NULL
;
104 static dump_flags_t original_dump_flags
;
106 /* Whether any standard preincluded header has been preincluded. */
107 static bool done_preinclude
;
109 static void handle_OPT_d (const char *);
110 static void set_std_cxx98 (int);
111 static void set_std_cxx11 (int);
112 static void set_std_cxx14 (int);
113 static void set_std_cxx17 (int);
114 static void set_std_cxx2a (int);
115 static void set_std_c89 (int, int);
116 static void set_std_c99 (int);
117 static void set_std_c11 (int);
118 static void set_std_c17 (int);
119 static void check_deps_environment_vars (void);
120 static void handle_deferred_opts (void);
121 static void sanitize_cpp_opts (void);
122 static void add_prefixed_path (const char *, incpath_kind
);
123 static void push_command_line_include (void);
124 static void cb_file_change (cpp_reader
*, const line_map_ordinary
*);
125 static void cb_dir_change (cpp_reader
*, const char *);
126 static void c_finish_options (void);
128 #ifndef STDC_0_IN_SYSTEM_HEADERS
129 #define STDC_0_IN_SYSTEM_HEADERS 0
132 /* Holds switches parsed by c_common_handle_option (), but whose
133 handling is deferred to c_common_post_options (). */
134 static void defer_opt (enum opt_code
, const char *);
135 static struct deferred_opt
142 extern const unsigned int
143 c_family_lang_mask
= (CL_C
| CL_CXX
| CL_ObjC
| CL_ObjCXX
);
145 /* Defer option CODE with argument ARG. */
147 defer_opt (enum opt_code code
, const char *arg
)
149 deferred_opts
[deferred_count
].code
= code
;
150 deferred_opts
[deferred_count
].arg
= arg
;
154 /* Return language mask for option parsing. */
156 c_common_option_lang_mask (void)
158 static const unsigned int lang_flags
[] = {CL_C
, CL_ObjC
, CL_CXX
, CL_ObjCXX
};
160 return lang_flags
[c_language
];
163 /* Diagnostic finalizer for C/C++/Objective-C/Objective-C++. */
165 c_diagnostic_finalizer (diagnostic_context
*context
,
166 diagnostic_info
*diagnostic
)
168 diagnostic_show_locus (context
, diagnostic
->richloc
, diagnostic
->kind
);
169 /* By default print macro expansion contexts in the diagnostic
170 finalizer -- for tokens resulting from macro expansion. */
171 virt_loc_aware_diagnostic_finalizer (context
, diagnostic
);
172 pp_destroy_prefix (context
->printer
);
173 pp_flush (context
->printer
);
176 /* Common default settings for diagnostics. */
178 c_common_diagnostics_set_defaults (diagnostic_context
*context
)
180 diagnostic_finalizer (context
) = c_diagnostic_finalizer
;
181 context
->opt_permissive
= OPT_fpermissive
;
184 /* Whether options from all C-family languages should be accepted
186 static bool accept_all_c_family_options
= false;
188 /* Return whether to complain about a wrong-language option. */
190 c_common_complain_wrong_lang_p (const struct cl_option
*option
)
192 if (accept_all_c_family_options
193 && (option
->flags
& c_family_lang_mask
))
199 /* Initialize options structure OPTS. */
201 c_common_init_options_struct (struct gcc_options
*opts
)
203 opts
->x_flag_exceptions
= c_dialect_cxx ();
204 opts
->x_warn_pointer_arith
= c_dialect_cxx ();
205 opts
->x_warn_write_strings
= c_dialect_cxx ();
206 opts
->x_flag_warn_unused_result
= true;
208 /* By default, C99-like requirements for complex multiply and divide. */
209 opts
->x_flag_complex_method
= 2;
212 /* Common initialization before calling option handlers. */
214 c_common_init_options (unsigned int decoded_options_count
,
215 struct cl_decoded_option
*decoded_options
)
218 struct cpp_callbacks
*cb
;
221 = new (ggc_alloc
<string_concat_db
> ()) string_concat_db ();
223 parse_in
= cpp_create_reader (c_dialect_cxx () ? CLK_GNUCXX
: CLK_GNUC89
,
224 ident_hash
, line_table
);
225 cb
= cpp_get_callbacks (parse_in
);
226 cb
->error
= c_cpp_error
;
228 cpp_opts
= cpp_get_options (parse_in
);
229 cpp_opts
->dollars_in_ident
= DOLLARS_IN_IDENTIFIERS
;
230 cpp_opts
->objc
= c_dialect_objc ();
232 /* Reset to avoid warnings on internal definitions. We set it just
233 before passing on command-line options to cpplib. */
234 cpp_opts
->warn_dollars
= 0;
236 deferred_opts
= XNEWVEC (struct deferred_opt
, decoded_options_count
);
238 if (c_language
== clk_c
)
240 /* The default for C is gnu17. */
241 set_std_c17 (false /* ISO */);
243 /* If preprocessing assembly language, accept any of the C-family
244 front end options since the driver may pass them through. */
245 for (i
= 1; i
< decoded_options_count
; i
++)
246 if (decoded_options
[i
].opt_index
== OPT_lang_asm
)
248 accept_all_c_family_options
= true;
253 /* Set C++ standard to C++14 if not specified on the command line. */
254 if (c_dialect_cxx ())
255 set_std_cxx14 (/*ISO*/false);
257 global_dc
->colorize_source_p
= true;
260 /* Handle switch SCODE with argument ARG. VALUE is true, unless no-
261 form of an -f or -W option was given. Returns false if the switch was
262 invalid, true if valid. Use HANDLERS in recursive handle_option calls. */
264 c_common_handle_option (size_t scode
, const char *arg
, int value
,
265 int kind
, location_t loc
,
266 const struct cl_option_handlers
*handlers
)
268 const struct cl_option
*option
= &cl_options
[scode
];
269 enum opt_code code
= (enum opt_code
) scode
;
272 /* Prevent resetting the language standard to a C dialect when the driver
273 has already determined that we're looking at assembler input. */
274 bool preprocessing_asm_p
= (cpp_get_options (parse_in
)->lang
== CLK_ASM
);
279 if (cl_options
[code
].flags
& c_family_lang_mask
)
281 if ((option
->flags
& CL_TARGET
)
282 && ! targetcm
.handle_c_option (scode
, arg
, value
))
289 case OPT__output_pch_
:
294 defer_opt (code
, arg
);
298 cpp_opts
->discard_comments
= 0;
302 cpp_opts
->discard_comments
= 0;
303 cpp_opts
->discard_comments_in_macro_exp
= 0;
307 defer_opt (code
, arg
);
311 cpp_opts
->print_include_names
= 1;
315 TARGET_OPTF (xstrdup (arg
));
319 if (strcmp (arg
, "-"))
320 add_path (xstrdup (arg
), INC_BRACKET
, 0, true);
323 if (quote_chain_split
)
324 error ("-I- specified twice");
325 quote_chain_split
= true;
326 split_quote_chain ();
327 inform (input_location
, "obsolete option -I- used, please use -iquote instead");
333 /* When doing dependencies with -M or -MM, suppress normal
334 preprocessed output, but still do -dM etc. as software
335 depends on this. Preprocessed output does occur if -MD, -MMD
336 or environment var dependency generation is used. */
337 cpp_opts
->deps
.style
= (code
== OPT_M
? DEPS_SYSTEM
: DEPS_USER
);
343 cpp_opts
->deps
.style
= (code
== OPT_MD
? DEPS_SYSTEM
: DEPS_USER
);
344 cpp_opts
->deps
.need_preprocessor_output
= true;
355 cpp_opts
->deps
.missing_files
= true;
360 cpp_opts
->deps
.phony_targets
= true;
366 defer_opt (code
, arg
);
370 flag_no_line_commands
= 1;
374 defer_opt (code
, arg
);
378 /* ??? Don't add new options here. Use LangEnabledBy in c.opt. */
380 cpp_opts
->warn_num_sign_change
= value
;
383 case OPT_Walloca_larger_than_
:
385 inform (loc
, "-Walloca-larger-than=0 is meaningless");
388 case OPT_Wvla_larger_than_
:
390 inform (loc
, "-Wvla-larger-than=0 is meaningless");
393 case OPT_Wunknown_pragmas
:
394 /* Set to greater than 1, so that even unknown pragmas in
395 system headers will be warned about. */
396 /* ??? There is no way to handle this automatically for now. */
397 warn_unknown_pragmas
= value
* 2;
401 if (!c_dialect_cxx ())
402 set_std_c89 (false, true);
404 set_std_cxx98 (true);
415 warning (0, "%<-Wabi=1%> is not supported, using =2");
418 warn_abi_version
= value
;
419 if (flag_abi_compat_version
== -1)
420 flag_abi_compat_version
= value
;
423 case OPT_fcanonical_system_headers
:
424 cpp_opts
->canonical_system_headers
= value
;
427 case OPT_fcond_mismatch
:
428 if (!c_dialect_cxx ())
430 flag_cond_mismatch
= value
;
433 warning (0, "switch %qs is no longer supported", option
->opt_text
);
440 disable_builtin_function (arg
);
443 case OPT_fdirectives_only
:
444 cpp_opts
->directives_only
= value
;
447 case OPT_fdollars_in_identifiers
:
448 cpp_opts
->dollars_in_ident
= value
;
451 case OPT_ffreestanding
:
456 flag_no_builtin
= !value
;
459 case OPT_fconstant_string_class_
:
460 constant_string_class_name
= arg
;
463 case OPT_fextended_identifiers
:
464 cpp_opts
->extended_identifiers
= value
;
467 case OPT_foperator_names
:
468 cpp_opts
->operator_names
= value
;
472 cpp_opts
->restore_pch_deps
= value
;
475 case OPT_fpch_preprocess
:
476 flag_pch_preprocess
= value
;
479 case OPT_fpermissive
:
480 flag_permissive
= value
;
481 global_dc
->permissive
= value
;
484 case OPT_fpreprocessed
:
485 cpp_opts
->preprocessed
= value
;
492 case OPT_ftrack_macro_expansion
:
497 case OPT_ftrack_macro_expansion_
:
498 if (arg
&& *arg
!= '\0')
499 cpp_opts
->track_macro_expansion
= value
;
501 cpp_opts
->track_macro_expansion
= 2;
505 flag_use_repository
= value
;
507 flag_implicit_templates
= 0;
511 /* It is documented that we silently ignore silly values. */
512 if (value
>= 1 && value
<= 100)
513 cpp_opts
->tabstop
= value
;
516 case OPT_fexec_charset_
:
517 cpp_opts
->narrow_charset
= arg
;
520 case OPT_fwide_exec_charset_
:
521 cpp_opts
->wide_charset
= arg
;
524 case OPT_finput_charset_
:
525 cpp_opts
->input_charset
= arg
;
528 case OPT_ftemplate_depth_
:
529 max_tinst_depth
= value
;
532 case OPT_fvisibility_inlines_hidden
:
533 visibility_options
.inlines_hidden
= value
;
536 case OPT_femit_struct_debug_baseonly
:
537 set_struct_debug_option (&global_options
, loc
, "base");
540 case OPT_femit_struct_debug_reduced
:
541 set_struct_debug_option (&global_options
, loc
,
542 "dir:ord:sys,dir:gen:any,ind:base");
545 case OPT_femit_struct_debug_detailed_
:
546 set_struct_debug_option (&global_options
, loc
, arg
);
549 case OPT_fext_numeric_literals
:
550 cpp_opts
->ext_numeric_literals
= value
;
554 add_path (xstrdup (arg
), INC_AFTER
, 0, true);
559 defer_opt (code
, arg
);
571 add_path (xstrdup (arg
), INC_QUOTE
, 0, true);
579 add_path (xstrdup (arg
), INC_SYSTEM
, 0, true);
582 case OPT_iwithprefix
:
583 add_prefixed_path (arg
, INC_SYSTEM
);
586 case OPT_iwithprefixbefore
:
587 add_prefixed_path (arg
, INC_BRACKET
);
591 cpp_set_lang (parse_in
, CLK_ASM
);
592 cpp_opts
->dollars_in_ident
= false;
607 error ("output filename specified twice");
610 case OPT_print_objc_runtime_info
:
611 print_struct_values
= 1;
619 case OPT_std_gnu__98
:
620 if (!preprocessing_asm_p
)
621 set_std_cxx98 (code
== OPT_std_c__98
/* ISO */);
625 case OPT_std_gnu__11
:
626 if (!preprocessing_asm_p
)
627 set_std_cxx11 (code
== OPT_std_c__11
/* ISO */);
631 case OPT_std_gnu__14
:
632 if (!preprocessing_asm_p
)
633 set_std_cxx14 (code
== OPT_std_c__14
/* ISO */);
637 case OPT_std_gnu__17
:
638 if (!preprocessing_asm_p
)
639 set_std_cxx17 (code
== OPT_std_c__17
/* ISO */);
643 case OPT_std_gnu__2a
:
644 if (!preprocessing_asm_p
)
645 set_std_cxx2a (code
== OPT_std_c__2a
/* ISO */);
649 case OPT_std_iso9899_199409
:
650 if (!preprocessing_asm_p
)
651 set_std_c89 (code
== OPT_std_iso9899_199409
/* c94 */, true /* ISO */);
655 if (!preprocessing_asm_p
)
656 set_std_c89 (false /* c94 */, false /* ISO */);
660 if (!preprocessing_asm_p
)
661 set_std_c99 (true /* ISO */);
665 if (!preprocessing_asm_p
)
666 set_std_c99 (false /* ISO */);
670 if (!preprocessing_asm_p
)
671 set_std_c11 (true /* ISO */);
675 if (!preprocessing_asm_p
)
676 set_std_c11 (false /* ISO */);
680 if (!preprocessing_asm_p
)
681 set_std_c17 (true /* ISO */);
685 if (!preprocessing_asm_p
)
686 set_std_c17 (false /* ISO */);
690 cpp_opts
->trigraphs
= 1;
693 case OPT_traditional_cpp
:
694 cpp_opts
->traditional
= 1;
705 C_handle_option_auto (&global_options
, &global_options_set
,
707 c_family_lang_mask
, kind
,
708 loc
, handlers
, global_dc
);
712 ObjC_handle_option_auto (&global_options
, &global_options_set
,
714 c_family_lang_mask
, kind
,
715 loc
, handlers
, global_dc
);
719 CXX_handle_option_auto (&global_options
, &global_options_set
,
721 c_family_lang_mask
, kind
,
722 loc
, handlers
, global_dc
);
726 ObjCXX_handle_option_auto (&global_options
, &global_options_set
,
728 c_family_lang_mask
, kind
,
729 loc
, handlers
, global_dc
);
736 cpp_handle_option_auto (&global_options
, scode
, cpp_opts
);
740 /* Default implementation of TARGET_HANDLE_C_OPTION. */
743 default_handle_c_option (size_t code ATTRIBUTE_UNUSED
,
744 const char *arg ATTRIBUTE_UNUSED
,
745 int value ATTRIBUTE_UNUSED
)
750 /* Post-switch processing. */
752 c_common_post_options (const char **pfilename
)
754 struct cpp_callbacks
*cb
;
756 /* Canonicalize the input and output filenames. */
757 if (in_fnames
== NULL
)
759 in_fnames
= XNEWVEC (const char *, 1);
762 else if (strcmp (in_fnames
[0], "-") == 0)
765 error ("cannot use %<-%> as input filename for a precompiled header");
770 if (out_fname
== NULL
|| !strcmp (out_fname
, "-"))
773 if (cpp_opts
->deps
.style
== DEPS_NONE
)
774 check_deps_environment_vars ();
776 handle_deferred_opts ();
778 sanitize_cpp_opts ();
780 register_include_chains (parse_in
, sysroot
, iprefix
, imultilib
,
781 std_inc
, std_cxx_inc
&& c_dialect_cxx (), verbose
);
783 #ifdef C_COMMON_OVERRIDE_OPTIONS
784 /* Some machines may reject certain combinations of C
785 language-specific options. */
786 C_COMMON_OVERRIDE_OPTIONS
;
789 /* Excess precision other than "fast" requires front-end
791 if (c_dialect_cxx ())
793 if (flag_excess_precision_cmdline
== EXCESS_PRECISION_STANDARD
)
794 sorry ("-fexcess-precision=standard for C++");
795 flag_excess_precision_cmdline
= EXCESS_PRECISION_FAST
;
797 else if (flag_excess_precision_cmdline
== EXCESS_PRECISION_DEFAULT
)
798 flag_excess_precision_cmdline
= (flag_iso
799 ? EXCESS_PRECISION_STANDARD
800 : EXCESS_PRECISION_FAST
);
802 /* ISO C restricts floating-point expression contraction to within
803 source-language expressions (-ffp-contract=on, currently an alias
804 for -ffp-contract=off). */
807 && (global_options_set
.x_flag_fp_contract_mode
808 == (enum fp_contract_mode
) 0)
809 && flag_unsafe_math_optimizations
== 0)
810 flag_fp_contract_mode
= FP_CONTRACT_OFF
;
812 /* If we are compiling C, and we are outside of a standards mode,
813 we can permit the new values from ISO/IEC TS 18661-3 for
814 FLT_EVAL_METHOD. Otherwise, we must restrict the possible values to
815 the set specified in ISO C99/C11. */
818 && (global_options_set
.x_flag_permitted_flt_eval_methods
819 == PERMITTED_FLT_EVAL_METHODS_DEFAULT
))
820 flag_permitted_flt_eval_methods
= PERMITTED_FLT_EVAL_METHODS_TS_18661
;
822 flag_permitted_flt_eval_methods
= PERMITTED_FLT_EVAL_METHODS_C11
;
824 /* By default we use C99 inline semantics in GNU99 or C99 mode. C99
825 inline semantics are not supported in GNU89 or C89 mode. */
826 if (flag_gnu89_inline
== -1)
827 flag_gnu89_inline
= !flag_isoc99
;
828 else if (!flag_gnu89_inline
&& !flag_isoc99
)
829 error ("-fno-gnu89-inline is only supported in GNU99 or C99 mode");
831 /* Default to ObjC sjlj exception handling if NeXT runtime. */
832 if (flag_objc_sjlj_exceptions
< 0)
833 flag_objc_sjlj_exceptions
= flag_next_runtime
;
834 if (flag_objc_exceptions
&& !flag_objc_sjlj_exceptions
)
837 /* If -ffreestanding, -fno-hosted or -fno-builtin then disable
838 pattern recognition. */
839 if (!global_options_set
.x_flag_tree_loop_distribute_patterns
841 flag_tree_loop_distribute_patterns
= 0;
843 /* -Woverlength-strings is off by default, but is enabled by -Wpedantic.
844 It is never enabled in C++, as the minimum limit is not normative
846 if (c_dialect_cxx ())
847 warn_overlength_strings
= 0;
849 /* Wmain is enabled by default in C++ but not in C. */
850 /* Wmain is disabled by default for -ffreestanding (!flag_hosted),
851 even if -Wall or -Wpedantic was given (warn_main will be 2 if set
852 by -Wall, 1 if set by -Wmain). */
854 warn_main
= (c_dialect_cxx () && flag_hosted
) ? 1 : 0;
855 else if (warn_main
== 2)
856 warn_main
= flag_hosted
? 1 : 0;
858 /* In C, -Wall and -Wc++-compat enable -Wenum-compare; if it has not
859 yet been set, it is disabled by default. In C++, it is enabled
861 if (warn_enum_compare
== -1)
862 warn_enum_compare
= c_dialect_cxx () ? 1 : 0;
864 /* -Wpacked-bitfield-compat is on by default for the C languages. The
865 warning is issued in stor-layout.c which is not part of the front-end so
866 we need to selectively turn it on here. */
867 if (warn_packed_bitfield_compat
== -1)
868 warn_packed_bitfield_compat
= 1;
870 /* Special format checking options don't work without -Wformat; warn if
874 warning (OPT_Wformat_y2k
,
875 "-Wformat-y2k ignored without -Wformat");
876 warning (OPT_Wformat_extra_args
,
877 "-Wformat-extra-args ignored without -Wformat");
878 warning (OPT_Wformat_zero_length
,
879 "-Wformat-zero-length ignored without -Wformat");
880 warning (OPT_Wformat_nonliteral
,
881 "-Wformat-nonliteral ignored without -Wformat");
882 warning (OPT_Wformat_contains_nul
,
883 "-Wformat-contains-nul ignored without -Wformat");
884 warning (OPT_Wformat_security
,
885 "-Wformat-security ignored without -Wformat");
888 /* -Wimplicit-function-declaration is enabled by default for C99. */
889 if (warn_implicit_function_declaration
== -1)
890 warn_implicit_function_declaration
= flag_isoc99
;
892 /* -Wimplicit-int is enabled by default for C99. */
893 if (warn_implicit_int
== -1)
894 warn_implicit_int
= flag_isoc99
;
896 /* -Wshift-overflow is enabled by default in C99 and C++11 modes. */
897 if (warn_shift_overflow
== -1)
898 warn_shift_overflow
= cxx_dialect
>= cxx11
|| flag_isoc99
;
900 /* -Wshift-negative-value is enabled by -Wextra in C99 and C++11 modes. */
901 if (warn_shift_negative_value
== -1)
902 warn_shift_negative_value
= (extra_warnings
903 && (cxx_dialect
>= cxx11
|| flag_isoc99
));
905 /* -Wregister is enabled by default in C++17. */
906 if (!global_options_set
.x_warn_register
)
907 warn_register
= cxx_dialect
>= cxx17
;
909 /* Declone C++ 'structors if -Os. */
910 if (flag_declone_ctor_dtor
== -1)
911 flag_declone_ctor_dtor
= optimize_size
;
913 if (warn_abi_version
== -1)
915 if (flag_abi_compat_version
!= -1)
916 warn_abi_version
= flag_abi_compat_version
;
918 warn_abi_version
= 0;
921 if (flag_abi_compat_version
== 1)
923 warning (0, "%<-fabi-compat-version=1%> is not supported, using =2");
924 flag_abi_compat_version
= 2;
926 else if (flag_abi_compat_version
== -1)
928 /* Generate compatibility aliases for ABI v11 (7.1) by default. */
929 flag_abi_compat_version
930 = (flag_abi_version
== 0 ? 11 : 0);
933 /* Change flag_abi_version to be the actual current ABI level for the
934 benefit of c_cpp_builtins. */
935 if (flag_abi_version
== 0)
936 flag_abi_version
= 12;
938 /* By default, enable the new inheriting constructor semantics along with ABI
939 11. New and old should coexist fine, but it is a change in what
940 artificial symbols are generated. */
941 if (!global_options_set
.x_flag_new_inheriting_ctors
)
942 flag_new_inheriting_ctors
= abi_version_at_least (11);
944 /* For GCC 7, only enable DR150 resolution by default if -std=c++17. */
945 if (!global_options_set
.x_flag_new_ttp
)
946 flag_new_ttp
= (cxx_dialect
>= cxx17
);
948 if (cxx_dialect
>= cxx11
)
950 /* If we're allowing C++0x constructs, don't warn about C++98
951 identifiers which are keywords in C++0x. */
952 warn_cxx11_compat
= 0;
953 cpp_opts
->cpp_warn_cxx11_compat
= 0;
955 if (warn_narrowing
== -1)
958 /* Unless -f{,no-}ext-numeric-literals has been used explicitly,
959 for -std=c++{11,14,17,2a} default to -fno-ext-numeric-literals. */
960 if (flag_iso
&& !global_options_set
.x_flag_ext_numeric_literals
)
961 cpp_opts
->ext_numeric_literals
= 0;
963 else if (warn_narrowing
== -1)
966 /* C++17 has stricter evaluation order requirements; let's use some of them
967 for earlier C++ as well, so chaining works as expected. */
969 && flag_strong_eval_order
== -1)
970 flag_strong_eval_order
= (cxx_dialect
>= cxx17
? 2 : 1);
972 /* Global sized deallocation is new in C++14. */
973 if (flag_sized_deallocation
== -1)
974 flag_sized_deallocation
= (cxx_dialect
>= cxx14
);
976 if (flag_extern_tls_init
)
978 if (!TARGET_SUPPORTS_ALIASES
|| !SUPPORTS_WEAK
)
980 /* Lazy TLS initialization for a variable in another TU requires
981 alias and weak reference support. */
982 if (flag_extern_tls_init
> 0)
983 sorry ("external TLS initialization functions not supported "
986 flag_extern_tls_init
= 0;
989 flag_extern_tls_init
= 1;
992 if (num_in_fnames
> 1)
993 error ("too many filenames given. Type %s --help for usage",
996 if (flag_preprocess_only
)
998 /* Open the output now. We must do so even if flag_no_output is
999 on, because there may be other output than from the actual
1000 preprocessing (e.g. from -dM). */
1001 if (out_fname
[0] == '\0')
1002 out_stream
= stdout
;
1004 out_stream
= fopen (out_fname
, "w");
1006 if (out_stream
== NULL
)
1008 fatal_error (input_location
, "opening output file %s: %m", out_fname
);
1012 init_pp_output (out_stream
);
1018 /* When writing a PCH file, avoid reading some other PCH file,
1019 because the default address space slot then can't be used
1020 for the output PCH file. */
1023 c_common_no_more_pch ();
1024 /* Only -g0 and -gdwarf* are supported with PCH, for other
1025 debug formats we warn here and refuse to load any PCH files. */
1026 if (write_symbols
!= NO_DEBUG
&& write_symbols
!= DWARF2_DEBUG
)
1027 warning (OPT_Wdeprecated
,
1028 "the \"%s\" debug format cannot be used with "
1029 "pre-compiled headers", debug_type_names
[write_symbols
]);
1031 else if (write_symbols
!= NO_DEBUG
&& write_symbols
!= DWARF2_DEBUG
)
1032 c_common_no_more_pch ();
1034 /* Yuk. WTF is this? I do know ObjC relies on it somewhere. */
1035 input_location
= UNKNOWN_LOCATION
;
1038 cb
= cpp_get_callbacks (parse_in
);
1039 cb
->file_change
= cb_file_change
;
1040 cb
->dir_change
= cb_dir_change
;
1041 cpp_post_options (parse_in
);
1042 init_global_opts_from_cpp (&global_options
, cpp_get_options (parse_in
));
1044 input_location
= UNKNOWN_LOCATION
;
1046 *pfilename
= this_input_filename
1047 = cpp_read_main_file (parse_in
, in_fnames
[0]);
1048 /* Don't do any compilation or preprocessing if there is no input file. */
1049 if (this_input_filename
== NULL
)
1055 if (flag_working_directory
1056 && flag_preprocess_only
&& !flag_no_line_commands
)
1057 pp_dir_change (parse_in
, get_src_pwd ());
1059 /* Disable LTO output when outputting a precompiled header. */
1060 if (pch_file
&& flag_lto
)
1063 flag_generate_lto
= 0;
1066 return flag_preprocess_only
;
1069 /* Front end initialization common to C, ObjC and C++. */
1071 c_common_init (void)
1073 /* Set up preprocessor arithmetic. Must be done after call to
1074 c_common_nodes_and_builtins for type nodes to be good. */
1075 cpp_opts
->precision
= TYPE_PRECISION (intmax_type_node
);
1076 cpp_opts
->char_precision
= TYPE_PRECISION (char_type_node
);
1077 cpp_opts
->int_precision
= TYPE_PRECISION (integer_type_node
);
1078 cpp_opts
->wchar_precision
= TYPE_PRECISION (wchar_type_node
);
1079 cpp_opts
->unsigned_wchar
= TYPE_UNSIGNED (wchar_type_node
);
1080 cpp_opts
->bytes_big_endian
= BYTES_BIG_ENDIAN
;
1082 /* This can't happen until after wchar_precision and bytes_big_endian
1084 cpp_init_iconv (parse_in
);
1089 fputs ("Compiler executable checksum: ", stderr
);
1090 for (i
= 0; i
< 16; i
++)
1091 fprintf (stderr
, "%02x", executable_checksum
[i
]);
1092 putc ('\n', stderr
);
1095 /* Has to wait until now so that cpplib has its hash table. */
1098 if (flag_preprocess_only
)
1100 c_finish_options ();
1101 preprocess_file (parse_in
);
1108 /* Initialize the integrated preprocessor after debug output has been
1109 initialized; loop over each input file. */
1111 c_common_parse_file (void)
1118 c_finish_options ();
1119 /* Open the dump file to use for the original dump output
1120 here, to be used during parsing for the current file. */
1121 original_dump_file
= dump_begin (TDI_original
, &original_dump_flags
);
1126 /* And end the main input file, if the debug writer wants it */
1127 if (debug_hooks
->start_end_main_source_file
)
1128 (*debug_hooks
->end_source_file
) (0);
1129 if (++i
>= num_in_fnames
)
1131 cpp_undef_all (parse_in
);
1132 cpp_clear_file_cache (parse_in
);
1134 = cpp_read_main_file (parse_in
, in_fnames
[i
]);
1135 if (original_dump_file
)
1137 dump_end (TDI_original
, original_dump_file
);
1138 original_dump_file
= NULL
;
1140 /* If an input file is missing, abandon further compilation.
1141 cpplib has issued a diagnostic. */
1142 if (!this_input_filename
)
1146 c_parse_final_cleanups ();
1149 /* Returns the appropriate dump file for PHASE to dump with FLAGS. */
1152 get_dump_info (int phase
, dump_flags_t
*flags
)
1154 gcc_assert (phase
== TDI_original
);
1156 *flags
= original_dump_flags
;
1157 return original_dump_file
;
1160 /* Common finish hook for the C, ObjC and C++ front ends. */
1162 c_common_finish (void)
1164 FILE *deps_stream
= NULL
;
1166 /* Note that we write the dependencies even if there are errors. This is
1167 useful for handling outdated generated headers that now trigger errors
1168 (for example, with #error) which would be resolved by re-generating
1169 them. In a sense, this complements -MG. */
1170 if (cpp_opts
->deps
.style
!= DEPS_NONE
)
1172 /* If -M or -MM was seen without -MF, default output to the
1175 deps_stream
= out_stream
;
1176 else if (deps_file
[0] == '-' && deps_file
[1] == '\0')
1177 deps_stream
= stdout
;
1180 deps_stream
= fopen (deps_file
, deps_append
? "a": "w");
1182 fatal_error (input_location
, "opening dependency file %s: %m",
1187 /* For performance, avoid tearing down cpplib's internal structures
1188 with cpp_destroy (). */
1189 cpp_finish (parse_in
, deps_stream
);
1191 if (deps_stream
&& deps_stream
!= out_stream
&& deps_stream
!= stdout
1192 && (ferror (deps_stream
) || fclose (deps_stream
)))
1193 fatal_error (input_location
, "closing dependency file %s: %m", deps_file
);
1195 if (out_stream
&& (ferror (out_stream
) || fclose (out_stream
)))
1196 fatal_error (input_location
, "when writing output to %s: %m", out_fname
);
1199 /* Either of two environment variables can specify output of
1200 dependencies. Their value is either "OUTPUT_FILE" or "OUTPUT_FILE
1201 DEPS_TARGET", where OUTPUT_FILE is the file to write deps info to
1202 and DEPS_TARGET is the target to mention in the deps. They also
1203 result in dependency information being appended to the output file
1204 rather than overwriting it, and like Sun's compiler
1205 SUNPRO_DEPENDENCIES suppresses the dependency on the main file. */
1207 check_deps_environment_vars (void)
1211 spec
= getenv ("DEPENDENCIES_OUTPUT");
1213 cpp_opts
->deps
.style
= DEPS_USER
;
1216 spec
= getenv ("SUNPRO_DEPENDENCIES");
1219 cpp_opts
->deps
.style
= DEPS_SYSTEM
;
1220 cpp_opts
->deps
.ignore_main_file
= true;
1226 /* Find the space before the DEPS_TARGET, if there is one. */
1227 char *s
= strchr (spec
, ' ');
1230 /* Let the caller perform MAKE quoting. */
1231 defer_opt (OPT_MT
, s
+ 1);
1235 /* Command line -MF overrides environment variables and default. */
1244 /* Handle deferred command line switches. */
1246 handle_deferred_opts (void)
1251 /* Avoid allocating the deps buffer if we don't need it.
1252 (This flag may be true without there having been -MT or -MQ
1253 options, but we'll still need the deps buffer.) */
1257 deps
= cpp_get_deps (parse_in
);
1259 for (i
= 0; i
< deferred_count
; i
++)
1261 struct deferred_opt
*opt
= &deferred_opts
[i
];
1263 if (opt
->code
== OPT_MT
|| opt
->code
== OPT_MQ
)
1264 deps_add_target (deps
, opt
->arg
, opt
->code
== OPT_MQ
);
1268 /* These settings are appropriate for GCC, but not necessarily so for
1269 cpplib as a library. */
1271 sanitize_cpp_opts (void)
1273 /* If we don't know what style of dependencies to output, complain
1274 if any other dependency switches have been given. */
1275 if (deps_seen
&& cpp_opts
->deps
.style
== DEPS_NONE
)
1276 error ("to generate dependencies you must specify either -M or -MM");
1278 /* -dM and dependencies suppress normal output; do it here so that
1279 the last -d[MDN] switch overrides earlier ones. */
1280 if (flag_dump_macros
== 'M')
1283 /* By default, -fdirectives-only implies -dD. This allows subsequent phases
1284 to perform proper macro expansion. */
1285 if (cpp_opts
->directives_only
&& !cpp_opts
->preprocessed
&& !flag_dump_macros
)
1286 flag_dump_macros
= 'D';
1288 /* Disable -dD, -dN and -dI if normal output is suppressed. Allow
1289 -dM since at least glibc relies on -M -dM to work. */
1290 /* Also, flag_no_output implies flag_no_line_commands, always. */
1293 if (flag_dump_macros
!= 'M')
1294 flag_dump_macros
= 0;
1295 flag_dump_includes
= 0;
1296 flag_no_line_commands
= 1;
1298 else if (cpp_opts
->deps
.missing_files
)
1299 error ("-MG may only be used with -M or -MM");
1301 cpp_opts
->unsigned_char
= !flag_signed_char
;
1302 cpp_opts
->stdc_0_in_system_headers
= STDC_0_IN_SYSTEM_HEADERS
;
1304 /* Wlong-long is disabled by default. It is enabled by:
1305 [-Wpedantic | -Wtraditional] -std=[gnu|c]++98 ; or
1306 [-Wpedantic | -Wtraditional] -std=non-c99
1308 Either -Wlong-long or -Wno-long-long override any other settings.
1309 ??? These conditions should be handled in c.opt. */
1310 if (warn_long_long
== -1)
1312 warn_long_long
= ((pedantic
|| warn_traditional
)
1313 && (c_dialect_cxx () ? cxx_dialect
== cxx98
: !flag_isoc99
));
1314 cpp_opts
->cpp_warn_long_long
= warn_long_long
;
1317 /* If we're generating preprocessor output, emit current directory
1318 if explicitly requested or if debugging information is enabled.
1319 ??? Maybe we should only do it for debugging formats that
1320 actually output the current directory? */
1321 if (flag_working_directory
== -1)
1322 flag_working_directory
= (debug_info_level
!= DINFO_LEVEL_NONE
);
1324 if (warn_implicit_fallthrough
< 5)
1325 cpp_opts
->cpp_warn_implicit_fallthrough
= warn_implicit_fallthrough
;
1327 cpp_opts
->cpp_warn_implicit_fallthrough
= 0;
1329 if (cpp_opts
->directives_only
)
1331 if (cpp_warn_unused_macros
)
1332 error ("-fdirectives-only is incompatible with -Wunused_macros");
1333 if (cpp_opts
->traditional
)
1334 error ("-fdirectives-only is incompatible with -traditional");
1338 /* Add include path with a prefix at the front of its name. */
1340 add_prefixed_path (const char *suffix
, incpath_kind chain
)
1344 size_t prefix_len
, suffix_len
;
1346 suffix_len
= strlen (suffix
);
1347 prefix
= iprefix
? iprefix
: cpp_GCC_INCLUDE_DIR
;
1348 prefix_len
= iprefix
? strlen (iprefix
) : cpp_GCC_INCLUDE_DIR_len
;
1350 path
= (char *) xmalloc (prefix_len
+ suffix_len
+ 1);
1351 memcpy (path
, prefix
, prefix_len
);
1352 memcpy (path
+ prefix_len
, suffix
, suffix_len
);
1353 path
[prefix_len
+ suffix_len
] = '\0';
1355 add_path (path
, chain
, 0, false);
1358 /* Handle -D, -U, -A, -imacros, and the first -include. */
1360 c_finish_options (void)
1362 if (!cpp_opts
->preprocessed
)
1366 cb_file_change (parse_in
,
1367 linemap_check_ordinary (linemap_add (line_table
,
1371 /* Make sure all of the builtins about to be declared have
1372 BUILTINS_LOCATION has their source_location. */
1373 source_location builtins_loc
= BUILTINS_LOCATION
;
1374 cpp_force_token_locations (parse_in
, &builtins_loc
);
1376 cpp_init_builtins (parse_in
, flag_hosted
);
1377 c_cpp_builtins (parse_in
);
1379 cpp_stop_forcing_token_locations (parse_in
);
1381 /* We're about to send user input to cpplib, so make it warn for
1382 things that we previously (when we sent it internal definitions)
1383 told it to not warn.
1385 C99 permits implementation-defined characters in identifiers.
1386 The documented meaning of -std= is to turn off extensions that
1387 conflict with the specified standard, and since a strictly
1388 conforming program cannot contain a '$', we do not condition
1389 their acceptance on the -std= setting. */
1390 cpp_opts
->warn_dollars
= (cpp_opts
->cpp_pedantic
&& !cpp_opts
->c99
);
1392 cb_file_change (parse_in
,
1393 linemap_check_ordinary (linemap_add (line_table
, LC_RENAME
, 0,
1394 _("<command-line>"), 0)));
1396 for (i
= 0; i
< deferred_count
; i
++)
1398 struct deferred_opt
*opt
= &deferred_opts
[i
];
1400 if (opt
->code
== OPT_D
)
1401 cpp_define (parse_in
, opt
->arg
);
1402 else if (opt
->code
== OPT_U
)
1403 cpp_undef (parse_in
, opt
->arg
);
1404 else if (opt
->code
== OPT_A
)
1406 if (opt
->arg
[0] == '-')
1407 cpp_unassert (parse_in
, opt
->arg
+ 1);
1409 cpp_assert (parse_in
, opt
->arg
);
1413 /* Start the main input file, if the debug writer wants it. */
1414 if (debug_hooks
->start_end_main_source_file
1415 && !flag_preprocess_only
)
1416 (*debug_hooks
->start_source_file
) (0, this_input_filename
);
1418 /* Handle -imacros after -D and -U. */
1419 for (i
= 0; i
< deferred_count
; i
++)
1421 struct deferred_opt
*opt
= &deferred_opts
[i
];
1423 if (opt
->code
== OPT_imacros
1424 && cpp_push_include (parse_in
, opt
->arg
))
1426 /* Disable push_command_line_include callback for now. */
1427 include_cursor
= deferred_count
+ 1;
1428 cpp_scan_nooutput (parse_in
);
1434 if (cpp_opts
->directives_only
)
1435 cpp_init_special_builtins (parse_in
);
1437 /* Start the main input file, if the debug writer wants it. */
1438 if (debug_hooks
->start_end_main_source_file
1439 && !flag_preprocess_only
)
1440 (*debug_hooks
->start_source_file
) (0, this_input_filename
);
1444 push_command_line_include ();
1447 /* Give CPP the next file given by -include, if any. */
1449 push_command_line_include (void)
1451 /* This can happen if disabled by -imacros for example.
1452 Punt so that we don't set "<command-line>" as the filename for
1454 if (include_cursor
> deferred_count
)
1457 if (!done_preinclude
)
1459 done_preinclude
= true;
1460 if (flag_hosted
&& std_inc
&& !cpp_opts
->preprocessed
)
1462 const char *preinc
= targetcm
.c_preinclude ();
1463 if (preinc
&& cpp_push_default_include (parse_in
, preinc
))
1468 pch_cpp_save_state ();
1470 while (include_cursor
< deferred_count
)
1472 struct deferred_opt
*opt
= &deferred_opts
[include_cursor
++];
1474 if (!cpp_opts
->preprocessed
&& opt
->code
== OPT_include
1475 && cpp_push_include (parse_in
, opt
->arg
))
1479 if (include_cursor
== deferred_count
)
1482 /* -Wunused-macros should only warn about macros defined hereafter. */
1483 cpp_opts
->warn_unused_macros
= cpp_warn_unused_macros
;
1484 /* Restore the line map from <command line>. */
1485 if (!cpp_opts
->preprocessed
)
1486 cpp_change_file (parse_in
, LC_RENAME
, this_input_filename
);
1488 /* Set this here so the client can change the option if it wishes,
1489 and after stacking the main file so we don't trace the main file. */
1490 line_table
->trace_includes
= cpp_opts
->print_include_names
;
1494 /* File change callback. Has to handle -include files. */
1496 cb_file_change (cpp_reader
* ARG_UNUSED (pfile
),
1497 const line_map_ordinary
*new_map
)
1499 if (flag_preprocess_only
)
1500 pp_file_change (new_map
);
1502 fe_file_change (new_map
);
1505 && (new_map
->reason
== LC_ENTER
|| new_map
->reason
== LC_RENAME
))
1507 /* Signal to plugins that a file is included. This could happen
1508 several times with the same file path, e.g. because of
1509 several '#include' or '#line' directives... */
1510 invoke_plugin_callbacks
1511 (PLUGIN_INCLUDE_FILE
,
1512 const_cast<char*> (ORDINARY_MAP_FILE_NAME (new_map
)));
1515 if (new_map
== 0 || (new_map
->reason
== LC_LEAVE
&& MAIN_FILE_P (new_map
)))
1517 pch_cpp_save_state ();
1518 push_command_line_include ();
1523 cb_dir_change (cpp_reader
* ARG_UNUSED (pfile
), const char *dir
)
1525 if (!set_src_pwd (dir
))
1526 warning (0, "too late for # directive to set debug directory");
1529 /* Set the C 89 standard (with 1994 amendments if C94, without GNU
1530 extensions if ISO). There is no concept of gnu94. */
1532 set_std_c89 (int c94
, int iso
)
1534 cpp_set_lang (parse_in
, c94
? CLK_STDC94
: iso
? CLK_STDC89
: CLK_GNUC89
);
1537 flag_no_gnu_keywords
= iso
;
1538 flag_no_nonansi_builtin
= iso
;
1542 lang_hooks
.name
= "GNU C89";
1545 /* Set the C 99 standard (without GNU extensions if ISO). */
1547 set_std_c99 (int iso
)
1549 cpp_set_lang (parse_in
, iso
? CLK_STDC99
: CLK_GNUC99
);
1551 flag_no_nonansi_builtin
= iso
;
1556 lang_hooks
.name
= "GNU C99";
1559 /* Set the C 11 standard (without GNU extensions if ISO). */
1561 set_std_c11 (int iso
)
1563 cpp_set_lang (parse_in
, iso
? CLK_STDC11
: CLK_GNUC11
);
1565 flag_no_nonansi_builtin
= iso
;
1570 lang_hooks
.name
= "GNU C11";
1573 /* Set the C 17 standard (without GNU extensions if ISO). */
1575 set_std_c17 (int iso
)
1577 cpp_set_lang (parse_in
, iso
? CLK_STDC17
: CLK_GNUC17
);
1579 flag_no_nonansi_builtin
= iso
;
1584 lang_hooks
.name
= "GNU C17";
1588 /* Set the C++ 98 standard (without GNU extensions if ISO). */
1590 set_std_cxx98 (int iso
)
1592 cpp_set_lang (parse_in
, iso
? CLK_CXX98
: CLK_GNUCXX
);
1593 flag_no_gnu_keywords
= iso
;
1594 flag_no_nonansi_builtin
= iso
;
1598 cxx_dialect
= cxx98
;
1599 lang_hooks
.name
= "GNU C++98";
1602 /* Set the C++ 2011 standard (without GNU extensions if ISO). */
1604 set_std_cxx11 (int iso
)
1606 cpp_set_lang (parse_in
, iso
? CLK_CXX11
: CLK_GNUCXX11
);
1607 flag_no_gnu_keywords
= iso
;
1608 flag_no_nonansi_builtin
= iso
;
1610 /* C++11 includes the C99 standard library. */
1613 cxx_dialect
= cxx11
;
1614 lang_hooks
.name
= "GNU C++11";
1617 /* Set the C++ 2014 standard (without GNU extensions if ISO). */
1619 set_std_cxx14 (int iso
)
1621 cpp_set_lang (parse_in
, iso
? CLK_CXX14
: CLK_GNUCXX14
);
1622 flag_no_gnu_keywords
= iso
;
1623 flag_no_nonansi_builtin
= iso
;
1625 /* C++14 includes the C99 standard library. */
1628 cxx_dialect
= cxx14
;
1629 lang_hooks
.name
= "GNU C++14";
1632 /* Set the C++ 2017 standard (without GNU extensions if ISO). */
1634 set_std_cxx17 (int iso
)
1636 cpp_set_lang (parse_in
, iso
? CLK_CXX17
: CLK_GNUCXX17
);
1637 flag_no_gnu_keywords
= iso
;
1638 flag_no_nonansi_builtin
= iso
;
1640 /* C++17 includes the C11 standard library. */
1644 cxx_dialect
= cxx17
;
1645 lang_hooks
.name
= "GNU C++17";
1648 /* Set the C++ 202a draft standard (without GNU extensions if ISO). */
1650 set_std_cxx2a (int iso
)
1652 cpp_set_lang (parse_in
, iso
? CLK_CXX2A
: CLK_GNUCXX2A
);
1653 flag_no_gnu_keywords
= iso
;
1654 flag_no_nonansi_builtin
= iso
;
1656 /* C++17 includes the C11 standard library. */
1660 cxx_dialect
= cxx2a
;
1661 lang_hooks
.name
= "GNU C++17"; /* Pretend C++17 until standardization. */
1664 /* Args to -d specify what to dump. Silently ignore
1665 unrecognized options; they may be aimed at toplev.c. */
1667 handle_OPT_d (const char *arg
)
1671 while ((c
= *arg
++) != '\0')
1674 case 'M': /* Dump macros only. */
1675 case 'N': /* Dump names. */
1676 case 'D': /* Dump definitions. */
1677 case 'U': /* Dump used macros. */
1678 flag_dump_macros
= c
;
1682 flag_dump_includes
= 1;