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 (warn_return_type
== -1)
993 warn_return_type
= c_dialect_cxx ();
995 if (num_in_fnames
> 1)
996 error ("too many filenames given. Type %s --help for usage",
999 if (flag_preprocess_only
)
1001 /* Open the output now. We must do so even if flag_no_output is
1002 on, because there may be other output than from the actual
1003 preprocessing (e.g. from -dM). */
1004 if (out_fname
[0] == '\0')
1005 out_stream
= stdout
;
1007 out_stream
= fopen (out_fname
, "w");
1009 if (out_stream
== NULL
)
1011 fatal_error (input_location
, "opening output file %s: %m", out_fname
);
1015 init_pp_output (out_stream
);
1021 /* When writing a PCH file, avoid reading some other PCH file,
1022 because the default address space slot then can't be used
1023 for the output PCH file. */
1026 c_common_no_more_pch ();
1027 /* Only -g0 and -gdwarf* are supported with PCH, for other
1028 debug formats we warn here and refuse to load any PCH files. */
1029 if (write_symbols
!= NO_DEBUG
&& write_symbols
!= DWARF2_DEBUG
)
1030 warning (OPT_Wdeprecated
,
1031 "the \"%s\" debug format cannot be used with "
1032 "pre-compiled headers", debug_type_names
[write_symbols
]);
1034 else if (write_symbols
!= NO_DEBUG
&& write_symbols
!= DWARF2_DEBUG
)
1035 c_common_no_more_pch ();
1037 /* Yuk. WTF is this? I do know ObjC relies on it somewhere. */
1038 input_location
= UNKNOWN_LOCATION
;
1041 cb
= cpp_get_callbacks (parse_in
);
1042 cb
->file_change
= cb_file_change
;
1043 cb
->dir_change
= cb_dir_change
;
1044 cpp_post_options (parse_in
);
1045 init_global_opts_from_cpp (&global_options
, cpp_get_options (parse_in
));
1047 input_location
= UNKNOWN_LOCATION
;
1049 *pfilename
= this_input_filename
1050 = cpp_read_main_file (parse_in
, in_fnames
[0]);
1051 /* Don't do any compilation or preprocessing if there is no input file. */
1052 if (this_input_filename
== NULL
)
1058 if (flag_working_directory
1059 && flag_preprocess_only
&& !flag_no_line_commands
)
1060 pp_dir_change (parse_in
, get_src_pwd ());
1062 /* Disable LTO output when outputting a precompiled header. */
1063 if (pch_file
&& flag_lto
)
1066 flag_generate_lto
= 0;
1069 return flag_preprocess_only
;
1072 /* Front end initialization common to C, ObjC and C++. */
1074 c_common_init (void)
1076 /* Set up preprocessor arithmetic. Must be done after call to
1077 c_common_nodes_and_builtins for type nodes to be good. */
1078 cpp_opts
->precision
= TYPE_PRECISION (intmax_type_node
);
1079 cpp_opts
->char_precision
= TYPE_PRECISION (char_type_node
);
1080 cpp_opts
->int_precision
= TYPE_PRECISION (integer_type_node
);
1081 cpp_opts
->wchar_precision
= TYPE_PRECISION (wchar_type_node
);
1082 cpp_opts
->unsigned_wchar
= TYPE_UNSIGNED (wchar_type_node
);
1083 cpp_opts
->bytes_big_endian
= BYTES_BIG_ENDIAN
;
1085 /* This can't happen until after wchar_precision and bytes_big_endian
1087 cpp_init_iconv (parse_in
);
1092 fputs ("Compiler executable checksum: ", stderr
);
1093 for (i
= 0; i
< 16; i
++)
1094 fprintf (stderr
, "%02x", executable_checksum
[i
]);
1095 putc ('\n', stderr
);
1098 /* Has to wait until now so that cpplib has its hash table. */
1101 if (flag_preprocess_only
)
1103 c_finish_options ();
1104 preprocess_file (parse_in
);
1111 /* Initialize the integrated preprocessor after debug output has been
1112 initialized; loop over each input file. */
1114 c_common_parse_file (void)
1121 c_finish_options ();
1122 /* Open the dump file to use for the original dump output
1123 here, to be used during parsing for the current file. */
1124 original_dump_file
= dump_begin (TDI_original
, &original_dump_flags
);
1129 /* And end the main input file, if the debug writer wants it */
1130 if (debug_hooks
->start_end_main_source_file
)
1131 (*debug_hooks
->end_source_file
) (0);
1132 if (++i
>= num_in_fnames
)
1134 cpp_undef_all (parse_in
);
1135 cpp_clear_file_cache (parse_in
);
1137 = cpp_read_main_file (parse_in
, in_fnames
[i
]);
1138 if (original_dump_file
)
1140 dump_end (TDI_original
, original_dump_file
);
1141 original_dump_file
= NULL
;
1143 /* If an input file is missing, abandon further compilation.
1144 cpplib has issued a diagnostic. */
1145 if (!this_input_filename
)
1149 c_parse_final_cleanups ();
1152 /* Returns the appropriate dump file for PHASE to dump with FLAGS. */
1155 get_dump_info (int phase
, dump_flags_t
*flags
)
1157 gcc_assert (phase
== TDI_original
);
1159 *flags
= original_dump_flags
;
1160 return original_dump_file
;
1163 /* Common finish hook for the C, ObjC and C++ front ends. */
1165 c_common_finish (void)
1167 FILE *deps_stream
= NULL
;
1169 /* Note that we write the dependencies even if there are errors. This is
1170 useful for handling outdated generated headers that now trigger errors
1171 (for example, with #error) which would be resolved by re-generating
1172 them. In a sense, this complements -MG. */
1173 if (cpp_opts
->deps
.style
!= DEPS_NONE
)
1175 /* If -M or -MM was seen without -MF, default output to the
1178 deps_stream
= out_stream
;
1179 else if (deps_file
[0] == '-' && deps_file
[1] == '\0')
1180 deps_stream
= stdout
;
1183 deps_stream
= fopen (deps_file
, deps_append
? "a": "w");
1185 fatal_error (input_location
, "opening dependency file %s: %m",
1190 /* For performance, avoid tearing down cpplib's internal structures
1191 with cpp_destroy (). */
1192 cpp_finish (parse_in
, deps_stream
);
1194 if (deps_stream
&& deps_stream
!= out_stream
&& deps_stream
!= stdout
1195 && (ferror (deps_stream
) || fclose (deps_stream
)))
1196 fatal_error (input_location
, "closing dependency file %s: %m", deps_file
);
1198 if (out_stream
&& (ferror (out_stream
) || fclose (out_stream
)))
1199 fatal_error (input_location
, "when writing output to %s: %m", out_fname
);
1202 /* Either of two environment variables can specify output of
1203 dependencies. Their value is either "OUTPUT_FILE" or "OUTPUT_FILE
1204 DEPS_TARGET", where OUTPUT_FILE is the file to write deps info to
1205 and DEPS_TARGET is the target to mention in the deps. They also
1206 result in dependency information being appended to the output file
1207 rather than overwriting it, and like Sun's compiler
1208 SUNPRO_DEPENDENCIES suppresses the dependency on the main file. */
1210 check_deps_environment_vars (void)
1214 spec
= getenv ("DEPENDENCIES_OUTPUT");
1216 cpp_opts
->deps
.style
= DEPS_USER
;
1219 spec
= getenv ("SUNPRO_DEPENDENCIES");
1222 cpp_opts
->deps
.style
= DEPS_SYSTEM
;
1223 cpp_opts
->deps
.ignore_main_file
= true;
1229 /* Find the space before the DEPS_TARGET, if there is one. */
1230 char *s
= strchr (spec
, ' ');
1233 /* Let the caller perform MAKE quoting. */
1234 defer_opt (OPT_MT
, s
+ 1);
1238 /* Command line -MF overrides environment variables and default. */
1247 /* Handle deferred command line switches. */
1249 handle_deferred_opts (void)
1254 /* Avoid allocating the deps buffer if we don't need it.
1255 (This flag may be true without there having been -MT or -MQ
1256 options, but we'll still need the deps buffer.) */
1260 deps
= cpp_get_deps (parse_in
);
1262 for (i
= 0; i
< deferred_count
; i
++)
1264 struct deferred_opt
*opt
= &deferred_opts
[i
];
1266 if (opt
->code
== OPT_MT
|| opt
->code
== OPT_MQ
)
1267 deps_add_target (deps
, opt
->arg
, opt
->code
== OPT_MQ
);
1271 /* These settings are appropriate for GCC, but not necessarily so for
1272 cpplib as a library. */
1274 sanitize_cpp_opts (void)
1276 /* If we don't know what style of dependencies to output, complain
1277 if any other dependency switches have been given. */
1278 if (deps_seen
&& cpp_opts
->deps
.style
== DEPS_NONE
)
1279 error ("to generate dependencies you must specify either -M or -MM");
1281 /* -dM and dependencies suppress normal output; do it here so that
1282 the last -d[MDN] switch overrides earlier ones. */
1283 if (flag_dump_macros
== 'M')
1286 /* By default, -fdirectives-only implies -dD. This allows subsequent phases
1287 to perform proper macro expansion. */
1288 if (cpp_opts
->directives_only
&& !cpp_opts
->preprocessed
&& !flag_dump_macros
)
1289 flag_dump_macros
= 'D';
1291 /* Disable -dD, -dN and -dI if normal output is suppressed. Allow
1292 -dM since at least glibc relies on -M -dM to work. */
1293 /* Also, flag_no_output implies flag_no_line_commands, always. */
1296 if (flag_dump_macros
!= 'M')
1297 flag_dump_macros
= 0;
1298 flag_dump_includes
= 0;
1299 flag_no_line_commands
= 1;
1301 else if (cpp_opts
->deps
.missing_files
)
1302 error ("-MG may only be used with -M or -MM");
1304 cpp_opts
->unsigned_char
= !flag_signed_char
;
1305 cpp_opts
->stdc_0_in_system_headers
= STDC_0_IN_SYSTEM_HEADERS
;
1307 /* Wlong-long is disabled by default. It is enabled by:
1308 [-Wpedantic | -Wtraditional] -std=[gnu|c]++98 ; or
1309 [-Wpedantic | -Wtraditional] -std=non-c99
1311 Either -Wlong-long or -Wno-long-long override any other settings.
1312 ??? These conditions should be handled in c.opt. */
1313 if (warn_long_long
== -1)
1315 warn_long_long
= ((pedantic
|| warn_traditional
)
1316 && (c_dialect_cxx () ? cxx_dialect
== cxx98
: !flag_isoc99
));
1317 cpp_opts
->cpp_warn_long_long
= warn_long_long
;
1320 /* If we're generating preprocessor output, emit current directory
1321 if explicitly requested or if debugging information is enabled.
1322 ??? Maybe we should only do it for debugging formats that
1323 actually output the current directory? */
1324 if (flag_working_directory
== -1)
1325 flag_working_directory
= (debug_info_level
!= DINFO_LEVEL_NONE
);
1327 if (warn_implicit_fallthrough
< 5)
1328 cpp_opts
->cpp_warn_implicit_fallthrough
= warn_implicit_fallthrough
;
1330 cpp_opts
->cpp_warn_implicit_fallthrough
= 0;
1332 if (cpp_opts
->directives_only
)
1334 if (cpp_warn_unused_macros
)
1335 error ("-fdirectives-only is incompatible with -Wunused_macros");
1336 if (cpp_opts
->traditional
)
1337 error ("-fdirectives-only is incompatible with -traditional");
1341 /* Add include path with a prefix at the front of its name. */
1343 add_prefixed_path (const char *suffix
, incpath_kind chain
)
1347 size_t prefix_len
, suffix_len
;
1349 suffix_len
= strlen (suffix
);
1350 prefix
= iprefix
? iprefix
: cpp_GCC_INCLUDE_DIR
;
1351 prefix_len
= iprefix
? strlen (iprefix
) : cpp_GCC_INCLUDE_DIR_len
;
1353 path
= (char *) xmalloc (prefix_len
+ suffix_len
+ 1);
1354 memcpy (path
, prefix
, prefix_len
);
1355 memcpy (path
+ prefix_len
, suffix
, suffix_len
);
1356 path
[prefix_len
+ suffix_len
] = '\0';
1358 add_path (path
, chain
, 0, false);
1361 /* Handle -D, -U, -A, -imacros, and the first -include. */
1363 c_finish_options (void)
1365 if (!cpp_opts
->preprocessed
)
1369 cb_file_change (parse_in
,
1370 linemap_check_ordinary (linemap_add (line_table
,
1374 /* Make sure all of the builtins about to be declared have
1375 BUILTINS_LOCATION has their source_location. */
1376 source_location builtins_loc
= BUILTINS_LOCATION
;
1377 cpp_force_token_locations (parse_in
, &builtins_loc
);
1379 cpp_init_builtins (parse_in
, flag_hosted
);
1380 c_cpp_builtins (parse_in
);
1382 cpp_stop_forcing_token_locations (parse_in
);
1384 /* We're about to send user input to cpplib, so make it warn for
1385 things that we previously (when we sent it internal definitions)
1386 told it to not warn.
1388 C99 permits implementation-defined characters in identifiers.
1389 The documented meaning of -std= is to turn off extensions that
1390 conflict with the specified standard, and since a strictly
1391 conforming program cannot contain a '$', we do not condition
1392 their acceptance on the -std= setting. */
1393 cpp_opts
->warn_dollars
= (cpp_opts
->cpp_pedantic
&& !cpp_opts
->c99
);
1395 cb_file_change (parse_in
,
1396 linemap_check_ordinary (linemap_add (line_table
, LC_RENAME
, 0,
1397 _("<command-line>"), 0)));
1399 for (i
= 0; i
< deferred_count
; i
++)
1401 struct deferred_opt
*opt
= &deferred_opts
[i
];
1403 if (opt
->code
== OPT_D
)
1404 cpp_define (parse_in
, opt
->arg
);
1405 else if (opt
->code
== OPT_U
)
1406 cpp_undef (parse_in
, opt
->arg
);
1407 else if (opt
->code
== OPT_A
)
1409 if (opt
->arg
[0] == '-')
1410 cpp_unassert (parse_in
, opt
->arg
+ 1);
1412 cpp_assert (parse_in
, opt
->arg
);
1416 /* Start the main input file, if the debug writer wants it. */
1417 if (debug_hooks
->start_end_main_source_file
1418 && !flag_preprocess_only
)
1419 (*debug_hooks
->start_source_file
) (0, this_input_filename
);
1421 /* Handle -imacros after -D and -U. */
1422 for (i
= 0; i
< deferred_count
; i
++)
1424 struct deferred_opt
*opt
= &deferred_opts
[i
];
1426 if (opt
->code
== OPT_imacros
1427 && cpp_push_include (parse_in
, opt
->arg
))
1429 /* Disable push_command_line_include callback for now. */
1430 include_cursor
= deferred_count
+ 1;
1431 cpp_scan_nooutput (parse_in
);
1437 if (cpp_opts
->directives_only
)
1438 cpp_init_special_builtins (parse_in
);
1440 /* Start the main input file, if the debug writer wants it. */
1441 if (debug_hooks
->start_end_main_source_file
1442 && !flag_preprocess_only
)
1443 (*debug_hooks
->start_source_file
) (0, this_input_filename
);
1447 push_command_line_include ();
1450 /* Give CPP the next file given by -include, if any. */
1452 push_command_line_include (void)
1454 /* This can happen if disabled by -imacros for example.
1455 Punt so that we don't set "<command-line>" as the filename for
1457 if (include_cursor
> deferred_count
)
1460 if (!done_preinclude
)
1462 done_preinclude
= true;
1463 if (flag_hosted
&& std_inc
&& !cpp_opts
->preprocessed
)
1465 const char *preinc
= targetcm
.c_preinclude ();
1466 if (preinc
&& cpp_push_default_include (parse_in
, preinc
))
1471 pch_cpp_save_state ();
1473 while (include_cursor
< deferred_count
)
1475 struct deferred_opt
*opt
= &deferred_opts
[include_cursor
++];
1477 if (!cpp_opts
->preprocessed
&& opt
->code
== OPT_include
1478 && cpp_push_include (parse_in
, opt
->arg
))
1482 if (include_cursor
== deferred_count
)
1485 /* -Wunused-macros should only warn about macros defined hereafter. */
1486 cpp_opts
->warn_unused_macros
= cpp_warn_unused_macros
;
1487 /* Restore the line map from <command line>. */
1488 if (!cpp_opts
->preprocessed
)
1489 cpp_change_file (parse_in
, LC_RENAME
, this_input_filename
);
1491 /* Set this here so the client can change the option if it wishes,
1492 and after stacking the main file so we don't trace the main file. */
1493 line_table
->trace_includes
= cpp_opts
->print_include_names
;
1497 /* File change callback. Has to handle -include files. */
1499 cb_file_change (cpp_reader
* ARG_UNUSED (pfile
),
1500 const line_map_ordinary
*new_map
)
1502 if (flag_preprocess_only
)
1503 pp_file_change (new_map
);
1505 fe_file_change (new_map
);
1508 && (new_map
->reason
== LC_ENTER
|| new_map
->reason
== LC_RENAME
))
1510 /* Signal to plugins that a file is included. This could happen
1511 several times with the same file path, e.g. because of
1512 several '#include' or '#line' directives... */
1513 invoke_plugin_callbacks
1514 (PLUGIN_INCLUDE_FILE
,
1515 const_cast<char*> (ORDINARY_MAP_FILE_NAME (new_map
)));
1518 if (new_map
== 0 || (new_map
->reason
== LC_LEAVE
&& MAIN_FILE_P (new_map
)))
1520 pch_cpp_save_state ();
1521 push_command_line_include ();
1526 cb_dir_change (cpp_reader
* ARG_UNUSED (pfile
), const char *dir
)
1528 if (!set_src_pwd (dir
))
1529 warning (0, "too late for # directive to set debug directory");
1532 /* Set the C 89 standard (with 1994 amendments if C94, without GNU
1533 extensions if ISO). There is no concept of gnu94. */
1535 set_std_c89 (int c94
, int iso
)
1537 cpp_set_lang (parse_in
, c94
? CLK_STDC94
: iso
? CLK_STDC89
: CLK_GNUC89
);
1540 flag_no_gnu_keywords
= iso
;
1541 flag_no_nonansi_builtin
= iso
;
1545 lang_hooks
.name
= "GNU C89";
1548 /* Set the C 99 standard (without GNU extensions if ISO). */
1550 set_std_c99 (int iso
)
1552 cpp_set_lang (parse_in
, iso
? CLK_STDC99
: CLK_GNUC99
);
1554 flag_no_nonansi_builtin
= iso
;
1559 lang_hooks
.name
= "GNU C99";
1562 /* Set the C 11 standard (without GNU extensions if ISO). */
1564 set_std_c11 (int iso
)
1566 cpp_set_lang (parse_in
, iso
? CLK_STDC11
: CLK_GNUC11
);
1568 flag_no_nonansi_builtin
= iso
;
1573 lang_hooks
.name
= "GNU C11";
1576 /* Set the C 17 standard (without GNU extensions if ISO). */
1578 set_std_c17 (int iso
)
1580 cpp_set_lang (parse_in
, iso
? CLK_STDC17
: CLK_GNUC17
);
1582 flag_no_nonansi_builtin
= iso
;
1587 lang_hooks
.name
= "GNU C17";
1591 /* Set the C++ 98 standard (without GNU extensions if ISO). */
1593 set_std_cxx98 (int iso
)
1595 cpp_set_lang (parse_in
, iso
? CLK_CXX98
: CLK_GNUCXX
);
1596 flag_no_gnu_keywords
= iso
;
1597 flag_no_nonansi_builtin
= iso
;
1601 cxx_dialect
= cxx98
;
1602 lang_hooks
.name
= "GNU C++98";
1605 /* Set the C++ 2011 standard (without GNU extensions if ISO). */
1607 set_std_cxx11 (int iso
)
1609 cpp_set_lang (parse_in
, iso
? CLK_CXX11
: CLK_GNUCXX11
);
1610 flag_no_gnu_keywords
= iso
;
1611 flag_no_nonansi_builtin
= iso
;
1613 /* C++11 includes the C99 standard library. */
1616 cxx_dialect
= cxx11
;
1617 lang_hooks
.name
= "GNU C++11";
1620 /* Set the C++ 2014 standard (without GNU extensions if ISO). */
1622 set_std_cxx14 (int iso
)
1624 cpp_set_lang (parse_in
, iso
? CLK_CXX14
: CLK_GNUCXX14
);
1625 flag_no_gnu_keywords
= iso
;
1626 flag_no_nonansi_builtin
= iso
;
1628 /* C++14 includes the C99 standard library. */
1631 cxx_dialect
= cxx14
;
1632 lang_hooks
.name
= "GNU C++14";
1635 /* Set the C++ 2017 standard (without GNU extensions if ISO). */
1637 set_std_cxx17 (int iso
)
1639 cpp_set_lang (parse_in
, iso
? CLK_CXX17
: CLK_GNUCXX17
);
1640 flag_no_gnu_keywords
= iso
;
1641 flag_no_nonansi_builtin
= iso
;
1643 /* C++17 includes the C11 standard library. */
1647 cxx_dialect
= cxx17
;
1648 lang_hooks
.name
= "GNU C++17";
1651 /* Set the C++ 202a draft standard (without GNU extensions if ISO). */
1653 set_std_cxx2a (int iso
)
1655 cpp_set_lang (parse_in
, iso
? CLK_CXX2A
: CLK_GNUCXX2A
);
1656 flag_no_gnu_keywords
= iso
;
1657 flag_no_nonansi_builtin
= iso
;
1659 /* C++17 includes the C11 standard library. */
1663 cxx_dialect
= cxx2a
;
1664 lang_hooks
.name
= "GNU C++17"; /* Pretend C++17 until standardization. */
1667 /* Args to -d specify what to dump. Silently ignore
1668 unrecognized options; they may be aimed at toplev.c. */
1670 handle_OPT_d (const char *arg
)
1674 while ((c
= *arg
++) != '\0')
1677 case 'M': /* Dump macros only. */
1678 case 'N': /* Dump names. */
1679 case 'D': /* Dump definitions. */
1680 case 'U': /* Dump used macros. */
1681 flag_dump_macros
= c
;
1685 flag_dump_includes
= 1;