1 /* Parse and display command line options.
2 Copyright (C) 2000-2015 Free Software Foundation, Inc.
3 Contributed by Andy Vaught
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"
27 #include "double-int.h"
38 #include "toplev.h" /* For save_decoded_options. */
40 #include "tree-inline.h"
44 #include "diagnostic.h" /* For global_dc. */
46 #include "langhooks.h"
48 gfc_option_t gfc_option
;
51 /* Set flags that control warnings and errors for different
52 Fortran standards to their default values. Keep in sync with
53 libgfortran/runtime/compile_options.c (init_compile_options). */
56 set_default_std_flags (void)
58 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F95_DEL
59 | GFC_STD_F2003
| GFC_STD_F2008
| GFC_STD_F95
| GFC_STD_F77
60 | GFC_STD_F2008_OBS
| GFC_STD_F2008_TS
| GFC_STD_GNU
| GFC_STD_LEGACY
;
61 gfc_option
.warn_std
= GFC_STD_F95_DEL
| GFC_STD_LEGACY
;
65 /* Return language mask for Fortran options. */
68 gfc_option_lang_mask (void)
73 /* Initialize options structure OPTS. */
76 gfc_init_options_struct (struct gcc_options
*opts
)
78 opts
->x_flag_errno_math
= 0;
79 opts
->frontend_set_flag_errno_math
= true;
80 opts
->x_flag_associative_math
= -1;
81 opts
->frontend_set_flag_associative_math
= true;
84 /* Get ready for options handling. Keep in sync with
85 libgfortran/runtime/compile_options.c (init_compile_options). */
88 gfc_init_options (unsigned int decoded_options_count
,
89 struct cl_decoded_option
*decoded_options
)
91 gfc_source_file
= NULL
;
92 gfc_option
.module_dir
= NULL
;
93 gfc_option
.source_form
= FORM_UNKNOWN
;
94 gfc_option
.max_continue_fixed
= 255;
95 gfc_option
.max_continue_free
= 255;
96 gfc_option
.max_identifier_length
= GFC_MAX_SYMBOL_LEN
;
97 gfc_option
.max_errors
= 25;
99 gfc_option
.flag_preprocessed
= 0;
100 gfc_option
.flag_d_lines
= -1;
101 gfc_option
.flag_init_integer
= GFC_INIT_INTEGER_OFF
;
102 gfc_option
.flag_init_integer_value
= 0;
103 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_OFF
;
104 gfc_option
.flag_init_character
= GFC_INIT_CHARACTER_OFF
;
105 gfc_option
.flag_init_character_value
= (char)0;
108 /* All except GFC_FPE_INEXACT. */
109 gfc_option
.fpe_summary
= GFC_FPE_INVALID
| GFC_FPE_DENORMAL
110 | GFC_FPE_ZERO
| GFC_FPE_OVERFLOW
112 gfc_option
.rtcheck
= 0;
114 /* ??? Wmissing-include-dirs is disabled by default in C/C++ but
115 enabled by default in Fortran. Ideally, we should express this
116 in .opt, but that is not supported yet. */
117 if (!global_options_set
.x_cpp_warn_missing_include_dirs
)
118 global_options
.x_cpp_warn_missing_include_dirs
= 1;;
120 set_default_std_flags ();
122 /* Initialize cpp-related options. */
123 gfc_cpp_init_options (decoded_options_count
, decoded_options
);
124 gfc_diagnostics_init ();
128 /* Determine the source form from the filename extension. We assume
129 case insensitivity. */
131 static gfc_source_form
132 form_from_filename (const char *filename
)
136 const char *extension
;
137 gfc_source_form form
;
164 }; /* sentinel value */
166 gfc_source_form f_form
;
170 /* Find end of file name. Note, filename is either a NULL pointer or
171 a NUL terminated string. */
173 while (filename
[i
] != '\0')
176 /* Find last period. */
177 while (i
>= 0 && (filename
[i
] != '.'))
180 /* Did we see a file extension? */
182 return FORM_UNKNOWN
; /* Nope */
184 /* Get file extension and compare it to others. */
185 fileext
= &(filename
[i
]);
188 f_form
= FORM_UNKNOWN
;
192 if (strcasecmp (fileext
, exttype
[i
].extension
) == 0)
194 f_form
= exttype
[i
].form
;
198 while (exttype
[i
].form
!= FORM_UNKNOWN
);
204 /* Finalize commandline options. */
207 gfc_post_options (const char **pfilename
)
209 const char *filename
= *pfilename
, *canon_source_file
= NULL
;
213 /* Excess precision other than "fast" requires front-end
215 if (flag_excess_precision_cmdline
== EXCESS_PRECISION_STANDARD
216 && TARGET_FLT_EVAL_METHOD_NON_DEFAULT
)
217 sorry ("-fexcess-precision=standard for Fortran");
218 flag_excess_precision_cmdline
= EXCESS_PRECISION_FAST
;
220 /* Fortran allows associative math - but we cannot reassociate if
221 we want traps or signed zeros. Cf. also flag_protect_parens. */
222 if (flag_associative_math
== -1)
223 flag_associative_math
= (!flag_trapping_math
&& !flag_signed_zeros
);
225 if (flag_protect_parens
== -1)
226 flag_protect_parens
= !optimize_fast
;
228 if (flag_stack_arrays
== -1)
229 flag_stack_arrays
= optimize_fast
;
231 /* By default, disable (re)allocation during assignment for -std=f95,
232 and enable it for F2003/F2008/GNU/Legacy. */
233 if (flag_realloc_lhs
== -1)
235 if (gfc_option
.allow_std
& GFC_STD_F2003
)
236 flag_realloc_lhs
= 1;
238 flag_realloc_lhs
= 0;
241 /* -fbounds-check is equivalent to -fcheck=bounds */
242 if (flag_bounds_check
)
243 gfc_option
.rtcheck
|= GFC_RTCHECK_BOUNDS
;
245 if (flag_compare_debug
)
246 flag_dump_fortran_original
= 0;
248 /* Make -fmax-errors visible to gfortran's diagnostic machinery. */
249 if (global_options_set
.x_flag_max_errors
)
250 gfc_option
.max_errors
= flag_max_errors
;
252 /* Verify the input file name. */
253 if (!filename
|| strcmp (filename
, "-") == 0)
258 if (gfc_option
.flag_preprocessed
)
260 /* For preprocessed files, if the first tokens are of the form # NUM.
261 handle the directives so we know the original file name. */
262 gfc_source_file
= gfc_read_orig_filename (filename
, &canon_source_file
);
263 if (gfc_source_file
== NULL
)
264 gfc_source_file
= filename
;
266 *pfilename
= gfc_source_file
;
269 gfc_source_file
= filename
;
271 if (canon_source_file
== NULL
)
272 canon_source_file
= gfc_source_file
;
274 /* Adds the path where the source file is to the list of include files. */
276 i
= strlen (canon_source_file
);
277 while (i
> 0 && !IS_DIR_SEPARATOR (canon_source_file
[i
]))
282 source_path
= (char *) alloca (i
+ 1);
283 memcpy (source_path
, canon_source_file
, i
);
285 gfc_add_include_path (source_path
, true, true, true);
288 gfc_add_include_path (".", true, true, true);
290 if (canon_source_file
!= gfc_source_file
)
291 free (CONST_CAST (char *, canon_source_file
));
293 /* Decide which form the file will be read in as. */
295 if (gfc_option
.source_form
!= FORM_UNKNOWN
)
296 gfc_current_form
= gfc_option
.source_form
;
299 gfc_current_form
= form_from_filename (filename
);
301 if (gfc_current_form
== FORM_UNKNOWN
)
303 gfc_current_form
= FORM_FREE
;
304 gfc_warning_now (0, "Reading file %qs as free form",
305 (filename
[0] == '\0') ? "<stdin>" : filename
);
309 /* If the user specified -fd-lines-as-{code|comments} verify that we're
311 if (gfc_current_form
== FORM_FREE
)
313 if (gfc_option
.flag_d_lines
== 0)
314 gfc_warning_now (0, "%<-fd-lines-as-comments%> has no effect "
316 else if (gfc_option
.flag_d_lines
== 1)
317 gfc_warning_now (0, "%<-fd-lines-as-code%> has no effect in free form");
319 if (warn_line_truncation
== -1)
320 warn_line_truncation
= 1;
322 /* Enable -Werror=line-truncation when -Werror and -Wno-error have
324 if (warn_line_truncation
&& !global_options_set
.x_warnings_are_errors
325 && (global_dc
->classify_diagnostic
[OPT_Wline_truncation
] ==
327 diagnostic_classify_diagnostic (global_dc
, OPT_Wline_truncation
,
328 DK_ERROR
, UNKNOWN_LOCATION
);
330 else if (warn_line_truncation
== -1)
331 warn_line_truncation
= 0;
333 /* If -pedantic, warn about the use of GNU extensions. */
334 if (pedantic
&& (gfc_option
.allow_std
& GFC_STD_GNU
) != 0)
335 gfc_option
.warn_std
|= GFC_STD_GNU
;
336 /* -std=legacy -pedantic is effectively -std=gnu. */
337 if (pedantic
&& (gfc_option
.allow_std
& GFC_STD_LEGACY
) != 0)
338 gfc_option
.warn_std
|= GFC_STD_F95_OBS
| GFC_STD_F95_DEL
| GFC_STD_LEGACY
;
340 /* If the user didn't explicitly specify -f(no)-second-underscore we
341 use it if we're trying to be compatible with f2c, and not
343 if (flag_second_underscore
== -1)
344 flag_second_underscore
= flag_f2c
;
346 if (!flag_automatic
&& flag_max_stack_var_size
!= -2
347 && flag_max_stack_var_size
!= 0)
348 gfc_warning_now (0, "Flag %<-fno-automatic%> overwrites %<-fmax-stack-var-size=%d%>",
349 flag_max_stack_var_size
);
350 else if (!flag_automatic
&& flag_recursive
)
351 gfc_warning_now (0, "Flag %<-fno-automatic%> overwrites %<-frecursive%>");
352 else if (!flag_automatic
&& flag_openmp
)
353 gfc_warning_now (0, "Flag %<-fno-automatic%> overwrites %<-frecursive%> implied by "
355 else if (flag_max_stack_var_size
!= -2 && flag_recursive
)
356 gfc_warning_now (0, "Flag %<-frecursive%> overwrites %<-fmax-stack-var-size=%d%>",
357 flag_max_stack_var_size
);
358 else if (flag_max_stack_var_size
!= -2 && flag_openmp
)
359 gfc_warning_now (0, "Flag %<-fmax-stack-var-size=%d%> overwrites %<-frecursive%> "
360 "implied by %<-fopenmp%>", flag_max_stack_var_size
);
362 /* Implement -frecursive as -fmax-stack-var-size=-1. */
364 flag_max_stack_var_size
= -1;
366 /* Implied -frecursive; implemented as -fmax-stack-var-size=-1. */
367 if (flag_max_stack_var_size
== -2 && flag_openmp
&& flag_automatic
)
370 flag_max_stack_var_size
= -1;
374 if (flag_max_stack_var_size
== -2)
375 flag_max_stack_var_size
= 32768;
377 /* Implement -fno-automatic as -fmax-stack-var-size=0. */
379 flag_max_stack_var_size
= 0;
381 /* Optimization implies front end optimization, unless the user
382 specified it directly. */
384 if (flag_frontend_optimize
== -1)
385 flag_frontend_optimize
= optimize
;
387 if (flag_max_array_constructor
< 65535)
388 flag_max_array_constructor
= 65535;
390 if (flag_fixed_line_length
!= 0 && flag_fixed_line_length
< 7)
391 gfc_fatal_error ("Fixed line length must be at least seven");
393 if (flag_free_line_length
!= 0 && flag_free_line_length
< 4)
394 gfc_fatal_error ("Free line length must be at least three");
396 if (flag_max_subrecord_length
> MAX_SUBRECORD_LENGTH
)
397 gfc_fatal_error ("Maximum subrecord length cannot exceed %d",
398 MAX_SUBRECORD_LENGTH
);
400 gfc_cpp_post_options ();
402 if (gfc_option
.allow_std
& GFC_STD_F2008
)
403 lang_hooks
.name
= "GNU Fortran2008";
404 else if (gfc_option
.allow_std
& GFC_STD_F2003
)
405 lang_hooks
.name
= "GNU Fortran2003";
407 return gfc_cpp_preprocess_only ();
412 gfc_handle_module_path_options (const char *arg
)
415 if (gfc_option
.module_dir
!= NULL
)
416 gfc_fatal_error ("gfortran: Only one %<-J%> option allowed");
418 gfc_option
.module_dir
= XCNEWVEC (char, strlen (arg
) + 2);
419 strcpy (gfc_option
.module_dir
, arg
);
421 gfc_add_include_path (gfc_option
.module_dir
, true, false, true);
423 strcat (gfc_option
.module_dir
, "/");
427 /* Handle options -ffpe-trap= and -ffpe-summary=. */
430 gfc_handle_fpe_option (const char *arg
, bool trap
)
432 int result
, pos
= 0, n
;
433 /* precision is a backwards compatibility alias for inexact. */
434 static const char * const exception
[] = { "invalid", "denormal", "zero",
435 "overflow", "underflow",
436 "inexact", "precision", NULL
};
437 static const int opt_exception
[] = { GFC_FPE_INVALID
, GFC_FPE_DENORMAL
,
438 GFC_FPE_ZERO
, GFC_FPE_OVERFLOW
,
439 GFC_FPE_UNDERFLOW
, GFC_FPE_INEXACT
,
443 /* As the default for -ffpe-summary= is nonzero, set it to 0. */
445 gfc_option
.fpe_summary
= 0;
452 while (arg
[pos
] && arg
[pos
] != ',')
456 if (!trap
&& strncmp ("none", arg
, pos
) == 0)
458 gfc_option
.fpe_summary
= 0;
463 else if (!trap
&& strncmp ("all", arg
, pos
) == 0)
465 gfc_option
.fpe_summary
= GFC_FPE_INVALID
| GFC_FPE_DENORMAL
466 | GFC_FPE_ZERO
| GFC_FPE_OVERFLOW
467 | GFC_FPE_UNDERFLOW
| GFC_FPE_INEXACT
;
473 for (n
= 0; exception
[n
] != NULL
; n
++)
475 if (exception
[n
] && strncmp (exception
[n
], arg
, pos
) == 0)
478 gfc_option
.fpe
|= opt_exception
[n
];
480 gfc_option
.fpe_summary
|= opt_exception
[n
];
487 if (!result
&& !trap
)
488 gfc_fatal_error ("Argument to %<-ffpe-trap%> is not valid: %s", arg
);
490 gfc_fatal_error ("Argument to %<-ffpe-summary%> is not valid: %s", arg
);
497 gfc_handle_runtime_check_option (const char *arg
)
499 int result
, pos
= 0, n
;
500 static const char * const optname
[] = { "all", "bounds", "array-temps",
501 "recursion", "do", "pointer",
503 static const int optmask
[] = { GFC_RTCHECK_ALL
, GFC_RTCHECK_BOUNDS
,
504 GFC_RTCHECK_ARRAY_TEMPS
,
505 GFC_RTCHECK_RECURSION
, GFC_RTCHECK_DO
,
506 GFC_RTCHECK_POINTER
, GFC_RTCHECK_MEM
,
514 while (arg
[pos
] && arg
[pos
] != ',')
518 for (n
= 0; optname
[n
] != NULL
; n
++)
520 if (optname
[n
] && strncmp (optname
[n
], arg
, pos
) == 0)
522 gfc_option
.rtcheck
|= optmask
[n
];
530 gfc_fatal_error ("Argument to %<-fcheck%> is not valid: %s", arg
);
535 /* Handle command-line options. Returns 0 if unrecognized, 1 if
536 recognized and handled. */
539 gfc_handle_option (size_t scode
, const char *arg
, int value
,
540 int kind ATTRIBUTE_UNUSED
, location_t loc ATTRIBUTE_UNUSED
,
541 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
)
544 enum opt_code code
= (enum opt_code
) scode
;
546 if (gfc_cpp_handle_option (scode
, arg
, value
) == 1)
552 if (cl_options
[code
].flags
& gfc_option_lang_mask ())
557 case OPT_fcheck_array_temporaries
:
558 gfc_option
.rtcheck
|= GFC_RTCHECK_ARRAY_TEMPS
;
561 case OPT_fd_lines_as_code
:
562 gfc_option
.flag_d_lines
= 1;
565 case OPT_fd_lines_as_comments
:
566 gfc_option
.flag_d_lines
= 0;
569 case OPT_ffixed_form
:
570 gfc_option
.source_form
= FORM_FIXED
;
574 gfc_option
.source_form
= FORM_FREE
;
577 case OPT_static_libgfortran
:
578 #ifndef HAVE_LD_STATIC_DYNAMIC
579 gfc_fatal_error ("%<-static-libgfortran%> is not supported in this "
584 case OPT_fintrinsic_modules_path
:
585 case OPT_fintrinsic_modules_path_
:
587 /* This is needed because omp_lib.h is in a directory together
588 with intrinsic modules. Do no warn because during testing
589 without an installed compiler, we would get lots of bogus
590 warnings for a missing include directory. */
591 gfc_add_include_path (arg
, false, false, false);
593 gfc_add_intrinsic_modules_path (arg
);
596 case OPT_fpreprocessed
:
597 gfc_option
.flag_preprocessed
= value
;
600 case OPT_fmax_identifier_length_
:
601 if (value
> GFC_MAX_SYMBOL_LEN
)
602 gfc_fatal_error ("Maximum supported identifier length is %d",
604 gfc_option
.max_identifier_length
= value
;
607 case OPT_finit_local_zero
:
608 gfc_option
.flag_init_integer
= GFC_INIT_INTEGER_ON
;
609 gfc_option
.flag_init_integer_value
= 0;
610 flag_init_real
= GFC_INIT_REAL_ZERO
;
611 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_FALSE
;
612 gfc_option
.flag_init_character
= GFC_INIT_CHARACTER_ON
;
613 gfc_option
.flag_init_character_value
= (char)0;
616 case OPT_finit_logical_
:
617 if (!strcasecmp (arg
, "false"))
618 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_FALSE
;
619 else if (!strcasecmp (arg
, "true"))
620 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_TRUE
;
622 gfc_fatal_error ("Unrecognized option to %<-finit-logical%>: %s",
626 case OPT_finit_integer_
:
627 gfc_option
.flag_init_integer
= GFC_INIT_INTEGER_ON
;
628 gfc_option
.flag_init_integer_value
= atoi (arg
);
631 case OPT_finit_character_
:
632 if (value
>= 0 && value
<= 127)
634 gfc_option
.flag_init_character
= GFC_INIT_CHARACTER_ON
;
635 gfc_option
.flag_init_character_value
= (char)value
;
638 gfc_fatal_error ("The value of n in %<-finit-character=n%> must be "
639 "between 0 and 127");
643 gfc_add_include_path (arg
, true, false, true);
647 gfc_handle_module_path_options (arg
);
651 gfc_handle_fpe_option (arg
, true);
654 case OPT_ffpe_summary_
:
655 gfc_handle_fpe_option (arg
, false);
659 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F95
| GFC_STD_F77
661 gfc_option
.warn_std
= GFC_STD_F95_OBS
;
662 gfc_option
.max_continue_fixed
= 19;
663 gfc_option
.max_continue_free
= 39;
664 gfc_option
.max_identifier_length
= 31;
670 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F77
671 | GFC_STD_F2003
| GFC_STD_F95
| GFC_STD_F2008_OBS
;
672 gfc_option
.warn_std
= GFC_STD_F95_OBS
;
673 gfc_option
.max_identifier_length
= 63;
679 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F77
680 | GFC_STD_F2003
| GFC_STD_F95
| GFC_STD_F2008
| GFC_STD_F2008_OBS
;
681 gfc_option
.warn_std
= GFC_STD_F95_OBS
| GFC_STD_F2008_OBS
;
682 gfc_option
.max_identifier_length
= 63;
687 case OPT_std_f2008ts
:
688 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F77
689 | GFC_STD_F2003
| GFC_STD_F95
| GFC_STD_F2008
| GFC_STD_F2008_OBS
691 gfc_option
.warn_std
= GFC_STD_F95_OBS
| GFC_STD_F2008_OBS
;
692 gfc_option
.max_identifier_length
= 63;
698 set_default_std_flags ();
702 set_default_std_flags ();
703 gfc_option
.warn_std
= 0;
706 case OPT_fshort_enums
:
707 /* Handled in language-independent code. */
711 gfc_handle_runtime_check_option (arg
);
715 Fortran_handle_option_auto (&global_options
, &global_options_set
,
717 gfc_option_lang_mask (), kind
,
718 loc
, handlers
, global_dc
);
723 /* Return a string with the options passed to the compiler; used for
724 Fortran's compiler_options() intrinsic. */
727 gfc_get_option_string (void)
733 /* Allocate and return a one-character string with '\0'. */
734 if (!save_decoded_options_count
)
735 return XCNEWVEC (char, 1);
737 /* Determine required string length. */
740 for (j
= 1; j
< save_decoded_options_count
; j
++)
742 switch (save_decoded_options
[j
].opt_index
)
751 case OPT_fintrinsic_modules_path
:
752 case OPT_fintrinsic_modules_path_
:
756 /* Ignore file names. */
757 if (save_decoded_options
[j
].orig_option_with_args_text
[0] == '-')
759 + strlen (save_decoded_options
[j
].orig_option_with_args_text
);
763 result
= XCNEWVEC (char, len
);
766 for (j
= 1; j
< save_decoded_options_count
; j
++)
768 switch (save_decoded_options
[j
].opt_index
)
777 case OPT_fintrinsic_modules_path
:
778 case OPT_fintrinsic_modules_path_
:
783 /* Use "-cpp" rather than "-cpp=<temporary file>". */
788 /* Ignore file names. */
789 if (save_decoded_options
[j
].orig_option_with_args_text
[0] != '-')
792 len
= strlen (save_decoded_options
[j
].orig_option_with_args_text
);
795 memcpy (&result
[pos
], save_decoded_options
[j
].orig_option_with_args_text
, len
);
800 result
[--pos
] = '\0';