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