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