1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008
3 Free Software Foundation, Inc.
4 Contributed by Neil Booth.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
25 #include "coretypes.h"
31 #include "langhooks.h"
37 #include "diagnostic.h"
38 #include "tm_p.h" /* For OPTIMIZATION_OPTIONS. */
39 #include "insn-attr.h" /* For INSN_SCHEDULING. */
41 #include "tree-pass.h"
45 /* Value of the -G xx switch, and whether it was passed or not. */
46 unsigned HOST_WIDE_INT g_switch_value
;
49 /* True if we should exit after parsing options. */
50 bool exit_after_options
;
52 /* Print various extra warnings. -W/-Wextra. */
55 /* True to warn about any objects definitions whose size is larger
56 than N bytes. Also want about function definitions whose returned
57 values are larger than N bytes, where N is `larger_than_size'. */
58 bool warn_larger_than
;
59 HOST_WIDE_INT larger_than_size
;
61 /* True to warn about any function whose frame size is larger
63 bool warn_frame_larger_than
;
64 HOST_WIDE_INT frame_larger_than_size
;
66 /* Hack for cooperation between set_Wunused and set_Wextra. */
67 static bool maybe_warn_unused_parameter
;
69 /* Type(s) of debugging information we are producing (if any). See
70 flags.h for the definitions of the different possible types of
71 debugging information. */
72 enum debug_info_type write_symbols
= NO_DEBUG
;
74 /* Level of debugging information we are producing. See flags.h for
75 the definitions of the different possible levels. */
76 enum debug_info_level debug_info_level
= DINFO_LEVEL_NONE
;
78 /* A major contribution to object and executable size is debug
79 information size. A major contribution to debug information size
80 is struct descriptions replicated in several object files. The
81 following flags attempt to reduce this information. The basic
82 idea is to not emit struct debugging information in the current
83 compilation unit when that information will be generated by
84 another compilation unit.
86 Debug information for a struct defined in the current source
87 file should be generated in the object file. Likewise the
88 debug information for a struct defined in a header should be
89 generated in the object file of the corresponding source file.
90 Both of these case are handled when the base name of the file of
91 the struct definition matches the base name of the source file
92 of the current compilation unit. This matching emits minimal
93 struct debugging information.
95 The base file name matching rule above will fail to emit debug
96 information for structs defined in system headers. So a second
97 category of files includes system headers in addition to files
100 The remaining types of files are library headers and application
101 headers. We cannot currently distinguish these two types. */
103 enum debug_struct_file
105 DINFO_STRUCT_FILE_NONE
, /* Debug no structs. */
106 DINFO_STRUCT_FILE_BASE
, /* Debug structs defined in files with the
107 same base name as the compilation unit. */
108 DINFO_STRUCT_FILE_SYS
, /* Also debug structs defined in system
110 DINFO_STRUCT_FILE_ANY
/* Debug structs defined in all files. */
113 /* Generic structs (e.g. templates not explicitly specialized)
114 may not have a compilation unit associated with them, and so
115 may need to be treated differently from ordinary structs.
117 Structs only handled by reference (indirectly), will also usually
118 not need as much debugging information. */
120 static enum debug_struct_file debug_struct_ordinary
[DINFO_USAGE_NUM_ENUMS
]
121 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
122 static enum debug_struct_file debug_struct_generic
[DINFO_USAGE_NUM_ENUMS
]
123 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
125 /* Parse the -femit-struct-debug-detailed option value
126 and set the flag variables. */
128 #define MATCH( prefix, string ) \
129 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
130 ? ((string += sizeof prefix - 1), 1) : 0)
133 set_struct_debug_option (const char *spec
)
135 /* various labels for comparison */
136 static char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
137 static char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
138 static char none_lbl
[] = "none", any_lbl
[] = "any";
139 static char base_lbl
[] = "base", sys_lbl
[] = "sys";
141 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
142 /* Default is to apply to as much as possible. */
143 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
144 int ord
= 1, gen
= 1;
147 if (MATCH (dfn_lbl
, spec
))
148 usage
= DINFO_USAGE_DFN
;
149 else if (MATCH (dir_lbl
, spec
))
150 usage
= DINFO_USAGE_DIR_USE
;
151 else if (MATCH (ind_lbl
, spec
))
152 usage
= DINFO_USAGE_IND_USE
;
154 /* Generics or not? */
155 if (MATCH (ord_lbl
, spec
))
157 else if (MATCH (gen_lbl
, spec
))
160 /* What allowable environment? */
161 if (MATCH (none_lbl
, spec
))
162 files
= DINFO_STRUCT_FILE_NONE
;
163 else if (MATCH (any_lbl
, spec
))
164 files
= DINFO_STRUCT_FILE_ANY
;
165 else if (MATCH (sys_lbl
, spec
))
166 files
= DINFO_STRUCT_FILE_SYS
;
167 else if (MATCH (base_lbl
, spec
))
168 files
= DINFO_STRUCT_FILE_BASE
;
170 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
173 /* Effect the specification. */
174 if (usage
== DINFO_USAGE_NUM_ENUMS
)
178 debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
179 debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
180 debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
184 debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
185 debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
186 debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
192 debug_struct_ordinary
[usage
] = files
;
194 debug_struct_generic
[usage
] = files
;
198 set_struct_debug_option (spec
+1);
201 /* No more -femit-struct-debug-detailed specifications.
204 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
206 if (debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
207 < debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
208 || debug_struct_generic
[DINFO_USAGE_DIR_USE
]
209 < debug_struct_generic
[DINFO_USAGE_IND_USE
])
210 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
211 " as much as %<-femit-struct-debug-detailed=ind:...%>");
215 /* Find the base name of a path, stripping off both directories and
216 a single final extension. */
218 base_of_path (const char *path
, const char **base_out
)
220 const char *base
= path
;
222 const char *p
= path
;
226 if (IS_DIR_SEPARATOR(c
))
241 /* Match the base name of a file to the base name of a compilation unit. */
243 static const char *main_input_basename
;
244 static int main_input_baselength
;
247 matches_main_base (const char *path
)
249 /* Cache the last query. */
250 static const char *last_path
= NULL
;
251 static int last_match
= 0;
252 if (path
!= last_path
)
255 int length
= base_of_path (path
, &base
);
257 last_match
= (length
== main_input_baselength
258 && memcmp (base
, main_input_basename
, length
) == 0);
263 #ifdef DEBUG_DEBUG_STRUCT
266 dump_struct_debug (tree type
, enum debug_info_usage usage
,
267 enum debug_struct_file criterion
, int generic
,
268 int matches
, int result
)
270 /* Find the type name. */
271 tree type_decl
= TYPE_STUB_DECL (type
);
273 const char *name
= 0;
274 if (TREE_CODE (t
) == TYPE_DECL
)
277 name
= IDENTIFIER_POINTER (t
);
279 fprintf (stderr
, " struct %d %s %s %s %s %d %p %s\n",
281 DECL_IN_SYSTEM_HEADER (type_decl
) ? "sys" : "usr",
282 matches
? "bas" : "hdr",
283 generic
? "gen" : "ord",
284 usage
== DINFO_USAGE_DFN
? ";" :
285 usage
== DINFO_USAGE_DIR_USE
? "." : "*",
287 (void*) type_decl
, name
);
290 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
291 dump_struct_debug (type, usage, criterion, generic, matches, result)
295 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
302 should_emit_struct_debug (tree type
, enum debug_info_usage usage
)
304 enum debug_struct_file criterion
;
306 bool generic
= lang_hooks
.types
.generic_p (type
);
309 criterion
= debug_struct_generic
[usage
];
311 criterion
= debug_struct_ordinary
[usage
];
313 if (criterion
== DINFO_STRUCT_FILE_NONE
)
314 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
315 if (criterion
== DINFO_STRUCT_FILE_ANY
)
316 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
318 type_decl
= TYPE_STUB_DECL (type
);
320 if (criterion
== DINFO_STRUCT_FILE_SYS
&& DECL_IN_SYSTEM_HEADER (type_decl
))
321 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
323 if (matches_main_base (DECL_SOURCE_FILE (type_decl
)))
324 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, true, true);
325 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
328 /* Nonzero means use GNU-only extensions in the generated symbolic
329 debugging information. Currently, this only has an effect when
330 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
331 bool use_gnu_debug_info_extensions
;
333 /* The default visibility for all symbols (unless overridden) */
334 enum symbol_visibility default_visibility
= VISIBILITY_DEFAULT
;
336 /* Disable unit-at-a-time for frontends that might be still broken in this
339 bool no_unit_at_a_time_default
;
341 /* Global visibility options. */
342 struct visibility_flags visibility_options
;
344 /* What to print when a switch has no documentation. */
345 #ifdef ENABLE_CHECKING
346 static const char undocumented_msg
[] = N_("This switch lacks documentation");
348 static const char undocumented_msg
[] = "";
351 /* Used for bookkeeping on whether user set these flags so
352 -fprofile-use/-fprofile-generate does not use them. */
353 static bool profile_arc_flag_set
, flag_profile_values_set
;
354 static bool flag_unroll_loops_set
, flag_tracer_set
;
355 static bool flag_value_profile_transformations_set
;
356 static bool flag_peel_loops_set
, flag_branch_probabilities_set
;
357 static bool flag_inline_functions_set
;
359 /* Functions excluded from profiling. */
361 typedef char *char_p
; /* For DEF_VEC_P. */
363 DEF_VEC_ALLOC_P(char_p
,heap
);
365 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_functions
;
366 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_files
;
368 typedef const char *const_char_p
; /* For DEF_VEC_P. */
369 DEF_VEC_P(const_char_p
);
370 DEF_VEC_ALLOC_P(const_char_p
,heap
);
372 static VEC(const_char_p
,heap
) *ignored_options
;
374 /* Function calls disallowed under -Wdisallowed-function-list=... */
375 static VEC(char_p
,heap
) *warning_disallowed_functions
;
377 /* If -Wdisallowed-function-list=... */
378 bool warn_disallowed_functions
= false;
380 /* Input file names. */
381 const char **in_fnames
;
382 unsigned num_in_fnames
;
384 static int common_handle_option (size_t scode
, const char *arg
, int value
,
385 unsigned int lang_mask
);
386 static void handle_param (const char *);
387 static void set_Wextra (int);
388 static unsigned int handle_option (const char **argv
, unsigned int lang_mask
);
389 static char *write_langs (unsigned int lang_mask
);
390 static void complain_wrong_lang (const char *, const struct cl_option
*,
391 unsigned int lang_mask
);
392 static void handle_options (unsigned int, const char **, unsigned int);
393 static void set_debug_level (enum debug_info_type type
, int extended
,
396 /* If ARG is a non-negative integer made up solely of digits, return its
397 value, otherwise return -1. */
399 integral_argument (const char *arg
)
403 while (*p
&& ISDIGIT (*p
))
412 /* Return a malloced slash-separated list of languages in MASK. */
414 write_langs (unsigned int mask
)
416 unsigned int n
= 0, len
= 0;
417 const char *lang_name
;
420 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
421 if (mask
& (1U << n
))
422 len
+= strlen (lang_name
) + 1;
424 result
= XNEWVEC (char, len
);
426 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
427 if (mask
& (1U << n
))
431 strcpy (result
+ len
, lang_name
);
432 len
+= strlen (lang_name
);
440 /* Complain that switch OPT_INDEX does not apply to this front end. */
442 complain_wrong_lang (const char *text
, const struct cl_option
*option
,
443 unsigned int lang_mask
)
445 char *ok_langs
, *bad_lang
;
447 ok_langs
= write_langs (option
->flags
);
448 bad_lang
= write_langs (lang_mask
);
450 /* Eventually this should become a hard error IMO. */
451 warning (0, "command line option \"%s\" is valid for %s but not for %s",
452 text
, ok_langs
, bad_lang
);
458 /* Buffer the unknown option described by the string OPT. Currently,
459 we only complain about unknown -Wno-* options if they may have
460 prevented a diagnostic. Otherwise, we just ignore them.
461 Note that if we do complain, it is only as a warning, not an error;
462 passing the compiler an unrecognised -Wno-* option should never
463 change whether the compilation succeeds or fails. */
465 static void postpone_unknown_option_warning(const char *opt
)
467 VEC_safe_push (const_char_p
, heap
, ignored_options
, opt
);
470 /* Produce a warning for each option previously buffered. */
472 void print_ignored_options (void)
474 location_t saved_loc
= input_location
;
478 while (!VEC_empty (const_char_p
, ignored_options
))
481 opt
= VEC_pop (const_char_p
, ignored_options
);
482 warning (0, "unrecognized command line option \"%s\"", opt
);
485 input_location
= saved_loc
;
488 /* Handle the switch beginning at ARGV for the language indicated by
489 LANG_MASK. Returns the number of switches consumed. */
491 handle_option (const char **argv
, unsigned int lang_mask
)
494 const char *opt
, *arg
= 0;
497 unsigned int result
= 0;
498 const struct cl_option
*option
;
502 opt_index
= find_opt (opt
+ 1, lang_mask
| CL_COMMON
| CL_TARGET
);
503 if (opt_index
== cl_options_count
504 && (opt
[1] == 'W' || opt
[1] == 'f' || opt
[1] == 'm')
505 && opt
[2] == 'n' && opt
[3] == 'o' && opt
[4] == '-')
507 /* Drop the "no-" from negative switches. */
508 size_t len
= strlen (opt
) - 3;
510 dup
= XNEWVEC (char, len
+ 1);
513 memcpy (dup
+ 2, opt
+ 5, len
- 2 + 1);
516 opt_index
= find_opt (opt
+ 1, lang_mask
| CL_COMMON
| CL_TARGET
);
517 if (opt_index
== cl_options_count
&& opt
[1] == 'W')
519 /* We don't generate warnings for unknown -Wno-* options
520 unless we issue diagnostics. */
521 postpone_unknown_option_warning (argv
[0]);
527 if (opt_index
== cl_options_count
)
530 option
= &cl_options
[opt_index
];
532 /* Reject negative form of switches that don't take negatives as
534 if (!value
&& (option
->flags
& CL_REJECT_NEGATIVE
))
537 /* We've recognized this switch. */
540 /* Check to see if the option is disabled for this configuration. */
541 if (option
->flags
& CL_DISABLED
)
543 error ("command line option %qs"
544 " is not supported by this configuration", opt
);
548 /* Sort out any argument the switch takes. */
549 if (option
->flags
& CL_JOINED
)
551 /* Have arg point to the original switch. This is because
552 some code, such as disable_builtin_function, expects its
553 argument to be persistent until the program exits. */
554 arg
= argv
[0] + cl_options
[opt_index
].opt_len
+ 1;
556 arg
+= strlen ("no-");
558 if (*arg
== '\0' && !(option
->flags
& CL_MISSING_OK
))
560 if (option
->flags
& CL_SEPARATE
)
566 /* Missing argument. */
570 else if (option
->flags
& CL_SEPARATE
)
576 /* Now we've swallowed any potential argument, complain if this
577 is a switch for a different front end. */
578 if (!(option
->flags
& (lang_mask
| CL_COMMON
| CL_TARGET
)))
580 complain_wrong_lang (argv
[0], option
, lang_mask
);
583 else if ((option
->flags
& CL_TARGET
)
584 && (option
->flags
& CL_LANG_ALL
)
585 && !(option
->flags
& lang_mask
))
587 /* Complain for target flag language mismatches if any languages
589 complain_wrong_lang (argv
[0], option
, lang_mask
);
593 if (arg
== NULL
&& (option
->flags
& (CL_JOINED
| CL_SEPARATE
)))
595 if (!lang_hooks
.missing_argument (opt
, opt_index
))
596 error ("missing argument to \"%s\"", opt
);
600 /* If the switch takes an integer, convert it. */
601 if (arg
&& (option
->flags
& CL_UINTEGER
))
603 value
= integral_argument (arg
);
606 error ("argument to \"%s\" should be a non-negative integer",
612 if (option
->flag_var
)
613 switch (option
->var_type
)
616 *(int *) option
->flag_var
= value
;
620 *(int *) option
->flag_var
= (value
622 : !option
->var_value
);
627 if ((value
!= 0) == (option
->var_type
== CLVC_BIT_SET
))
628 *(int *) option
->flag_var
|= option
->var_value
;
630 *(int *) option
->flag_var
&= ~option
->var_value
;
631 if (option
->flag_var
== &target_flags
)
632 target_flags_explicit
|= option
->var_value
;
636 *(const char **) option
->flag_var
= arg
;
640 if (option
->flags
& lang_mask
)
641 if (lang_hooks
.handle_option (opt_index
, arg
, value
) == 0)
644 if (result
&& (option
->flags
& CL_COMMON
))
645 if (common_handle_option (opt_index
, arg
, value
, lang_mask
) == 0)
648 if (result
&& (option
->flags
& CL_TARGET
))
649 if (!targetm
.handle_option (opt_index
, arg
, value
))
658 /* Handle FILENAME from the command line. */
660 add_input_filename (const char *filename
)
663 in_fnames
= XRESIZEVEC (const char *, in_fnames
, num_in_fnames
);
664 in_fnames
[num_in_fnames
- 1] = filename
;
667 /* Add comma-separated strings to a char_p vector. */
670 add_comma_separated_to_vector (VEC(char_p
,heap
) **pvec
, const char* arg
)
677 /* We never free this string. */
690 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
693 if (*r
== '\\' && r
[1] == ',')
701 if (*token_start
!= '\0')
702 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
705 /* Return whether we should exclude FNDECL from instrumentation. */
708 flag_instrument_functions_exclude_p (tree fndecl
)
710 if (VEC_length (char_p
, flag_instrument_functions_exclude_functions
) > 0)
716 name
= lang_hooks
.decl_printable_name (fndecl
, 0);
718 VEC_iterate (char_p
, flag_instrument_functions_exclude_functions
,
722 if (strstr (name
, s
) != NULL
)
727 if (VEC_length (char_p
, flag_instrument_functions_exclude_files
) > 0)
733 name
= DECL_SOURCE_FILE (fndecl
);
735 VEC_iterate (char_p
, flag_instrument_functions_exclude_files
, i
, s
);
738 if (strstr (name
, s
) != NULL
)
747 /* Return whether this function call is disallowed. */
749 warn_if_disallowed_function_p (const_tree exp
)
751 if (TREE_CODE(exp
) == CALL_EXPR
752 && VEC_length (char_p
, warning_disallowed_functions
) > 0)
757 IDENTIFIER_POINTER (DECL_NAME (get_callee_fndecl (exp
)));
758 for (i
= 0; VEC_iterate (char_p
, warning_disallowed_functions
, i
, s
);
761 if (strcmp (fnname
, s
) == 0)
763 warning (OPT_Wdisallowed_function_list_
,
764 "disallowed call to %qs", fnname
);
771 /* Decode and handle the vector of command line options. LANG_MASK
772 contains has a single bit set representing the current
775 handle_options (unsigned int argc
, const char **argv
, unsigned int lang_mask
)
779 for (i
= 1; i
< argc
; i
+= n
)
781 const char *opt
= argv
[i
];
783 /* Interpret "-" or a non-switch as a file name. */
784 if (opt
[0] != '-' || opt
[1] == '\0')
786 if (main_input_filename
== NULL
)
788 main_input_filename
= opt
;
789 main_input_baselength
790 = base_of_path (main_input_filename
, &main_input_basename
);
792 add_input_filename (opt
);
797 n
= handle_option (argv
+ i
, lang_mask
);
802 error ("unrecognized command line option \"%s\"", opt
);
807 /* Parse command line options and set default flag values. Do minimal
808 options processing. */
810 decode_options (unsigned int argc
, const char **argv
)
812 static bool first_time_p
= true;
813 static int initial_max_aliased_vops
;
814 static int initial_avg_aliased_vops
;
815 static int initial_min_crossjump_insns
;
816 static int initial_max_fields_for_field_sensitive
;
817 static unsigned int initial_lang_mask
;
819 unsigned int i
, lang_mask
;
827 /* Perform language-specific options initialization. */
828 initial_lang_mask
= lang_mask
= lang_hooks
.init_options (argc
, argv
);
830 lang_hooks
.initialize_diagnostics (global_dc
);
832 /* Save initial values of parameters we reset. */
833 initial_max_aliased_vops
= MAX_ALIASED_VOPS
;
834 initial_avg_aliased_vops
= AVG_ALIASED_VOPS
;
835 initial_min_crossjump_insns
836 = compiler_params
[PARAM_MIN_CROSSJUMP_INSNS
].value
;
837 initial_max_fields_for_field_sensitive
838 = compiler_params
[PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
].value
;
841 lang_mask
= initial_lang_mask
;
843 /* Scan to see what optimization level has been specified. That will
844 determine the default value of many flags. */
845 for (i
= 1; i
< argc
; i
++)
847 if (!strcmp (argv
[i
], "-O"))
852 else if (argv
[i
][0] == '-' && argv
[i
][1] == 'O')
854 /* Handle -Os, -O2, -O3, -O69, ... */
855 const char *p
= &argv
[i
][2];
857 if ((p
[0] == 's') && (p
[1] == 0))
861 /* Optimizing for size forces optimize to be 2. */
866 const int optimize_val
= read_integral_parameter (p
, p
- 2, -1);
867 if (optimize_val
!= -1)
869 optimize
= optimize_val
;
877 if (!flag_unit_at_a_time
)
879 flag_section_anchors
= 0;
880 flag_toplevel_reorder
= 0;
881 flag_unit_at_a_time
= 1;
883 if (!flag_toplevel_reorder
)
885 if (flag_section_anchors
== 1)
886 error ("Section anchors must be disabled when toplevel reorder is disabled.");
887 flag_section_anchors
= 0;
890 /* Originally we just set the variables if a particular optimization level,
891 but with the advent of being able to change the optimization level for a
892 function, we need to reset optimizations. */
895 flag_merge_constants
= 0;
897 /* We disable toplevel reordering at -O0 to disable transformations that
898 might be surprising to end users and to get -fno-toplevel-reorder
899 tested, but we keep section anchors. */
900 if (flag_toplevel_reorder
== 2)
901 flag_toplevel_reorder
= 0;
904 flag_merge_constants
= 1;
906 /* -O1 optimizations. */
907 opt1
= (optimize
>= 1);
908 flag_defer_pop
= opt1
;
910 flag_delayed_branch
= opt1
;
912 #ifdef CAN_DEBUG_WITHOUT_FP
913 flag_omit_frame_pointer
= opt1
;
915 flag_guess_branch_prob
= opt1
;
916 flag_cprop_registers
= opt1
;
917 flag_if_conversion
= opt1
;
918 flag_if_conversion2
= opt1
;
919 flag_ipa_pure_const
= opt1
;
920 flag_ipa_reference
= opt1
;
921 flag_split_wide_types
= opt1
;
922 flag_tree_ccp
= opt1
;
923 flag_tree_dce
= opt1
;
924 flag_tree_dom
= opt1
;
925 flag_tree_dse
= opt1
;
926 flag_tree_ter
= opt1
;
927 flag_tree_sra
= opt1
;
928 flag_tree_copyrename
= opt1
;
929 flag_tree_fre
= opt1
;
930 flag_tree_copy_prop
= opt1
;
931 flag_tree_sink
= opt1
;
934 /* -O2 optimizations. */
935 opt2
= (optimize
>= 2);
936 flag_inline_small_functions
= opt2
;
937 flag_thread_jumps
= opt2
;
938 flag_crossjumping
= opt2
;
939 flag_optimize_sibling_calls
= opt2
;
940 flag_forward_propagate
= opt2
;
941 flag_cse_follow_jumps
= opt2
;
943 flag_expensive_optimizations
= opt2
;
944 flag_rerun_cse_after_loop
= opt2
;
945 flag_caller_saves
= opt2
;
946 flag_peephole2
= opt2
;
947 #ifdef INSN_SCHEDULING
948 flag_schedule_insns
= opt2
;
949 flag_schedule_insns_after_reload
= opt2
;
952 flag_strict_aliasing
= opt2
;
953 flag_strict_overflow
= opt2
;
954 flag_delete_null_pointer_checks
= opt2
;
955 flag_reorder_blocks
= opt2
;
956 flag_reorder_functions
= opt2
;
957 flag_tree_store_ccp
= opt2
;
958 flag_tree_vrp
= opt2
;
959 flag_tree_builtin_call_dce
= opt2
;
960 flag_tree_pre
= opt2
;
961 flag_tree_switch_conversion
= 1;
963 /* Allow more virtual operators to increase alias precision. */
965 set_param_value ("max-aliased-vops",
966 (opt2
) ? 500 : initial_max_aliased_vops
);
968 /* Track fields in field-sensitive alias analysis. */
969 set_param_value ("max-fields-for-field-sensitive",
970 (opt2
) ? 100 : initial_max_fields_for_field_sensitive
);
972 /* -O3 optimizations. */
973 opt3
= (optimize
>= 3);
974 flag_predictive_commoning
= opt3
;
975 flag_inline_functions
= opt3
;
976 flag_unswitch_loops
= opt3
;
977 flag_gcse_after_reload
= opt3
;
978 flag_tree_vectorize
= opt3
;
980 /* Allow even more virtual operators. Max-aliased-vops was set above for
981 -O2, so don't reset it unless we are at -O3. */
983 set_param_value ("max-aliased-vops", 1000);
985 set_param_value ("avg-aliased-vops", (opt3
) ? 3 : initial_avg_aliased_vops
);
987 /* Just -O1/-O0 optimizations. */
988 opt1_max
= (optimize
<= 1);
989 align_loops
= opt1_max
;
990 align_jumps
= opt1_max
;
991 align_labels
= opt1_max
;
992 align_functions
= opt1_max
;
996 /* Loop header copying usually increases size of the code. This used not to
997 be true, since quite often it is possible to verify that the condition is
998 satisfied in the first iteration and therefore to eliminate it. Jump
999 threading handles these cases now. */
1002 /* Conditional DCE generates bigger code. */
1003 flag_tree_builtin_call_dce
= 0;
1005 /* PRE tends to generate bigger code. */
1008 /* These options are set with -O3, so reset for -Os */
1009 flag_predictive_commoning
= 0;
1010 flag_inline_functions
= 0;
1011 flag_unswitch_loops
= 0;
1012 flag_gcse_after_reload
= 0;
1013 flag_tree_vectorize
= 0;
1015 /* Don't reorder blocks when optimizing for size because extra jump insns may
1016 be created; also barrier may create extra padding.
1018 More correctly we should have a block reordering mode that tried to
1019 minimize the combined size of all the jumps. This would more or less
1020 automatically remove extra jumps, but would also try to use more short
1021 jumps instead of long jumps. */
1022 flag_reorder_blocks
= 0;
1023 flag_reorder_blocks_and_partition
= 0;
1025 /* Inlining of functions reducing size is a good idea regardless of them
1026 being declared inline. */
1027 flag_inline_functions
= 1;
1029 /* Don't align code. */
1033 align_functions
= 1;
1035 /* Unroll/prefetch switches that may be set on the command line, and tend to
1036 generate bigger code. */
1037 flag_unroll_loops
= 0;
1038 flag_unroll_all_loops
= 0;
1039 flag_prefetch_loop_arrays
= 0;
1041 /* Basic optimization options. */
1046 /* We want to crossjump as much as possible. */
1047 set_param_value ("min-crossjump-insns", 1);
1050 set_param_value ("min-crossjump-insns", initial_min_crossjump_insns
);
1054 /* Initialize whether `char' is signed. */
1055 flag_signed_char
= DEFAULT_SIGNED_CHAR
;
1056 /* Set this to a special "uninitialized" value. The actual default is
1057 set after target options have been processed. */
1058 flag_short_enums
= 2;
1060 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
1062 target_flags
= targetm
.default_target_flags
;
1064 /* Some targets have ABI-specified unwind tables. */
1065 flag_unwind_tables
= targetm
.unwind_tables_default
;
1068 #ifdef OPTIMIZATION_OPTIONS
1069 /* Allow default optimizations to be specified on a per-machine basis. */
1070 OPTIMIZATION_OPTIONS (optimize
, optimize_size
);
1073 handle_options (argc
, argv
, lang_mask
);
1078 flag_pic
= flag_pie
;
1079 if (flag_pic
&& !flag_pie
)
1082 if (flag_no_inline
== 2)
1085 flag_really_no_inline
= flag_no_inline
;
1088 /* Set flag_no_inline before the post_options () hook. The C front
1089 ends use it to determine tree inlining defaults. FIXME: such
1090 code should be lang-independent when all front ends use tree
1091 inlining, in which case it, and this condition, should be moved
1092 to the top of process_options() instead. */
1095 /* Inlining does not work if not optimizing,
1096 so force it not to be done. */
1100 /* The c_decode_option function and decode_option hook set
1101 this to `2' if -Wall is used, so we can avoid giving out
1102 lots of errors for people who don't realize what -Wall does. */
1103 if (warn_uninitialized
== 1)
1104 warning (OPT_Wuninitialized
,
1105 "-Wuninitialized is not supported without -O");
1108 if (flag_really_no_inline
== 2)
1109 flag_really_no_inline
= flag_no_inline
;
1111 /* Inlining of functions called just once will only work if we can look
1112 at the complete translation unit. */
1113 if (flag_inline_functions_called_once
&& !flag_unit_at_a_time
)
1115 flag_inline_functions_called_once
= 0;
1116 warning (OPT_Wdisabled_optimization
,
1117 "-funit-at-a-time is required for inlining of functions "
1118 "that are only called once");
1121 /* The optimization to partition hot and cold basic blocks into separate
1122 sections of the .o and executable files does not work (currently)
1123 with exception handling. This is because there is no support for
1124 generating unwind info. If flag_exceptions is turned on we need to
1125 turn off the partitioning optimization. */
1127 if (flag_exceptions
&& flag_reorder_blocks_and_partition
)
1130 ("-freorder-blocks-and-partition does not work with exceptions");
1131 flag_reorder_blocks_and_partition
= 0;
1132 flag_reorder_blocks
= 1;
1135 /* If user requested unwind info, then turn off the partitioning
1138 if (flag_unwind_tables
&& ! targetm
.unwind_tables_default
1139 && flag_reorder_blocks_and_partition
)
1141 inform ("-freorder-blocks-and-partition does not support unwind info");
1142 flag_reorder_blocks_and_partition
= 0;
1143 flag_reorder_blocks
= 1;
1146 /* If the target requested unwind info, then turn off the partitioning
1147 optimization with a different message. Likewise, if the target does not
1148 support named sections. */
1150 if (flag_reorder_blocks_and_partition
1151 && (!targetm
.have_named_sections
1152 || (flag_unwind_tables
&& targetm
.unwind_tables_default
)))
1155 ("-freorder-blocks-and-partition does not work on this architecture");
1156 flag_reorder_blocks_and_partition
= 0;
1157 flag_reorder_blocks
= 1;
1160 /* Save the current optimization options if this is the first call. */
1163 optimization_default_node
= build_optimization_node ();
1164 optimization_current_node
= optimization_default_node
;
1165 first_time_p
= false;
1169 #define LEFT_COLUMN 27
1171 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1172 followed by word-wrapped HELP in a second column. */
1174 wrap_help (const char *help
,
1176 unsigned int item_width
,
1177 unsigned int columns
)
1179 unsigned int col_width
= LEFT_COLUMN
;
1180 unsigned int remaining
, room
, len
;
1182 remaining
= strlen (help
);
1186 room
= columns
- 3 - MAX (col_width
, item_width
);
1195 for (i
= 0; help
[i
]; i
++)
1197 if (i
>= room
&& len
!= remaining
)
1201 else if ((help
[i
] == '-' || help
[i
] == '/')
1202 && help
[i
+ 1] != ' '
1203 && i
> 0 && ISALPHA (help
[i
- 1]))
1208 printf( " %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1210 while (help
[len
] == ' ')
1218 /* Print help for a specific front-end, etc. */
1220 print_filtered_help (unsigned int include_flags
,
1221 unsigned int exclude_flags
,
1222 unsigned int any_flags
,
1223 unsigned int columns
)
1227 static char *printed
= NULL
;
1229 bool displayed
= false;
1231 if (include_flags
== CL_PARAMS
)
1233 for (i
= 0; i
< LAST_PARAM
; i
++)
1235 const char *param
= compiler_params
[i
].option
;
1237 help
= compiler_params
[i
].help
;
1238 if (help
== NULL
|| *help
== '\0')
1240 if (exclude_flags
& CL_UNDOCUMENTED
)
1242 help
= undocumented_msg
;
1245 /* Get the translation. */
1248 wrap_help (help
, param
, strlen (param
), columns
);
1255 printed
= XCNEWVAR (char, cl_options_count
);
1257 for (i
= 0; i
< cl_options_count
; i
++)
1259 static char new_help
[128];
1260 const struct cl_option
*option
= cl_options
+ i
;
1265 if (include_flags
== 0
1266 || ((option
->flags
& include_flags
) != include_flags
))
1268 if ((option
->flags
& any_flags
) == 0)
1272 /* Skip unwanted switches. */
1273 if ((option
->flags
& exclude_flags
) != 0)
1277 /* Skip switches that have already been printed. */
1283 help
= option
->help
;
1286 if (exclude_flags
& CL_UNDOCUMENTED
)
1288 help
= undocumented_msg
;
1291 /* Get the translation. */
1294 /* Find the gap between the name of the
1295 option and its descriptive text. */
1296 tab
= strchr (help
, '\t');
1305 opt
= option
->opt_text
;
1309 /* With the -Q option enabled we change the descriptive text associated
1310 with an option to be an indication of its current setting. */
1313 if (len
< (LEFT_COLUMN
+ 2))
1314 strcpy (new_help
, "\t\t");
1316 strcpy (new_help
, "\t");
1318 if (option
->flag_var
!= NULL
)
1320 if (option
->flags
& CL_JOINED
)
1322 if (option
->var_type
== CLVC_STRING
)
1324 if (* (const char **) option
->flag_var
!= NULL
)
1325 snprintf (new_help
+ strlen (new_help
),
1326 sizeof (new_help
) - strlen (new_help
),
1327 * (const char **) option
->flag_var
);
1330 sprintf (new_help
+ strlen (new_help
),
1331 "%#x", * (int *) option
->flag_var
);
1334 strcat (new_help
, option_enabled (i
)
1335 ? _("[enabled]") : _("[disabled]"));
1341 wrap_help (help
, opt
, len
, columns
);
1347 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1350 printf (_(" No options with the desired characteristics were found\n"));
1355 /* PR 31349: Tell the user how to see all of the
1356 options supported by a specific front end. */
1357 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1358 if ((1U << i
) & langs
)
1359 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1360 lang_names
[i
], lang_names
[i
]);
1364 else if (! displayed
)
1365 printf (_(" All options with the desired characteristics have already been displayed\n"));
1370 /* Display help for a specified type of option.
1371 The options must have ALL of the INCLUDE_FLAGS set
1372 ANY of the flags in the ANY_FLAGS set
1373 and NONE of the EXCLUDE_FLAGS set. */
1375 print_specific_help (unsigned int include_flags
,
1376 unsigned int exclude_flags
,
1377 unsigned int any_flags
)
1379 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1380 const char * description
= NULL
;
1381 const char * descrip_extra
= "";
1384 static unsigned int columns
= 0;
1386 /* Sanity check: Make sure that we do not have more
1387 languages than we have bits available to enumerate them. */
1388 gcc_assert ((1U << cl_lang_count
) < CL_MIN_OPTION_CLASS
);
1390 /* If we have not done so already, obtain
1391 the desired maximum width of the output. */
1396 GET_ENVIRONMENT (p
, "COLUMNS");
1399 int value
= atoi (p
);
1406 /* Use a reasonable default. */
1410 /* Decide upon the title for the options that we are going to display. */
1411 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1413 switch (flag
& include_flags
)
1419 description
= _("The following options are target specific");
1422 description
= _("The following options control compiler warning messages");
1424 case CL_OPTIMIZATION
:
1425 description
= _("The following options control optimizations");
1428 description
= _("The following options are language-independent");
1431 description
= _("The --param option recognizes the following as parameters");
1434 if (i
>= cl_lang_count
)
1436 if ((exclude_flags
& ((1U << cl_lang_count
) - 1)) != 0)
1437 description
= _("The following options are specific to just the language ");
1439 description
= _("The following options are supported by the language ");
1440 descrip_extra
= lang_names
[i
];
1445 if (description
== NULL
)
1449 if (include_flags
== CL_UNDOCUMENTED
)
1450 description
= _("The following options are not documented");
1453 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1460 if (any_flags
& all_langs_mask
)
1461 description
= _("The following options are language-related");
1463 description
= _("The following options are language-independent");
1467 printf ("%s%s:\n", description
, descrip_extra
);
1468 print_filtered_help (include_flags
, exclude_flags
, any_flags
, columns
);
1471 /* Handle target- and language-independent options. Return zero to
1472 generate an "unknown option" message. Only options that need
1473 extra handling need to be listed here; if you simply want
1474 VALUE assigned to a variable, it happens automatically. */
1477 common_handle_option (size_t scode
, const char *arg
, int value
,
1478 unsigned int lang_mask
)
1480 static bool verbose
= false;
1481 enum opt_code code
= (enum opt_code
) scode
;
1496 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1497 unsigned int undoc_mask
;
1500 undoc_mask
= (verbose
| extra_warnings
) ? 0 : CL_UNDOCUMENTED
;
1501 /* First display any single language specific options. */
1502 for (i
= 0; i
< cl_lang_count
; i
++)
1504 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0);
1505 /* Next display any multi language specific options. */
1506 print_specific_help (0, undoc_mask
, all_langs_mask
);
1507 /* Then display any remaining, non-language options. */
1508 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1509 print_specific_help (i
, undoc_mask
, 0);
1510 exit_after_options
= true;
1514 case OPT_ftarget_help
:
1515 case OPT__target_help
:
1516 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0);
1517 exit_after_options
= true;
1519 /* Allow the target a chance to give the user some additional information. */
1520 if (targetm
.target_help
)
1521 targetm
.target_help ();
1527 const char * a
= arg
;
1528 unsigned int include_flags
= 0;
1529 /* Note - by default we include undocumented options when listing
1530 specific classes. If you only want to see documented options
1531 then add ",^undocumented" to the --help= option. E.g.:
1533 --help=target,^undocumented */
1534 unsigned int exclude_flags
= 0;
1536 /* Walk along the argument string, parsing each word in turn.
1538 arg = [^]{word}[,{arg}]
1539 word = {optimizers|target|warnings|undocumented|
1540 params|common|<language>} */
1545 const char * string
;
1550 { "optimizers", CL_OPTIMIZATION
},
1551 { "target", CL_TARGET
},
1552 { "warnings", CL_WARNING
},
1553 { "undocumented", CL_UNDOCUMENTED
},
1554 { "params", CL_PARAMS
},
1555 { "joined", CL_JOINED
},
1556 { "separate", CL_SEPARATE
},
1557 { "common", CL_COMMON
},
1560 unsigned int * pflags
;
1562 unsigned int lang_flag
, specific_flag
;
1569 pflags
= & exclude_flags
;
1572 pflags
= & include_flags
;
1574 comma
= strchr (a
, ',');
1580 /* Check to see if the string matches an option class name. */
1581 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1582 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1584 specific_flag
= specifics
[i
].flag
;
1588 /* Check to see if the string matches a language name.
1589 Note - we rely upon the alpha-sorted nature of the entries in
1590 the lang_names array, specifically that shorter names appear
1591 before their longer variants. (i.e. C before C++). That way
1592 when we are attempting to match --help=c for example we will
1593 match with C first and not C++. */
1594 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1595 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1597 lang_flag
= 1U << i
;
1601 if (specific_flag
!= 0)
1604 * pflags
|= specific_flag
;
1607 /* The option's argument matches both the start of a
1608 language name and the start of an option class name.
1609 We have a special case for when the user has
1610 specified "--help=c", but otherwise we have to issue
1612 if (strncasecmp (a
, "c", len
) == 0)
1613 * pflags
|= lang_flag
;
1616 "warning: --help argument %.*s is ambiguous, please be more specific\n",
1620 else if (lang_flag
!= 0)
1621 * pflags
|= lang_flag
;
1624 "warning: unrecognized argument to --help= option: %.*s\n",
1633 print_specific_help (include_flags
, exclude_flags
, 0);
1634 exit_after_options
= true;
1639 print_version (stderr
, "");
1640 exit_after_options
= true;
1644 g_switch_value
= value
;
1645 g_switch_set
= true;
1650 /* Currently handled in a prescan. */
1654 /* For backward compatibility, -W is the same as -Wextra. */
1658 case OPT_Wdisallowed_function_list_
:
1659 warn_disallowed_functions
= true;
1660 add_comma_separated_to_vector
1661 (&warning_disallowed_functions
, arg
);
1665 enable_warning_as_error (arg
, value
, lang_mask
);
1672 case OPT_Wlarger_than_
:
1673 /* This form corresponds to -Wlarger-than-.
1674 Kept for backward compatibility.
1675 Don't use it as the first argument of warning(). */
1677 case OPT_Wlarger_than_eq
:
1678 larger_than_size
= value
;
1679 warn_larger_than
= value
!= -1;
1682 case OPT_Wframe_larger_than_
:
1683 frame_larger_than_size
= value
;
1684 warn_frame_larger_than
= value
!= -1;
1687 case OPT_Wstrict_aliasing
:
1688 set_Wstrict_aliasing (value
);
1691 case OPT_Wstrict_aliasing_
:
1692 warn_strict_aliasing
= value
;
1695 case OPT_Wstrict_overflow
:
1696 warn_strict_overflow
= (value
1697 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1701 case OPT_Wstrict_overflow_
:
1702 warn_strict_overflow
= value
;
1706 set_Wunused (value
);
1711 aux_info_file_name
= arg
;
1712 flag_gen_aux_info
= 1;
1716 aux_base_name
= arg
;
1719 case OPT_auxbase_strip
:
1721 char *tmp
= xstrdup (arg
);
1722 strip_off_ending (tmp
, strlen (tmp
));
1724 aux_base_name
= tmp
;
1729 decode_d_option (arg
);
1733 dump_base_name
= arg
;
1736 case OPT_falign_functions_
:
1737 align_functions
= value
;
1740 case OPT_falign_jumps_
:
1741 align_jumps
= value
;
1744 case OPT_falign_labels_
:
1745 align_labels
= value
;
1748 case OPT_falign_loops_
:
1749 align_loops
= value
;
1752 case OPT_fbranch_probabilities
:
1753 flag_branch_probabilities_set
= true;
1756 case OPT_fcall_used_
:
1757 fix_register (arg
, 0, 1);
1760 case OPT_fcall_saved_
:
1761 fix_register (arg
, 0, 0);
1765 dbg_cnt_process_opt (arg
);
1768 case OPT_fdbg_cnt_list
:
1769 dbg_cnt_list_all_counters ();
1772 case OPT_fdebug_prefix_map_
:
1773 add_debug_prefix_map (arg
);
1776 case OPT_fdiagnostics_show_location_
:
1777 if (!strcmp (arg
, "once"))
1778 diagnostic_prefixing_rule (global_dc
) = DIAGNOSTICS_SHOW_PREFIX_ONCE
;
1779 else if (!strcmp (arg
, "every-line"))
1780 diagnostic_prefixing_rule (global_dc
)
1781 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE
;
1786 case OPT_fdiagnostics_show_option
:
1787 global_dc
->show_option_requested
= true;
1791 if (!dump_switch_p (arg
))
1795 case OPT_ffast_math
:
1796 set_fast_math_flags (value
);
1799 case OPT_funsafe_math_optimizations
:
1800 set_unsafe_math_optimizations_flags (value
);
1804 fix_register (arg
, 1, 1);
1807 case OPT_finline_limit_
:
1808 case OPT_finline_limit_eq
:
1809 set_param_value ("max-inline-insns-single", value
/ 2);
1810 set_param_value ("max-inline-insns-auto", value
/ 2);
1813 case OPT_finstrument_functions_exclude_function_list_
:
1814 add_comma_separated_to_vector
1815 (&flag_instrument_functions_exclude_functions
, arg
);
1818 case OPT_finstrument_functions_exclude_file_list_
:
1819 add_comma_separated_to_vector
1820 (&flag_instrument_functions_exclude_files
, arg
);
1823 case OPT_fmessage_length_
:
1824 pp_set_line_maximum_length (global_dc
->printer
, value
);
1827 case OPT_fpack_struct_
:
1828 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1829 error ("structure alignment must be a small power of two, not %d", value
);
1832 initial_max_fld_align
= value
;
1833 maximum_field_alignment
= value
* BITS_PER_UNIT
;
1837 case OPT_fpeel_loops
:
1838 flag_peel_loops_set
= true;
1841 case OPT_fprofile_arcs
:
1842 profile_arc_flag_set
= true;
1845 case OPT_finline_functions
:
1846 flag_inline_functions_set
= true;
1849 case OPT_fprofile_dir_
:
1850 profile_data_prefix
= xstrdup (arg
);
1853 case OPT_fprofile_use_
:
1854 profile_data_prefix
= xstrdup (arg
);
1855 flag_profile_use
= true;
1857 /* No break here - do -fprofile-use processing. */
1858 case OPT_fprofile_use
:
1859 if (!flag_branch_probabilities_set
)
1860 flag_branch_probabilities
= value
;
1861 if (!flag_profile_values_set
)
1862 flag_profile_values
= value
;
1863 if (!flag_unroll_loops_set
)
1864 flag_unroll_loops
= value
;
1865 if (!flag_peel_loops_set
)
1866 flag_peel_loops
= value
;
1867 if (!flag_tracer_set
)
1868 flag_tracer
= value
;
1869 if (!flag_value_profile_transformations_set
)
1870 flag_value_profile_transformations
= value
;
1871 if (!flag_inline_functions_set
)
1872 flag_inline_functions
= value
;
1875 case OPT_fprofile_generate_
:
1876 profile_data_prefix
= xstrdup (arg
);
1878 /* No break here - do -fprofile-generate processing. */
1879 case OPT_fprofile_generate
:
1880 if (!profile_arc_flag_set
)
1881 profile_arc_flag
= value
;
1882 if (!flag_profile_values_set
)
1883 flag_profile_values
= value
;
1884 if (!flag_value_profile_transformations_set
)
1885 flag_value_profile_transformations
= value
;
1886 if (!flag_inline_functions_set
)
1887 flag_inline_functions
= value
;
1890 case OPT_fprofile_values
:
1891 flag_profile_values_set
= true;
1894 case OPT_fvisibility_
:
1896 if (!strcmp(arg
, "default"))
1897 default_visibility
= VISIBILITY_DEFAULT
;
1898 else if (!strcmp(arg
, "internal"))
1899 default_visibility
= VISIBILITY_INTERNAL
;
1900 else if (!strcmp(arg
, "hidden"))
1901 default_visibility
= VISIBILITY_HIDDEN
;
1902 else if (!strcmp(arg
, "protected"))
1903 default_visibility
= VISIBILITY_PROTECTED
;
1905 error ("unrecognized visibility value \"%s\"", arg
);
1910 flag_value_profile_transformations_set
= true;
1913 case OPT_frandom_seed
:
1914 /* The real switch is -fno-random-seed. */
1917 set_random_seed (NULL
);
1920 case OPT_frandom_seed_
:
1921 set_random_seed (arg
);
1924 case OPT_fsched_verbose_
:
1925 #ifdef INSN_SCHEDULING
1926 fix_sched_param ("verbose", arg
);
1932 case OPT_fsched_stalled_insns_
:
1933 flag_sched_stalled_insns
= value
;
1934 if (flag_sched_stalled_insns
== 0)
1935 flag_sched_stalled_insns
= -1;
1938 case OPT_fsched_stalled_insns_dep_
:
1939 flag_sched_stalled_insns_dep
= value
;
1942 case OPT_fstack_limit
:
1943 /* The real switch is -fno-stack-limit. */
1946 stack_limit_rtx
= NULL_RTX
;
1949 case OPT_fstack_limit_register_
:
1951 int reg
= decode_reg_name (arg
);
1953 error ("unrecognized register name \"%s\"", arg
);
1955 stack_limit_rtx
= gen_rtx_REG (Pmode
, reg
);
1959 case OPT_fstack_limit_symbol_
:
1960 stack_limit_rtx
= gen_rtx_SYMBOL_REF (Pmode
, ggc_strdup (arg
));
1963 case OPT_ftree_vectorizer_verbose_
:
1964 vect_set_verbosity_level (arg
);
1967 case OPT_ftls_model_
:
1968 if (!strcmp (arg
, "global-dynamic"))
1969 flag_tls_default
= TLS_MODEL_GLOBAL_DYNAMIC
;
1970 else if (!strcmp (arg
, "local-dynamic"))
1971 flag_tls_default
= TLS_MODEL_LOCAL_DYNAMIC
;
1972 else if (!strcmp (arg
, "initial-exec"))
1973 flag_tls_default
= TLS_MODEL_INITIAL_EXEC
;
1974 else if (!strcmp (arg
, "local-exec"))
1975 flag_tls_default
= TLS_MODEL_LOCAL_EXEC
;
1977 warning (0, "unknown tls-model \"%s\"", arg
);
1981 flag_tracer_set
= true;
1984 case OPT_funroll_loops
:
1985 flag_unroll_loops_set
= true;
1989 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
);
1993 set_debug_level (SDB_DEBUG
, false, arg
);
1997 set_debug_level (DWARF2_DEBUG
, false, arg
);
2001 set_debug_level (NO_DEBUG
, 2, arg
);
2006 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
);
2010 set_debug_level (VMS_DEBUG
, false, arg
);
2015 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
);
2019 asm_file_name
= arg
;
2022 case OPT_pedantic_errors
:
2023 flag_pedantic_errors
= pedantic
= 1;
2026 case OPT_floop_optimize
:
2027 case OPT_frerun_loop_opt
:
2028 case OPT_fstrength_reduce
:
2029 case OPT_ftree_store_copy_prop
:
2030 case OPT_fforce_addr
:
2031 case OPT_ftree_salias
:
2032 /* These are no-ops, preserved for backward compatibility. */
2036 /* If the flag was handled in a standard way, assume the lack of
2037 processing here is intentional. */
2038 gcc_assert (cl_options
[scode
].flag_var
);
2045 /* Handle --param NAME=VALUE. */
2047 handle_param (const char *carg
)
2052 arg
= xstrdup (carg
);
2053 equal
= strchr (arg
, '=');
2055 error ("%s: --param arguments should be of the form NAME=VALUE", arg
);
2058 value
= integral_argument (equal
+ 1);
2060 error ("invalid --param value %qs", equal
+ 1);
2064 set_param_value (arg
, value
);
2071 /* Handle -W and -Wextra. */
2073 set_Wextra (int setting
)
2075 extra_warnings
= setting
;
2076 warn_unused_parameter
= (setting
&& maybe_warn_unused_parameter
);
2078 /* We save the value of warn_uninitialized, since if they put
2079 -Wuninitialized on the command line, we need to generate a
2080 warning about not using it without also specifying -O. */
2082 warn_uninitialized
= 0;
2083 else if (warn_uninitialized
!= 1)
2084 warn_uninitialized
= 2;
2087 /* Initialize unused warning flags. */
2089 set_Wunused (int setting
)
2091 warn_unused_function
= setting
;
2092 warn_unused_label
= setting
;
2093 /* Unused function parameter warnings are reported when either
2094 ``-Wextra -Wunused'' or ``-Wunused-parameter'' is specified.
2095 Thus, if -Wextra has already been seen, set warn_unused_parameter;
2096 otherwise set maybe_warn_extra_parameter, which will be picked up
2098 maybe_warn_unused_parameter
= setting
;
2099 warn_unused_parameter
= (setting
&& extra_warnings
);
2100 warn_unused_variable
= setting
;
2101 warn_unused_value
= setting
;
2104 /* Used to set the level of strict aliasing warnings,
2105 when no level is specified (i.e., when -Wstrict-aliasing, and not
2106 -Wstrict-aliasing=level was given).
2107 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2108 and 0 otherwise. After calling this function, wstrict_aliasing will be
2109 set to the default value of -Wstrict_aliasing=level, currently 3. */
2111 set_Wstrict_aliasing (int onoff
)
2113 gcc_assert (onoff
== 0 || onoff
== 1);
2115 warn_strict_aliasing
= 3;
2117 warn_strict_aliasing
= 0;
2120 /* The following routines are useful in setting all the flags that
2121 -ffast-math and -fno-fast-math imply. */
2123 set_fast_math_flags (int set
)
2125 flag_unsafe_math_optimizations
= set
;
2126 set_unsafe_math_optimizations_flags (set
);
2127 flag_finite_math_only
= set
;
2128 flag_errno_math
= !set
;
2131 flag_signaling_nans
= 0;
2132 flag_rounding_math
= 0;
2133 flag_cx_limited_range
= 1;
2137 /* When -funsafe-math-optimizations is set the following
2138 flags are set as well. */
2140 set_unsafe_math_optimizations_flags (int set
)
2142 flag_trapping_math
= !set
;
2143 flag_signed_zeros
= !set
;
2144 flag_associative_math
= set
;
2145 flag_reciprocal_math
= set
;
2148 /* Return true iff flags are set as if -ffast-math. */
2150 fast_math_flags_set_p (void)
2152 return (!flag_trapping_math
2153 && flag_unsafe_math_optimizations
2154 && flag_finite_math_only
2155 && !flag_signed_zeros
2156 && !flag_errno_math
);
2159 /* Return true iff flags are set as if -ffast-math but using the flags stored
2160 in the struct cl_optimization structure. */
2162 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2164 return (!opt
->flag_trapping_math
2165 && opt
->flag_unsafe_math_optimizations
2166 && opt
->flag_finite_math_only
2167 && !opt
->flag_signed_zeros
2168 && !opt
->flag_errno_math
);
2171 /* Handle a debug output -g switch. EXTENDED is true or false to support
2172 extended output (2 is special and means "-ggdb" was given). */
2174 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
)
2176 static bool type_explicit
;
2178 use_gnu_debug_info_extensions
= extended
;
2180 if (type
== NO_DEBUG
)
2182 if (write_symbols
== NO_DEBUG
)
2184 write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2188 #ifdef DWARF2_DEBUGGING_INFO
2189 write_symbols
= DWARF2_DEBUG
;
2190 #elif defined DBX_DEBUGGING_INFO
2191 write_symbols
= DBX_DEBUG
;
2195 if (write_symbols
== NO_DEBUG
)
2196 warning (0, "target system does not support debug output");
2201 /* Does it conflict with an already selected type? */
2202 if (type_explicit
&& write_symbols
!= NO_DEBUG
&& type
!= write_symbols
)
2203 error ("debug format \"%s\" conflicts with prior selection",
2204 debug_type_names
[type
]);
2205 write_symbols
= type
;
2206 type_explicit
= true;
2209 /* A debug flag without a level defaults to level 2. */
2212 if (!debug_info_level
)
2213 debug_info_level
= 2;
2217 debug_info_level
= integral_argument (arg
);
2218 if (debug_info_level
== (unsigned int) -1)
2219 error ("unrecognised debug output level \"%s\"", arg
);
2220 else if (debug_info_level
> 3)
2221 error ("debug output level %s is too high", arg
);
2225 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
2226 a simple on-off switch. */
2229 option_enabled (int opt_idx
)
2231 const struct cl_option
*option
= &(cl_options
[opt_idx
]);
2233 if (option
->flag_var
)
2234 switch (option
->var_type
)
2237 return *(int *) option
->flag_var
!= 0;
2240 return *(int *) option
->flag_var
== option
->var_value
;
2242 case CLVC_BIT_CLEAR
:
2243 return (*(int *) option
->flag_var
& option
->var_value
) == 0;
2246 return (*(int *) option
->flag_var
& option
->var_value
) != 0;
2254 /* Fill STATE with the current state of option OPTION. Return true if
2255 there is some state to store. */
2258 get_option_state (int option
, struct cl_option_state
*state
)
2260 if (cl_options
[option
].flag_var
== 0)
2263 switch (cl_options
[option
].var_type
)
2267 state
->data
= cl_options
[option
].flag_var
;
2268 state
->size
= sizeof (int);
2271 case CLVC_BIT_CLEAR
:
2273 state
->ch
= option_enabled (option
);
2274 state
->data
= &state
->ch
;
2279 state
->data
= *(const char **) cl_options
[option
].flag_var
;
2280 if (state
->data
== 0)
2282 state
->size
= strlen ((const char *) state
->data
) + 1;
2288 /* Enable a warning option as an error. This is used by -Werror= and
2289 also by legacy Werror-implicit-function-declaration. */
2292 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
)
2297 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2298 new_option
[0] = 'W';
2299 strcpy (new_option
+ 1, arg
);
2300 option_index
= find_opt (new_option
, lang_mask
);
2301 if (option_index
== N_OPTS
)
2303 error ("-Werror=%s: No option -%s", arg
, new_option
);
2307 int kind
= value
? DK_ERROR
: DK_WARNING
;
2308 diagnostic_classify_diagnostic (global_dc
, option_index
, kind
);
2310 /* -Werror=foo implies -Wfoo. */
2311 if (cl_options
[option_index
].var_type
== CLVC_BOOLEAN
2312 && cl_options
[option_index
].flag_var
2313 && kind
== DK_ERROR
)
2314 *(int *) cl_options
[option_index
].flag_var
= 1;