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"
35 #include "toplev.h" /* For save_decoded_options. */
37 #include "tree-inline.h"
41 #include "diagnostic.h" /* For global_dc. */
43 #include "langhooks.h"
45 gfc_option_t gfc_option
;
48 /* Set flags that control warnings and errors for different
49 Fortran standards to their default values. Keep in sync with
50 libgfortran/runtime/compile_options.c (init_compile_options). */
53 set_default_std_flags (void)
55 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F95_DEL
56 | GFC_STD_F2003
| GFC_STD_F2008
| GFC_STD_F95
| GFC_STD_F77
57 | GFC_STD_F2008_OBS
| GFC_STD_F2008_TS
| GFC_STD_GNU
| GFC_STD_LEGACY
;
58 gfc_option
.warn_std
= GFC_STD_F95_DEL
| GFC_STD_LEGACY
;
62 /* Return language mask for Fortran options. */
65 gfc_option_lang_mask (void)
70 /* Initialize options structure OPTS. */
73 gfc_init_options_struct (struct gcc_options
*opts
)
75 opts
->x_flag_errno_math
= 0;
76 opts
->frontend_set_flag_errno_math
= true;
77 opts
->x_flag_associative_math
= -1;
78 opts
->frontend_set_flag_associative_math
= true;
81 /* Get ready for options handling. Keep in sync with
82 libgfortran/runtime/compile_options.c (init_compile_options). */
85 gfc_init_options (unsigned int decoded_options_count
,
86 struct cl_decoded_option
*decoded_options
)
88 gfc_source_file
= NULL
;
89 gfc_option
.module_dir
= NULL
;
90 gfc_option
.source_form
= FORM_UNKNOWN
;
91 gfc_option
.max_continue_fixed
= 255;
92 gfc_option
.max_continue_free
= 255;
93 gfc_option
.max_identifier_length
= GFC_MAX_SYMBOL_LEN
;
94 gfc_option
.max_errors
= 25;
96 gfc_option
.flag_preprocessed
= 0;
97 gfc_option
.flag_d_lines
= -1;
98 gfc_option
.flag_init_integer
= GFC_INIT_INTEGER_OFF
;
99 gfc_option
.flag_init_integer_value
= 0;
100 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_OFF
;
101 gfc_option
.flag_init_character
= GFC_INIT_CHARACTER_OFF
;
102 gfc_option
.flag_init_character_value
= (char)0;
105 /* All except GFC_FPE_INEXACT. */
106 gfc_option
.fpe_summary
= GFC_FPE_INVALID
| GFC_FPE_DENORMAL
107 | GFC_FPE_ZERO
| GFC_FPE_OVERFLOW
109 gfc_option
.rtcheck
= 0;
111 /* ??? Wmissing-include-dirs is disabled by default in C/C++ but
112 enabled by default in Fortran. Ideally, we should express this
113 in .opt, but that is not supported yet. */
114 if (!global_options_set
.x_cpp_warn_missing_include_dirs
)
115 global_options
.x_cpp_warn_missing_include_dirs
= 1;
117 set_default_std_flags ();
119 /* Initialize cpp-related options. */
120 gfc_cpp_init_options (decoded_options_count
, decoded_options
);
121 gfc_diagnostics_init ();
125 /* Determine the source form from the filename extension. We assume
126 case insensitivity. */
128 static gfc_source_form
129 form_from_filename (const char *filename
)
133 const char *extension
;
134 gfc_source_form form
;
161 }; /* sentinel value */
163 gfc_source_form f_form
;
167 /* Find end of file name. Note, filename is either a NULL pointer or
168 a NUL terminated string. */
170 while (filename
[i
] != '\0')
173 /* Find last period. */
174 while (i
>= 0 && (filename
[i
] != '.'))
177 /* Did we see a file extension? */
179 return FORM_UNKNOWN
; /* Nope */
181 /* Get file extension and compare it to others. */
182 fileext
= &(filename
[i
]);
185 f_form
= FORM_UNKNOWN
;
189 if (strcasecmp (fileext
, exttype
[i
].extension
) == 0)
191 f_form
= exttype
[i
].form
;
195 while (exttype
[i
].form
!= FORM_UNKNOWN
);
201 /* Finalize commandline options. */
204 gfc_post_options (const char **pfilename
)
206 const char *filename
= *pfilename
, *canon_source_file
= NULL
;
210 /* Excess precision other than "fast" requires front-end
212 if (flag_excess_precision_cmdline
== EXCESS_PRECISION_STANDARD
213 && TARGET_FLT_EVAL_METHOD_NON_DEFAULT
)
214 sorry ("-fexcess-precision=standard for Fortran");
215 flag_excess_precision_cmdline
= EXCESS_PRECISION_FAST
;
217 /* Fortran allows associative math - but we cannot reassociate if
218 we want traps or signed zeros. Cf. also flag_protect_parens. */
219 if (flag_associative_math
== -1)
220 flag_associative_math
= (!flag_trapping_math
&& !flag_signed_zeros
);
222 if (flag_protect_parens
== -1)
223 flag_protect_parens
= !optimize_fast
;
225 if (flag_stack_arrays
== -1)
226 flag_stack_arrays
= optimize_fast
;
228 /* By default, disable (re)allocation during assignment for -std=f95,
229 and enable it for F2003/F2008/GNU/Legacy. */
230 if (flag_realloc_lhs
== -1)
232 if (gfc_option
.allow_std
& GFC_STD_F2003
)
233 flag_realloc_lhs
= 1;
235 flag_realloc_lhs
= 0;
238 /* -fbounds-check is equivalent to -fcheck=bounds */
239 if (flag_bounds_check
)
240 gfc_option
.rtcheck
|= GFC_RTCHECK_BOUNDS
;
242 if (flag_compare_debug
)
243 flag_dump_fortran_original
= 0;
245 /* Make -fmax-errors visible to gfortran's diagnostic machinery. */
246 if (global_options_set
.x_flag_max_errors
)
247 gfc_option
.max_errors
= flag_max_errors
;
249 /* Verify the input file name. */
250 if (!filename
|| strcmp (filename
, "-") == 0)
255 if (gfc_option
.flag_preprocessed
)
257 /* For preprocessed files, if the first tokens are of the form # NUM.
258 handle the directives so we know the original file name. */
259 gfc_source_file
= gfc_read_orig_filename (filename
, &canon_source_file
);
260 if (gfc_source_file
== NULL
)
261 gfc_source_file
= filename
;
263 *pfilename
= gfc_source_file
;
266 gfc_source_file
= filename
;
268 if (canon_source_file
== NULL
)
269 canon_source_file
= gfc_source_file
;
271 /* Adds the path where the source file is to the list of include files. */
273 i
= strlen (canon_source_file
);
274 while (i
> 0 && !IS_DIR_SEPARATOR (canon_source_file
[i
]))
279 source_path
= (char *) alloca (i
+ 1);
280 memcpy (source_path
, canon_source_file
, i
);
282 gfc_add_include_path (source_path
, true, true, true);
285 gfc_add_include_path (".", true, true, true);
287 if (canon_source_file
!= gfc_source_file
)
288 free (CONST_CAST (char *, canon_source_file
));
290 /* Decide which form the file will be read in as. */
292 if (gfc_option
.source_form
!= FORM_UNKNOWN
)
293 gfc_current_form
= gfc_option
.source_form
;
296 gfc_current_form
= form_from_filename (filename
);
298 if (gfc_current_form
== FORM_UNKNOWN
)
300 gfc_current_form
= FORM_FREE
;
301 gfc_warning_now (0, "Reading file %qs as free form",
302 (filename
[0] == '\0') ? "<stdin>" : filename
);
306 /* If the user specified -fd-lines-as-{code|comments} verify that we're
308 if (gfc_current_form
== FORM_FREE
)
310 if (gfc_option
.flag_d_lines
== 0)
311 gfc_warning_now (0, "%<-fd-lines-as-comments%> has no effect "
313 else if (gfc_option
.flag_d_lines
== 1)
314 gfc_warning_now (0, "%<-fd-lines-as-code%> has no effect in free form");
316 if (warn_line_truncation
== -1)
317 warn_line_truncation
= 1;
319 /* Enable -Werror=line-truncation when -Werror and -Wno-error have
321 if (warn_line_truncation
&& !global_options_set
.x_warnings_are_errors
322 && (global_dc
->classify_diagnostic
[OPT_Wline_truncation
] ==
324 diagnostic_classify_diagnostic (global_dc
, OPT_Wline_truncation
,
325 DK_ERROR
, UNKNOWN_LOCATION
);
327 else if (warn_line_truncation
== -1)
328 warn_line_truncation
= 0;
330 /* If -pedantic, warn about the use of GNU extensions. */
331 if (pedantic
&& (gfc_option
.allow_std
& GFC_STD_GNU
) != 0)
332 gfc_option
.warn_std
|= GFC_STD_GNU
;
333 /* -std=legacy -pedantic is effectively -std=gnu. */
334 if (pedantic
&& (gfc_option
.allow_std
& GFC_STD_LEGACY
) != 0)
335 gfc_option
.warn_std
|= GFC_STD_F95_OBS
| GFC_STD_F95_DEL
| GFC_STD_LEGACY
;
337 /* If the user didn't explicitly specify -f(no)-second-underscore we
338 use it if we're trying to be compatible with f2c, and not
340 if (flag_second_underscore
== -1)
341 flag_second_underscore
= flag_f2c
;
343 if (!flag_automatic
&& flag_max_stack_var_size
!= -2
344 && flag_max_stack_var_size
!= 0)
345 gfc_warning_now (0, "Flag %<-fno-automatic%> overwrites %<-fmax-stack-var-size=%d%>",
346 flag_max_stack_var_size
);
347 else if (!flag_automatic
&& flag_recursive
)
348 gfc_warning_now (0, "Flag %<-fno-automatic%> overwrites %<-frecursive%>");
349 else if (!flag_automatic
&& flag_openmp
)
350 gfc_warning_now (0, "Flag %<-fno-automatic%> overwrites %<-frecursive%> implied by "
352 else if (flag_max_stack_var_size
!= -2 && flag_recursive
)
353 gfc_warning_now (0, "Flag %<-frecursive%> overwrites %<-fmax-stack-var-size=%d%>",
354 flag_max_stack_var_size
);
355 else if (flag_max_stack_var_size
!= -2 && flag_openmp
)
356 gfc_warning_now (0, "Flag %<-fmax-stack-var-size=%d%> overwrites %<-frecursive%> "
357 "implied by %<-fopenmp%>", flag_max_stack_var_size
);
359 /* Implement -frecursive as -fmax-stack-var-size=-1. */
361 flag_max_stack_var_size
= -1;
363 /* Implied -frecursive; implemented as -fmax-stack-var-size=-1. */
364 if (flag_max_stack_var_size
== -2 && flag_openmp
&& flag_automatic
)
367 flag_max_stack_var_size
= -1;
371 if (flag_max_stack_var_size
== -2)
372 flag_max_stack_var_size
= 32768;
374 /* Implement -fno-automatic as -fmax-stack-var-size=0. */
376 flag_max_stack_var_size
= 0;
378 /* If we call BLAS directly, only inline up to the BLAS limit. */
380 if (flag_external_blas
&& flag_inline_matmul_limit
< 0)
381 flag_inline_matmul_limit
= flag_blas_matmul_limit
;
383 /* Optimization implies front end optimization, unless the user
384 specified it directly. */
386 if (flag_frontend_optimize
== -1)
387 flag_frontend_optimize
= optimize
;
389 if (flag_max_array_constructor
< 65535)
390 flag_max_array_constructor
= 65535;
392 if (flag_fixed_line_length
!= 0 && flag_fixed_line_length
< 7)
393 gfc_fatal_error ("Fixed line length must be at least seven");
395 if (flag_free_line_length
!= 0 && flag_free_line_length
< 4)
396 gfc_fatal_error ("Free line length must be at least three");
398 if (flag_max_subrecord_length
> MAX_SUBRECORD_LENGTH
)
399 gfc_fatal_error ("Maximum subrecord length cannot exceed %d",
400 MAX_SUBRECORD_LENGTH
);
402 gfc_cpp_post_options ();
404 if (gfc_option
.allow_std
& GFC_STD_F2008
)
405 lang_hooks
.name
= "GNU Fortran2008";
406 else if (gfc_option
.allow_std
& GFC_STD_F2003
)
407 lang_hooks
.name
= "GNU Fortran2003";
409 return gfc_cpp_preprocess_only ();
414 gfc_handle_module_path_options (const char *arg
)
417 if (gfc_option
.module_dir
!= NULL
)
418 gfc_fatal_error ("gfortran: Only one %<-J%> option allowed");
420 gfc_option
.module_dir
= XCNEWVEC (char, strlen (arg
) + 2);
421 strcpy (gfc_option
.module_dir
, arg
);
423 gfc_add_include_path (gfc_option
.module_dir
, true, false, true);
425 strcat (gfc_option
.module_dir
, "/");
429 /* Handle options -ffpe-trap= and -ffpe-summary=. */
432 gfc_handle_fpe_option (const char *arg
, bool trap
)
434 int result
, pos
= 0, n
;
435 /* precision is a backwards compatibility alias for inexact. */
436 static const char * const exception
[] = { "invalid", "denormal", "zero",
437 "overflow", "underflow",
438 "inexact", "precision", NULL
};
439 static const int opt_exception
[] = { GFC_FPE_INVALID
, GFC_FPE_DENORMAL
,
440 GFC_FPE_ZERO
, GFC_FPE_OVERFLOW
,
441 GFC_FPE_UNDERFLOW
, GFC_FPE_INEXACT
,
445 /* As the default for -ffpe-summary= is nonzero, set it to 0. */
447 gfc_option
.fpe_summary
= 0;
454 while (arg
[pos
] && arg
[pos
] != ',')
458 if (!trap
&& strncmp ("none", arg
, pos
) == 0)
460 gfc_option
.fpe_summary
= 0;
465 else if (!trap
&& strncmp ("all", arg
, pos
) == 0)
467 gfc_option
.fpe_summary
= GFC_FPE_INVALID
| GFC_FPE_DENORMAL
468 | GFC_FPE_ZERO
| GFC_FPE_OVERFLOW
469 | GFC_FPE_UNDERFLOW
| GFC_FPE_INEXACT
;
475 for (n
= 0; exception
[n
] != NULL
; n
++)
477 if (exception
[n
] && strncmp (exception
[n
], arg
, pos
) == 0)
480 gfc_option
.fpe
|= opt_exception
[n
];
482 gfc_option
.fpe_summary
|= opt_exception
[n
];
489 if (!result
&& !trap
)
490 gfc_fatal_error ("Argument to %<-ffpe-trap%> is not valid: %s", arg
);
492 gfc_fatal_error ("Argument to %<-ffpe-summary%> is not valid: %s", arg
);
499 gfc_handle_runtime_check_option (const char *arg
)
501 int result
, pos
= 0, n
;
502 static const char * const optname
[] = { "all", "bounds", "array-temps",
503 "recursion", "do", "pointer",
505 static const int optmask
[] = { GFC_RTCHECK_ALL
, GFC_RTCHECK_BOUNDS
,
506 GFC_RTCHECK_ARRAY_TEMPS
,
507 GFC_RTCHECK_RECURSION
, GFC_RTCHECK_DO
,
508 GFC_RTCHECK_POINTER
, GFC_RTCHECK_MEM
,
516 while (arg
[pos
] && arg
[pos
] != ',')
520 for (n
= 0; optname
[n
] != NULL
; n
++)
522 if (optname
[n
] && strncmp (optname
[n
], arg
, pos
) == 0)
524 gfc_option
.rtcheck
|= optmask
[n
];
532 gfc_fatal_error ("Argument to %<-fcheck%> is not valid: %s", arg
);
537 /* Handle command-line options. Returns 0 if unrecognized, 1 if
538 recognized and handled. */
541 gfc_handle_option (size_t scode
, const char *arg
, int value
,
542 int kind ATTRIBUTE_UNUSED
, location_t loc ATTRIBUTE_UNUSED
,
543 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
)
546 enum opt_code code
= (enum opt_code
) scode
;
548 if (gfc_cpp_handle_option (scode
, arg
, value
) == 1)
554 if (cl_options
[code
].flags
& gfc_option_lang_mask ())
559 case OPT_fcheck_array_temporaries
:
560 gfc_option
.rtcheck
|= GFC_RTCHECK_ARRAY_TEMPS
;
563 case OPT_fd_lines_as_code
:
564 gfc_option
.flag_d_lines
= 1;
567 case OPT_fd_lines_as_comments
:
568 gfc_option
.flag_d_lines
= 0;
571 case OPT_ffixed_form
:
572 gfc_option
.source_form
= FORM_FIXED
;
576 gfc_option
.source_form
= FORM_FREE
;
579 case OPT_static_libgfortran
:
580 #ifndef HAVE_LD_STATIC_DYNAMIC
581 gfc_fatal_error ("%<-static-libgfortran%> is not supported in this "
586 case OPT_fintrinsic_modules_path
:
587 case OPT_fintrinsic_modules_path_
:
589 /* This is needed because omp_lib.h is in a directory together
590 with intrinsic modules. Do no warn because during testing
591 without an installed compiler, we would get lots of bogus
592 warnings for a missing include directory. */
593 gfc_add_include_path (arg
, false, false, false);
595 gfc_add_intrinsic_modules_path (arg
);
598 case OPT_fpreprocessed
:
599 gfc_option
.flag_preprocessed
= value
;
602 case OPT_fmax_identifier_length_
:
603 if (value
> GFC_MAX_SYMBOL_LEN
)
604 gfc_fatal_error ("Maximum supported identifier length is %d",
606 gfc_option
.max_identifier_length
= value
;
609 case OPT_finit_local_zero
:
610 gfc_option
.flag_init_integer
= GFC_INIT_INTEGER_ON
;
611 gfc_option
.flag_init_integer_value
= 0;
612 flag_init_real
= GFC_INIT_REAL_ZERO
;
613 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_FALSE
;
614 gfc_option
.flag_init_character
= GFC_INIT_CHARACTER_ON
;
615 gfc_option
.flag_init_character_value
= (char)0;
618 case OPT_finit_logical_
:
619 if (!strcasecmp (arg
, "false"))
620 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_FALSE
;
621 else if (!strcasecmp (arg
, "true"))
622 gfc_option
.flag_init_logical
= GFC_INIT_LOGICAL_TRUE
;
624 gfc_fatal_error ("Unrecognized option to %<-finit-logical%>: %s",
628 case OPT_finit_integer_
:
629 gfc_option
.flag_init_integer
= GFC_INIT_INTEGER_ON
;
630 gfc_option
.flag_init_integer_value
= atoi (arg
);
633 case OPT_finit_character_
:
634 if (value
>= 0 && value
<= 127)
636 gfc_option
.flag_init_character
= GFC_INIT_CHARACTER_ON
;
637 gfc_option
.flag_init_character_value
= (char)value
;
640 gfc_fatal_error ("The value of n in %<-finit-character=n%> must be "
641 "between 0 and 127");
645 gfc_add_include_path (arg
, true, false, true);
649 gfc_handle_module_path_options (arg
);
653 gfc_handle_fpe_option (arg
, true);
656 case OPT_ffpe_summary_
:
657 gfc_handle_fpe_option (arg
, false);
661 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F95
| GFC_STD_F77
663 gfc_option
.warn_std
= GFC_STD_F95_OBS
;
664 gfc_option
.max_continue_fixed
= 19;
665 gfc_option
.max_continue_free
= 39;
666 gfc_option
.max_identifier_length
= 31;
672 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F77
673 | GFC_STD_F2003
| GFC_STD_F95
| GFC_STD_F2008_OBS
;
674 gfc_option
.warn_std
= GFC_STD_F95_OBS
;
675 gfc_option
.max_identifier_length
= 63;
681 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F77
682 | GFC_STD_F2003
| GFC_STD_F95
| GFC_STD_F2008
| GFC_STD_F2008_OBS
;
683 gfc_option
.warn_std
= GFC_STD_F95_OBS
| GFC_STD_F2008_OBS
;
684 gfc_option
.max_identifier_length
= 63;
689 case OPT_std_f2008ts
:
690 gfc_option
.allow_std
= GFC_STD_F95_OBS
| GFC_STD_F77
691 | GFC_STD_F2003
| GFC_STD_F95
| GFC_STD_F2008
| GFC_STD_F2008_OBS
693 gfc_option
.warn_std
= GFC_STD_F95_OBS
| GFC_STD_F2008_OBS
;
694 gfc_option
.max_identifier_length
= 63;
700 set_default_std_flags ();
704 set_default_std_flags ();
705 gfc_option
.warn_std
= 0;
708 case OPT_fshort_enums
:
709 /* Handled in language-independent code. */
713 gfc_handle_runtime_check_option (arg
);
717 Fortran_handle_option_auto (&global_options
, &global_options_set
,
719 gfc_option_lang_mask (), kind
,
720 loc
, handlers
, global_dc
);
725 /* Return a string with the options passed to the compiler; used for
726 Fortran's compiler_options() intrinsic. */
729 gfc_get_option_string (void)
735 /* Allocate and return a one-character string with '\0'. */
736 if (!save_decoded_options_count
)
737 return XCNEWVEC (char, 1);
739 /* Determine required string length. */
742 for (j
= 1; j
< save_decoded_options_count
; j
++)
744 switch (save_decoded_options
[j
].opt_index
)
753 case OPT_fintrinsic_modules_path
:
754 case OPT_fintrinsic_modules_path_
:
758 /* Ignore file names. */
759 if (save_decoded_options
[j
].orig_option_with_args_text
[0] == '-')
761 + strlen (save_decoded_options
[j
].orig_option_with_args_text
);
765 result
= XCNEWVEC (char, len
);
768 for (j
= 1; j
< save_decoded_options_count
; j
++)
770 switch (save_decoded_options
[j
].opt_index
)
779 case OPT_fintrinsic_modules_path
:
780 case OPT_fintrinsic_modules_path_
:
785 /* Use "-cpp" rather than "-cpp=<temporary file>". */
790 /* Ignore file names. */
791 if (save_decoded_options
[j
].orig_option_with_args_text
[0] != '-')
794 len
= strlen (save_decoded_options
[j
].orig_option_with_args_text
);
797 memcpy (&result
[pos
], save_decoded_options
[j
].orig_option_with_args_text
, len
);
802 result
[--pos
] = '\0';