gcc/fortran/options.c

   1 /* Parse and display command line options.
   2    Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006
   3    Free Software Foundation, Inc.
   4    Contributed by Andy Vaught
   5
   6 This file is part of GCC.
   7
   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 2, or (at your option) any later
  11 version.
  12
  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
  16 for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC; see the file COPYING.  If not, write to the Free
  20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
  21 02110-1301, USA.  */
  22
  23
  24 #include "config.h"
  25 #include "system.h"
  26 #include "coretypes.h"
  27 #include "tree.h"
  28 #include "flags.h"
  29 #include "intl.h"
  30 #include "opts.h"
  31 #include "options.h"
  32 #include "params.h"
  33 #include "tree-inline.h"
  34
  35 #include "gfortran.h"
  36 #include "target.h"
  37
  38 gfc_option_t gfc_option;
  39
  40
  41 /* Get ready for options handling.  */
  42
  43 unsigned int
  44 gfc_init_options (unsigned int argc ATTRIBUTE_UNUSED,
  45                   const char **argv ATTRIBUTE_UNUSED)
  46 {
  47   gfc_source_file = NULL;
  48   gfc_option.module_dir = NULL;
  49   gfc_option.source_form = FORM_UNKNOWN;
  50   gfc_option.fixed_line_length = 72;
  51   gfc_option.free_line_length = 132;
  52   gfc_option.max_continue_fixed = 19;
  53   gfc_option.max_continue_free = 39;
  54   gfc_option.max_identifier_length = GFC_MAX_SYMBOL_LEN;
  55   gfc_option.max_subrecord_length = 0;
  56   gfc_option.convert = CONVERT_NATIVE;
  57   gfc_option.record_marker = 0;
  58   gfc_option.verbose = 0;
  59
  60   gfc_option.warn_aliasing = 0;
  61   gfc_option.warn_ampersand = 0;
  62   gfc_option.warn_conversion = 0;
  63   gfc_option.warn_implicit_interface = 0;
  64   gfc_option.warn_line_truncation = 0;
  65   gfc_option.warn_surprising = 0;
  66   gfc_option.warn_tabs = 1;
  67   gfc_option.warn_underflow = 1;
  68   gfc_option.max_errors = 25;
  69
  70   gfc_option.flag_all_intrinsics = 0;
  71   gfc_option.flag_default_double = 0;
  72   gfc_option.flag_default_integer = 0;
  73   gfc_option.flag_default_real = 0;
  74   gfc_option.flag_dollar_ok = 0;
  75   gfc_option.flag_underscoring = 1;
  76   gfc_option.flag_f2c = 0;
  77   gfc_option.flag_second_underscore = -1;
  78   gfc_option.flag_implicit_none = 0;
  79   gfc_option.flag_max_stack_var_size = 32768;
  80   gfc_option.flag_range_check = 1;
  81   gfc_option.flag_pack_derived = 0;
  82   gfc_option.flag_repack_arrays = 0;
  83   gfc_option.flag_preprocessed = 0;
  84   gfc_option.flag_automatic = 1;
  85   gfc_option.flag_backslash = 1;
  86   gfc_option.flag_external_blas = 0;
  87   gfc_option.blas_matmul_limit = 30;
  88   gfc_option.flag_cray_pointer = 0;
  89   gfc_option.flag_d_lines = -1;
  90   gfc_option.flag_openmp = 0;
  91
  92   gfc_option.fpe = 0;
  93
  94   /* Argument pointers cannot point to anything
  95      but their argument.  */
  96   flag_argument_noalias = 3;
  97
  98   flag_errno_math = 0;
  99
 100   gfc_option.allow_std = GFC_STD_F95_OBS | GFC_STD_F95_DEL
 101     | GFC_STD_F2003 | GFC_STD_F95 | GFC_STD_F77 | GFC_STD_GNU
 102     | GFC_STD_LEGACY;
 103   gfc_option.warn_std = GFC_STD_F95_OBS | GFC_STD_F95_DEL
 104     | GFC_STD_LEGACY;
 105
 106   gfc_option.warn_nonstd_intrinsics = 0;
 107
 108   /* -fshort-enums can be default on some targets.  */
 109   gfc_option.fshort_enums = targetm.default_short_enums ();
 110
 111   /* Increase MAX_ALIASED_VOPS to account for different characteristics
 112      of fortran regarding VOPs.  */
 113   MAX_ALIASED_VOPS = 50;
 114
 115   return CL_Fortran;
 116 }
 117
 118
 119 /* Determine the source form from the filename extension.  We assume
 120    case insensitivity.  */
 121
 122 static gfc_source_form
 123 form_from_filename (const char *filename)
 124 {
 125
 126   static const struct
 127   {
 128     const char *extension;
 129     gfc_source_form form;
 130   }
 131   exttype[] =
 132   {
 133     {
 134     ".f90", FORM_FREE}
 135     ,
 136     {
 137     ".f95", FORM_FREE}
 138     ,
 139     {
 140     ".f", FORM_FIXED}
 141     ,
 142     {
 143     ".for", FORM_FIXED}
 144     ,
 145     {
 146     "", FORM_UNKNOWN}
 147   };            /* sentinel value */
 148
 149   gfc_source_form f_form;
 150   const char *fileext;
 151   int i;
 152
 153   /* Find end of file name.  Note, filename is either a NULL pointer or
 154      a NUL terminated string.  */
 155   i = 0;
 156   while (filename[i] != '\0')
 157     i++;
 158
 159   /* Find last period.  */
 160   while (i >= 0 && (filename[i] != '.'))
 161     i--;
 162
 163   /* Did we see a file extension?  */
 164   if (i < 0)
 165     return FORM_UNKNOWN; /* Nope  */
 166
 167   /* Get file extension and compare it to others.  */
 168   fileext = &(filename[i]);
 169
 170   i = -1;
 171   f_form = FORM_UNKNOWN;
 172   do
 173     {
 174       i++;
 175       if (strcasecmp (fileext, exttype[i].extension) == 0)
 176         {
 177           f_form = exttype[i].form;
 178           break;
 179         }
 180     }
 181   while (exttype[i].form != FORM_UNKNOWN);
 182
 183   return f_form;
 184 }
 185
 186
 187 /* Finalize commandline options.  */
 188
 189 bool
 190 gfc_post_options (const char **pfilename)
 191 {
 192   const char *filename = *pfilename, *canon_source_file = NULL;
 193   char *source_path;
 194   int i;
 195
 196   /* Verify the input file name.  */
 197   if (!filename || strcmp (filename, "-") == 0)
 198     {
 199       filename = "";
 200     }
 201
 202   if (gfc_option.flag_preprocessed)
 203     {
 204       /* For preprocessed files, if the first tokens are of the form # NUM.
 205          handle the directives so we know the original file name.  */
 206       gfc_source_file = gfc_read_orig_filename (filename, &canon_source_file);
 207       if (gfc_source_file == NULL)
 208         gfc_source_file = filename;
 209       else
 210         *pfilename = gfc_source_file;
 211     }
 212   else
 213     gfc_source_file = filename;
 214
 215   if (canon_source_file == NULL)
 216     canon_source_file = gfc_source_file;
 217
 218   /* Adds the path where the source file is to the list of include files.  */
 219
 220   i = strlen (canon_source_file);
 221   while (i > 0 && !IS_DIR_SEPARATOR (canon_source_file[i]))
 222     i--;
 223   if (i != 0)
 224     {
 225       source_path = alloca (i + 1);
 226       memcpy (source_path, canon_source_file, i);
 227       source_path[i] = 0;
 228       gfc_add_include_path (source_path, true);
 229     }
 230   else
 231     gfc_add_include_path (".", true);
 232
 233   if (canon_source_file != gfc_source_file)
 234     gfc_free ((void *) canon_source_file);
 235
 236   /* Decide which form the file will be read in as.  */
 237
 238   if (gfc_option.source_form != FORM_UNKNOWN)
 239     gfc_current_form = gfc_option.source_form;
 240   else
 241     {
 242       gfc_current_form = form_from_filename (filename);
 243
 244       if (gfc_current_form == FORM_UNKNOWN)
 245         {
 246           gfc_current_form = FORM_FREE;
 247           gfc_warning_now ("Reading file '%s' as free form",
 248                            (filename[0] == '\0') ? "<stdin>" : filename);
 249         }
 250     }
 251
 252   /* If the user specified -fd-lines-as-{code|comments} verify that we're
 253      in fixed form.  */
 254   if (gfc_current_form == FORM_FREE)
 255     {
 256       if (gfc_option.flag_d_lines == 0)
 257         gfc_warning_now ("'-fd-lines-as-comments' has no effect "
 258                          "in free form");
 259       else if (gfc_option.flag_d_lines == 1)
 260         gfc_warning_now ("'-fd-lines-as-code' has no effect "
 261                          "in free form");
 262     }
 263
 264   flag_inline_trees = 1;
 265
 266   /* Use tree inlining.  */
 267   if (!flag_no_inline)
 268     flag_no_inline = 1;
 269   if (flag_inline_functions)
 270     flag_inline_trees = 2;
 271
 272   /* If -pedantic, warn about the use of GNU extensions.  */
 273   if (pedantic && (gfc_option.allow_std & GFC_STD_GNU) != 0)
 274     gfc_option.warn_std |= GFC_STD_GNU;
 275   /* -std=legacy -pedantic is effectively -std=gnu.  */
 276   if (pedantic && (gfc_option.allow_std & GFC_STD_LEGACY) != 0)
 277     gfc_option.warn_std |= GFC_STD_F95_OBS | GFC_STD_F95_DEL | GFC_STD_LEGACY;
 278
 279   /* If the user didn't explicitly specify -f(no)-second-underscore we
 280      use it if we're trying to be compatible with f2c, and not
 281      otherwise.  */
 282   if (gfc_option.flag_second_underscore == -1)
 283     gfc_option.flag_second_underscore = gfc_option.flag_f2c;
 284
 285   /* Implement -fno-automatic as -fmax-stack-var-size=0.  */
 286   if (!gfc_option.flag_automatic)
 287     gfc_option.flag_max_stack_var_size = 0;
 288
 289   if (pedantic)
 290     gfc_option.warn_ampersand = 1;
 291
 292   if (gfc_option.flag_all_intrinsics)
 293     gfc_option.warn_nonstd_intrinsics = 0;
 294
 295   return false;
 296 }
 297
 298
 299 /* Set the options for -Wall.  */
 300
 301 static void
 302 set_Wall (void)
 303 {
 304
 305   gfc_option.warn_aliasing = 1;
 306   gfc_option.warn_ampersand = 1;
 307   gfc_option.warn_line_truncation = 1;
 308   gfc_option.warn_nonstd_intrinsics = 1;
 309   gfc_option.warn_surprising = 1;
 310   gfc_option.warn_tabs = 0;
 311   gfc_option.warn_underflow = 1;
 312
 313   set_Wunused (1);
 314   warn_return_type = 1;
 315   warn_switch = 1;
 316
 317   /* We save the value of warn_uninitialized, since if they put
 318      -Wuninitialized on the command line, we need to generate a
 319      warning about not using it without also specifying -O.  */
 320
 321   if (warn_uninitialized != 1)
 322     warn_uninitialized = 2;
 323 }
 324
 325
 326 static void
 327 gfc_handle_module_path_options (const char *arg)
 328 {
 329
 330   if (gfc_option.module_dir != NULL)
 331     {
 332       gfc_status ("gfortran: Only one -M option allowed\n");
 333       exit (3);
 334     }
 335
 336   if (arg == NULL)
 337     {
 338       gfc_status ("gfortran: Directory required after -M\n");
 339       exit (3);
 340     }
 341
 342   gfc_option.module_dir = (char *) gfc_getmem (strlen (arg) + 2);
 343   strcpy (gfc_option.module_dir, arg);
 344   strcat (gfc_option.module_dir, "/");
 345 }
 346
 347 static void
 348 gfc_handle_fpe_trap_option (const char *arg)
 349 {
 350   int result, pos = 0, n;
 351   static const char * const exception[] = { "invalid", "denormal", "zero",
 352                                             "overflow", "underflow",
 353                                             "precision", NULL };
 354   static const int opt_exception[] = { GFC_FPE_INVALID, GFC_FPE_DENORMAL,
 355                                        GFC_FPE_ZERO, GFC_FPE_OVERFLOW,
 356                                        GFC_FPE_UNDERFLOW, GFC_FPE_PRECISION,
 357                                        0 };
 358
 359   while (*arg)
 360     {
 361       while (*arg == ',')
 362         arg++;
 363       while (arg[pos] && arg[pos] != ',')
 364         pos++;
 365       result = 0;
 366       for (n = 0; exception[n] != NULL; n++)
 367         {
 368           if (exception[n] && strncmp (exception[n], arg, pos) == 0)
 369             {
 370               gfc_option.fpe |= opt_exception[n];
 371               arg += pos;
 372               pos = 0;
 373               result = 1;
 374               break;
 375             }
 376         }
 377       if (! result)
 378         gfc_fatal_error ("Argument to -ffpe-trap is not valid: %s", arg);
 379     }
 380 }
 381
 382 /* Handle command-line options.  Returns 0 if unrecognized, 1 if
 383    recognized and handled.  */
 384 int
 385 gfc_handle_option (size_t scode, const char *arg, int value)
 386 {
 387   int result = 1;
 388   enum opt_code code = (enum opt_code) scode;
 389
 390   /* Ignore file names.  */
 391   if (code == N_OPTS)
 392     return 1;
 393
 394   switch (code)
 395     {
 396     default:
 397       result = 0;
 398       break;
 399
 400     case OPT_Wall:
 401       set_Wall ();
 402       break;
 403
 404     case OPT_Waliasing:
 405       gfc_option.warn_aliasing = value;
 406       break;
 407
 408     case OPT_Wampersand:
 409       gfc_option.warn_ampersand = value;
 410       break;
 411
 412     case OPT_Wconversion:
 413       gfc_option.warn_conversion = value;
 414       break;
 415
 416     case OPT_Wimplicit_interface:
 417       gfc_option.warn_implicit_interface = value;
 418       break;
 419
 420     case OPT_Wline_truncation:
 421       gfc_option.warn_line_truncation = value;
 422       break;
 423
 424     case OPT_Wsurprising:
 425       gfc_option.warn_surprising = value;
 426       break;
 427
 428     case OPT_Wtabs:
 429       gfc_option.warn_tabs = value;
 430       break;
 431
 432     case OPT_Wunderflow:
 433       gfc_option.warn_underflow = value;
 434       break;
 435
 436     case OPT_fall_intrinsics:
 437       gfc_option.flag_all_intrinsics = 1;
 438       break;
 439
 440     case OPT_fautomatic:
 441       gfc_option.flag_automatic = value;
 442       break;
 443
 444     case OPT_fbackslash:
 445       gfc_option.flag_backslash = value;
 446       break;
 447
 448     case OPT_fcray_pointer:
 449       gfc_option.flag_cray_pointer = value;
 450       break;
 451
 452     case OPT_ff2c:
 453       gfc_option.flag_f2c = value;
 454       break;
 455
 456     case OPT_fdollar_ok:
 457       gfc_option.flag_dollar_ok = value;
 458       break;
 459
 460     case OPT_fexternal_blas:
 461       gfc_option.flag_external_blas = value;
 462       break;
 463
 464     case OPT_fblas_matmul_limit_:
 465       gfc_option.blas_matmul_limit = value;
 466       break;
 467
 468     case OPT_fd_lines_as_code:
 469       gfc_option.flag_d_lines = 1;
 470       break;
 471
 472     case OPT_fd_lines_as_comments:
 473       gfc_option.flag_d_lines = 0;
 474       break;
 475
 476     case OPT_fdump_parse_tree:
 477       gfc_option.verbose = value;
 478       break;
 479
 480     case OPT_ffixed_form:
 481       gfc_option.source_form = FORM_FIXED;
 482       break;
 483
 484     case OPT_ffixed_line_length_none:
 485       gfc_option.fixed_line_length = 0;
 486       break;
 487
 488     case OPT_ffixed_line_length_:
 489       if (value != 0 && value < 7)
 490         gfc_fatal_error ("Fixed line length must be at least seven.");
 491       gfc_option.fixed_line_length = value;
 492       break;
 493
 494     case OPT_ffree_form:
 495       gfc_option.source_form = FORM_FREE;
 496       break;
 497
 498     case OPT_fopenmp:
 499       gfc_option.flag_openmp = value;
 500       break;
 501
 502     case OPT_ffree_line_length_none:
 503       gfc_option.free_line_length = 0;
 504       break;
 505
 506     case OPT_ffree_line_length_:
 507       gfc_option.free_line_length = value;
 508       break;
 509
 510     case OPT_funderscoring:
 511       gfc_option.flag_underscoring = value;
 512       break;
 513
 514     case OPT_fsecond_underscore:
 515       gfc_option.flag_second_underscore = value;
 516       break;
 517
 518     case OPT_fimplicit_none:
 519       gfc_option.flag_implicit_none = value;
 520       break;
 521
 522     case OPT_fintrinsic_modules_path:
 523       gfc_add_include_path (arg, false);
 524       gfc_add_intrinsic_modules_path (arg);
 525       break;
 526
 527     case OPT_fmax_errors_:
 528       gfc_option.max_errors = value;
 529       break;
 530
 531     case OPT_fmax_stack_var_size_:
 532       gfc_option.flag_max_stack_var_size = value;
 533       break;
 534
 535     case OPT_frange_check:
 536       gfc_option.flag_range_check = value;
 537       break;
 538
 539     case OPT_fpack_derived:
 540       gfc_option.flag_pack_derived = value;
 541       break;
 542
 543     case OPT_frepack_arrays:
 544       gfc_option.flag_repack_arrays = value;
 545       break;
 546
 547     case OPT_fpreprocessed:
 548       gfc_option.flag_preprocessed = value;
 549       break;
 550
 551     case OPT_fmax_identifier_length_:
 552       if (value > GFC_MAX_SYMBOL_LEN)
 553         gfc_fatal_error ("Maximum supported identifier length is %d",
 554                          GFC_MAX_SYMBOL_LEN);
 555       gfc_option.max_identifier_length = value;
 556       break;
 557
 558     case OPT_fdefault_integer_8:
 559       gfc_option.flag_default_integer = value;
 560       break;
 561
 562     case OPT_fdefault_real_8:
 563       gfc_option.flag_default_real = value;
 564       break;
 565
 566     case OPT_fdefault_double_8:
 567       gfc_option.flag_default_double = value;
 568       break;
 569
 570     case OPT_I:
 571       gfc_add_include_path (arg, true);
 572       break;
 573
 574     case OPT_J:
 575     case OPT_M:
 576       gfc_handle_module_path_options (arg);
 577       break;
 578
 579     case OPT_ffpe_trap_:
 580       gfc_handle_fpe_trap_option (arg);
 581       break;
 582
 583     case OPT_std_f95:
 584       gfc_option.allow_std = GFC_STD_F95_OBS | GFC_STD_F95 | GFC_STD_F77;
 585       gfc_option.warn_std = GFC_STD_F95_OBS;
 586       gfc_option.max_identifier_length = 31;
 587       gfc_option.warn_ampersand = 1;
 588       gfc_option.warn_tabs = 0;
 589       break;
 590
 591     case OPT_std_f2003:
 592       gfc_option.allow_std = GFC_STD_F95_OBS | GFC_STD_F77
 593         | GFC_STD_F2003 | GFC_STD_F95;
 594       gfc_option.warn_std = GFC_STD_F95_OBS;
 595       gfc_option.max_continue_fixed = 255;
 596       gfc_option.max_continue_free = 255;
 597       gfc_option.max_identifier_length = 63;
 598       gfc_option.warn_ampersand = 1;
 599       break;
 600
 601     case OPT_std_gnu:
 602       gfc_option.allow_std = GFC_STD_F95_OBS | GFC_STD_F95_DEL
 603         | GFC_STD_F77 | GFC_STD_F95 | GFC_STD_F2003
 604         | GFC_STD_GNU | GFC_STD_LEGACY;
 605       gfc_option.warn_std = GFC_STD_F95_OBS | GFC_STD_F95_DEL
 606         | GFC_STD_LEGACY;
 607       break;
 608
 609     case OPT_std_legacy:
 610       gfc_option.allow_std = GFC_STD_F95_OBS | GFC_STD_F95_DEL
 611         | GFC_STD_F77 | GFC_STD_F95 | GFC_STD_F2003
 612         | GFC_STD_GNU | GFC_STD_LEGACY;
 613       gfc_option.warn_std = 0;
 614       break;
 615
 616     case OPT_Wnonstd_intrinsics:
 617       gfc_option.warn_nonstd_intrinsics = value;
 618       break;
 619
 620     case OPT_fshort_enums:
 621       gfc_option.fshort_enums = 1;
 622       break;
 623
 624     case OPT_fconvert_little_endian:
 625       gfc_option.convert = CONVERT_LITTLE;
 626       break;
 627
 628     case OPT_fconvert_big_endian:
 629       gfc_option.convert = CONVERT_BIG;
 630       break;
 631
 632     case OPT_fconvert_native:
 633       gfc_option.convert = CONVERT_NATIVE;
 634       break;
 635
 636     case OPT_fconvert_swap:
 637       gfc_option.convert = CONVERT_SWAP;
 638       break;
 639
 640     case OPT_frecord_marker_4:
 641       gfc_option.record_marker = 4;
 642       break;
 643
 644     case OPT_frecord_marker_8:
 645       gfc_option.record_marker = 8;
 646       break;
 647
 648     case OPT_fmax_subrecord_length_:
 649       if (value > MAX_SUBRECORD_LENGTH)
 650         gfc_fatal_error ("Maximum subrecord length cannot exceed %d", MAX_SUBRECORD_LENGTH);
 651
 652       gfc_option.max_subrecord_length = value;
 653     }
 654
 655   return result;
 656 }