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