gcc/fortran/ChangeLog

   1 2009-05-10  Ian Lance Taylor  <iant@google.com>
   2
   3         * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
   4         gfc_omp_clauses.
   5         (enum gfc_omp_default_sharing): Likewise.
   6         * module.c (enum gfc_rsym_state): New enum, broken out of
   7         pointer_info.
   8         (enum gfc_wsym_state): Likewise.
   9         * parse.c (enum state_order): New enum, broken out of st_state.
  10
  11 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
  12
  13         PR fortran/40018
  14         * trans-array.c (gfc_trans_array_constructor_value): Fold
  15         convert numeric constants.
  16         (gfc_build_constant_array_constructor): The same.
  17
  18 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
  19
  20         PR fortran/38863
  21         * trans-expr.c (gfc_conv_operator_assign): Remove function.
  22         * trans.h : Remove prototype for gfc_conv_operator_assign.
  23         * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
  24         derivde types with intent(out).
  25         (gfc_trans_call): Add mask, count1 and invert arguments. Add
  26         code to use mask for WHERE assignments.
  27         (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
  28         (gfc_trans_where_assign): The gfc_symbol argument is replaced
  29         by the corresponding code. If this has a resolved_sym, then
  30         gfc_trans_call is called. The call to gfc_conv_operator_assign
  31         is removed.
  32         (gfc_trans_where_2): Change the last argument in the call to
  33         gfc_trans_where_assign.
  34         * trans-stmt.h : Modify prototype for gfc_trans_call.
  35         * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
  36
  37 2009-05-08  Janus Weil  <janus@gcc.gnu.org>
  38
  39         PR fortran/39876
  40         * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
  41         the symbol is a module procedure.
  42
  43 2009-05-08  Tobias Burnus  <burnus@net-b.de>
  44
  45         * invoke.texi: Add do/recursion to the -fcheck= summary.
  46
  47 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
  48
  49         PR fortran/38830
  50         * gfortran.texi: Document that we don't support variable FORMAT
  51         expressions.
  52
  53 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
  54
  55         PR fortran/39576
  56         * error.c (error_print): Add missing break statement.
  57
  58 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
  59
  60         PR fortran/36382
  61         * invoke.texi: Document that -fdollar-ok does not allow $ to be
  62         used in IMPLICIT statement.
  63
  64 2009-05-06  Janus Weil  <janus@gcc.gnu.org>
  65             Paul Thomas  <pault@gcc.gnu.org>
  66
  67         PR fortran/39630
  68         * decl.c (match_procedure_interface): New function to match the
  69         interface for a PROCEDURE statement.
  70         (match_procedure_decl): Call match_procedure_interface.
  71         (match_ppc_decl): New function to match the declaration of a
  72         procedure pointer component.
  73         (gfc_match_procedure):  Call match_ppc_decl.
  74         (match_binding_attributes): Add new argument 'ppc' and handle the
  75         POINTER attribute for procedure pointer components.
  76         (match_procedure_in_type,gfc_match_generic): Added new argument to
  77         match_binding_attributes.
  78         * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
  79         procedure pointer components.
  80         * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
  81         (gfc_check_pointer_assign): Handle procedure pointer components, but no
  82         full checking yet.
  83         (is_proc_ptr_comp): New function to determine if an expression is a
  84         procedure pointer component.
  85         * gfortran.h (expr_t): Add EXPR_PPC.
  86         (symbol_attribute): Add new member 'proc_pointer_comp'.
  87         (gfc_component): Add new member 'formal'.
  88         (gfc_exec_op): Add EXEC_CALL_PPC.
  89         (gfc_get_default_type): Changed first argument.
  90         (is_proc_ptr_comp): Add prototype.
  91         (gfc_match_varspec): Add new argument.
  92         * interface.c (compare_actual_formal): Handle procedure pointer
  93         components.
  94         * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
  95         procedure pointer components.
  96         * module.c (mio_expr): Handle EXPR_PPC.
  97         * parse.c (parse_derived): Handle procedure pointer components.
  98         * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
  99         procedure pointer components.
 100         (gfc_variable_attr): Handle procedure pointer components.
 101         (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
 102         first argument of gfc_get_default_type.
 103         (match_variable): Added new argument to gfc_match_varspec.
 104         * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
 105         first argument of gfc_get_default_type.
 106         (resolve_structure_cons,resolve_actual_arglist): Handle procedure
 107         pointer components.
 108         (resolve_ppc_call): New function to resolve a call to a procedure
 109         pointer component (subroutine).
 110         (resolve_expr_ppc): New function to resolve a call to a procedure
 111         pointer component (function).
 112         (gfc_resolve_expr): Handle EXPR_PPC.
 113         (resolve_code): Handle EXEC_CALL_PPC.
 114         (resolve_fl_derived): Copy the interface for a procedure pointer
 115         component.
 116         (resolve_symbol): Fix overlong line.
 117         * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
 118         * symbol.c (gfc_get_default_type): Changed first argument.
 119         (gfc_set_default_type): Changed first argument of gfc_get_default_type.
 120         (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
 121         * trans.h (gfc_conv_function_call): Renamed.
 122         * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
 123         * trans-expr.c (gfc_conv_component_ref): Ditto.
 124         (gfc_conv_function_val): Rename to 'conv_function_val', add new
 125         argument 'expr' and handle procedure pointer components.
 126         (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
 127         (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
 128         (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
 129         argument 'expr' and handle procedure pointer components.
 130         (gfc_get_proc_ptr_comp): New function to get the backend decl for a
 131         procedure pointer component.
 132         (gfc_conv_function_expr): Renamed gfc_conv_function_call.
 133         (gfc_conv_structure): Handle procedure pointer components.
 134         * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
 135         conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
 136         * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
 137         * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
 138         * trans-types.h (gfc_get_ppc_type): Add prototype.
 139         * trans-types.c (gfc_get_ppc_type): New function to build a tree node
 140         for a procedure pointer component.
 141         (gfc_get_derived_type): Handle procedure pointer components.
 142
 143 2009-05-06  Tobias Burnus  <burnus@net-b.de>
 144
 145         PR fortran/40041
 146         * resolve.c (resolve_symbol): Print no warning for implicitly
 147         typed intrinsic functions.
 148
 149 2009-05-05  Janus Weil  <janus@gcc.gnu.org>
 150
 151         PR fortran/39998
 152         * expr.c (gfc_check_pointer_assign): Check for statement functions and
 153         internal procedures in procedure pointer assignments.
 154
 155 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
 156
 157         PR fortran/39946
 158         * resolve.c (resolve_symbol): Correctly copy the interface of a
 159         PROCEDURE statement if the interface involves a RESULT variable.
 160
 161 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
 162
 163         PR fortran/39930
 164         PR fortran/39931
 165         * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
 166         side is a pointer.
 167         * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
 168
 169 2009-04-28  Paul Thomas  <pault@gcc.gnu.org>
 170
 171         PR fortran/39879
 172         * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
 173         type parentheses argument if it is a variable with allocatable
 174         components.
 175
 176 2009-04-27  Ian Lance Taylor  <iant@google.com>
 177
 178         * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
 179         type.
 180         * trans-io.c (st_parameter_field): Add casts to enum type.
 181
 182 2009-04-26  Steven G. Kargl  <kargl@gcc.gnu.org>
 183
 184         PR fortran/39893
 185         fortran/data.c (gfc_assign_data_value): If the lvalue is an
 186         assumed character length entity in a data statement, then
 187         return FAILURE to prevent segmentation fault.
 188
 189 2009-04-26  Jakub Jelinek  <jakub@redhat.com>
 190
 191         * trans-decl.c: Include pointer-set.h.
 192         (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
 193         (gfc_nonlocal_dummy_array_decl): New function.
 194         (gfc_get_symbol_decl): Call it for non-local dummy args with saved
 195         descriptor.
 196         (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
 197         (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
 198         chain it to outermost block's vars, destroy it afterwards.
 199         * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
 200
 201 2009-04-25  Janus Weil  <janus@gcc.gnu.org>
 202
 203         PR fortran/39688
 204         * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
 205         They differ if the symbol has been use-renamed.
 206
 207 2009-04-24  Ian Lance Taylor  <iant@google.com>
 208
 209         * gfortran.h (enum gfc_symbol_type): New named enum type, broken
 210         out of struct gfc_symbol.
 211         (struct gfc_symbol): Use enum gfc_symbol_type.
 212         (enum gfc_array_ref_dimen_type): New named enum type, broken out
 213         of struct gfc_array_ref).
 214         (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
 215         (mod_pointee_as): Update declaration.
 216         * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
 217         (gfc_mod_pointee_as): Change return type to "match".
 218         * module.c (mio_array_ref): Add cast to enum type.
 219         (mio_symbol): Likewise.
 220         * resolve.c (resolve_global_procedure): Change type to enum
 221         gfc_symbol_type.
 222         * trans-io.c (gfc_build_st_parameter): Change type to unsigned
 223         int.
 224
 225 2009-04-24  Daniel Kraft  <d@domob.eu>
 226
 227         * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
 228         (struct gfc_symtree): Moved `typebound' member inside union.
 229         (struct gfc_namespace): Add `tb_sym_root' as new symtree to sort out
 230         type-bound procedures there.
 231         (gfc_get_tbp_symtree): New procedure.
 232         * symbol.c (tentative_tbp_list): New global.
 233         (gfc_get_namespace): NULL new `tb_sym_root' member.
 234         (gfc_new_symtree): Removed initialization of `typebound' member.
 235         (gfc_undo_symbols): Process list of tentative tbp's.
 236         (gfc_commit_symbols): Ditto.
 237         (free_tb_tree): New method.
 238         (gfc_free_namespace): Call it.
 239         (gfc_get_typebound_proc): New method.
 240         (gfc_get_tbp_symtree): New method.
 241         (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
 242         and gfc_namespace with regards to tbp's.
 243         * dump-parse-tree.c (show_typebound): Ditto.
 244         * primary.c (gfc_match_varspec): Ditto.  Don't reference tbp-symbol
 245         as it isn't a symbol any longer.
 246         * module.c (mio_typebound_symtree): Adapt to changes.
 247         (mio_typebound_proc): Ditto, create symtrees using `gfc_get_tbp_symtree'
 248         rather than `gfc_get_sym_tree'.
 249         (mio_f2k_derived): Ditto.
 250         * decl.c (match_procedure_in_type): Ditto.
 251         (gfc_match_generic): Ditto.  Don't reference tbp-symbol.
 252         * resolve.c (check_typebound_override): Adapt to changes.
 253         (resolve_typebound_generic): Ditto.
 254         (resolve_typebound_procedures): Ditto.
 255         (ensure_not_abstract_walker): Ditto.
 256         (ensure_not_abstract): Ditto.
 257         (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
 258         instance, through removed tentative ones).
 259         * gfc-internals.texi (Type-bound procedures): Document changes.
 260
 261 2009-04-24  Janus Weil  <janus@gcc.gnu.org>
 262
 263         PR fortran/39861
 264         PR fortran/39864
 265         * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
 266         for the formal arguments.
 267
 268 2009-04-21  Taras Glek <tglek@mozilla.com>
 269
 270         * f95-lang.c: Update GTY annotations to new syntax.
 271         * trans-intrinsic.c: Likewise.
 272         * trans-io.c: Likewise.
 273         * trans.h: Likewise.
 274
 275 2009-04-22  Janus Weil  <janus@gcc.gnu.org>
 276
 277         PR fortran/39735
 278         * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
 279         (match_procedure_decl): Set if_source.
 280         * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
 281         And: Check interface also for IFSRC_UNKNOWN (return type may be known).
 282         * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
 283         add documentation. Rename copy_formal_args and copy_formal_args_intr.
 284         * interface.c (gfc_compare_interfaces): Check for return types,
 285         handle IFSRC_UNKNOWN.
 286         (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
 287         (gfc_procedure_use): Modified handling of intrinsics.
 288         * intrinsic.c (add_functions): Bugfix for "dim".
 289         * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
 290         which copies the interface from isym to sym.
 291         (resolve_procedure_expression,resolve_function): Use new function
 292         'resolve_intrinsic'.
 293         (resolve_symbol): Add function attribute for externals with return type
 294         and use new function 'resolve_intrinsic'.
 295         * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
 296         (copy_formal_args): Renamed to gfc_copy_formal_args.
 297         (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
 298         * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
 299
 300 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
 301
 302         * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
 303         ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
 304         ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
 305         copyright and license notices.
 306         * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
 307         ChangeLog-2008: Correct dates.
 308
 309 2009-04-20  Tobias Burnus  <burnus@net-b.de>
 310
 311         PR fortran/39811
 312         * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
 313
 314 2009-04-20  Paul Thomas  <pault@gcc.gnu.org>
 315
 316         PR fortran/39800
 317         * resolve.c (is_sym_host_assoc): New function.
 318         (resolve_fl_derived): Call it when checking PRIVATE components
 319         of PUBLIC derived types.  Change gfc_error to a gfc_notify_std
 320         with std=f2003.
 321         (resolve_fl_namelist): Call it twice to check for host
 322         association.
 323
 324 2009-04-20  Ian Lance Taylor  <iant@google.com>
 325
 326         * module.c (import_iso_c_binding_module): Add casts to enum type.
 327         * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
 328         tree_code.
 329         (gfc_conv_intrinsic_anyall): Likewise.
 330         (gfc_conv_intrinsic_arith): Likewise.
 331         (gfc_conv_intrinsic_minmaxloc): Likewise.
 332         (gfc_conv_intrinsic_minmaxval): Likewise.
 333         (gfc_conv_intrinsic_bitop): Likewise.
 334         (gfc_conv_intrinsic_singlebitop): Likewise.
 335         (gfc_conv_intrinsic_strcmp): Likewise.
 336
 337 2009-04-20  Vasilis Liaskovitis  <vliaskov@gmail.com>
 338             Jakub Jelinek  <jakub@redhat.com>
 339
 340         PR fortran/35423
 341         * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
 342         OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
 343         (ompws_flags): New extern decl.
 344         * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
 345         for the outer dimension if ompws_flags allow it.
 346         * trans.c (gfc_generate_code): Clear ompws_flags.
 347         * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
 348         array assignments inside of !$omp workshare.
 349         * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
 350         and constructs.
 351         * trans-openmp.c (ompws_flags): New variable.
 352         (gfc_trans_omp_workshare): Rewritten.
 353
 354 2009-04-11  Daniel Kraft  <d@domob.eu>
 355
 356         PR fortran/37746
 357         * gfortran.h (struct gfc_charlen): New field `passed_length' to store
 358         the actual passed string length for dummy arguments.
 359         * trans-decl.c (gfc_create_string_length): Formatting fixes and added
 360         assertion, moved a local variable into the innermost block it is needed.
 361         (create_function_arglist): Removed TODO about the check being
 362         implemented and initialize cl->passed_length here.
 363         (add_argument_checking): New method.
 364         (gfc_generate_function_code): Call the argument checking method.
 365
 366 2009-04-11  Janus Weil  <janus@gcc.gnu.org>
 367
 368         PR fortran/39692
 369         * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
 370
 371 2009-04-11  Daniel Franke  <franke.daniel@gmail.com>
 372
 373         * resolve.c (resolve_global_procedure): Enable whole-file checking for
 374         procedures that are declared later in the file.
 375
 376 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
 377
 378         PR middle-end/39701
 379         * trans.c (gfc_allocate_with_status): Fix type mismatches
 380         on "pstat == 0".
 381
 382 2009-04-10  Daniel Franke  <franke.daniel@gmail.com>
 383
 384         PR fortran/38709
 385         * expr.c (find_array_section): Leave early on zero-sized arrays.
 386
 387 2009-04-09  Janus Weil  <janus@gcc.gnu.org>
 388
 389         PR fortran/36704
 390         * decl.c (add_hidden_procptr_result): New function for handling
 391         procedure pointer return values by adding a hidden result variable.
 392         (variable_decl,match_procedure_decl,gfc_match_function_decl,
 393         gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
 394         return values.
 395         * parse.c (parse_interface): Add EXTERNAL attribute only after
 396         FUNCTION/SUBROUTINE declaration is complete.
 397         * primary.c (replace_hidden_procptr_result): New function for replacing
 398         function symbol by hidden result variable.
 399         (gfc_match_rvalue,match_variable): Replace symbol by hidden result
 400         variable.
 401         * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
 402         resolve_symbol): Allow for procedure pointer function results.
 403         (resolve_fl_procedure): Conflict detection moved here from
 404         'check_conflict'.
 405         * symbol.c (gfc_check_function_type): Allow for procedure pointer
 406         function results.
 407         (check_conflict): Move some conflict detection to resolution stage.
 408         * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
 409         result variables.
 410
 411 2009-04-08  Jakub Jelinek  <jakub@redhat.com>
 412
 413         * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
 414         contain TYPE_STRING_FLAG types.
 415
 416 2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>
 417
 418         PR fortran/39670
 419         * invoke.texi (fdollar-ok): Fix typo.
 420
 421 2009-04-08  Daniel Franke  <franke.daniel@gmail.com>
 422
 423         PR fortran/39670
 424         * invoke.texi (fdollar-ok): Clarify limitations.
 425
 426 2009-04-08  Paul Thomas  <pault@gcc.gnu.org>
 427
 428         PR fortran/38863
 429         * trans-array.c (gfc_trans_deferred_array): Return if this
 430         is a result variable.
 431
 432 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
 433
 434         PR fortran/38152
 435         * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
 436         procedure pointer decls.
 437
 438 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
 439
 440         PR fortran/38290
 441         * expr.c (gfc_check_pointer_assign): Enable interface check for
 442         procedure pointers.
 443         * gfortran.h: Add copy_formal_args_intr.
 444         * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
 445         if second argument is an intrinsic.
 446         (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
 447         and ts.
 448         (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
 449         * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
 450         intrinsic interfaces here. Must happen earlier.
 451         (resolve_symbol): Resolution of intrinsic interfaces moved here from
 452         resolve_specific_..., and formal args are now copied from intrinsic
 453         interfaces.
 454         * symbol.c (copy_formal_args_intr): New function to copy the formal
 455         arguments from an intinsic procedure.
 456
 457 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
 458
 459         PR fortran/38863
 460         * dependency.c (ref_same_as_full_array): New function.
 461         (gfc_dep_resolver): Call it.
 462
 463 2009-04-06  Janus Weil  <janus@gcc.gnu.org>
 464
 465        PR fortran/39414
 466        * decl.c (match_procedure_decl): Fix double declaration problems with
 467        PROCEDURE statements.
 468        * symbol.c (gfc_add_type): Ditto.
 469
 470 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
 471
 472         PR fortran/36091
 473         * trans-array.c (gfc_conv_array_ref): If the symbol has the
 474         temporary attribute use the array_spec for the bounds.
 475         * gfortran.h : Add the temporary field to the structure
 476         'symbol_attribute'.
 477         * trans-stmt.c (forall_make_variable_temp): Set the symbol's
 478         temporary attribute.
 479
 480 2009-04-05  Daniel Franke  <franke.daniel@gmail.com>
 481
 482         PR fortran/29458
 483         * trans-array.c (gfc_trans_array_constructor_value): Shadow
 484         implied do-loop variable to avoid spurious middle-end warnings.
 485
 486 2009-04-04  Tobias Burnus  <burnus@net-b.de>
 487
 488         PR fortran/39577
 489         * trans-decl.c (gfc_generate_function_code): Move recursive
 490         check to the right position.
 491
 492 2009-04-04  Paul Thomas  <pault@gcc.gnu.org>
 493
 494         PR fortran/37614
 495         * trans-common.c (translate_common): Do not offset the whole
 496         coomon block.
 497
 498 2009-04-03  Tobias Burnus  <burnus@net-b.de>
 499
 500         PR fortran/39594
 501         * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
 502         if it is not a procedure pointer.
 503         * primary.c (match_actual_arg): Ditto.
 504
 505 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
 506
 507         PR preprocessor/15638
 508         * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
 509
 510 2009-03-30  Steven G. Kargl  <kargls@comcast.net>
 511
 512         PR fortran/38389
 513         * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
 514         (gfc_trans_deallocate): Add translation of ERRMSG.  Remove stale
 515         comments.  Minor whitespace cleanup.
 516         * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
 517         (resolve_deallocate_expr (gfc_expr *e): Update error message.
 518         (resolve_allocate_expr):  Remove dead code.  Update error message.
 519         Move error checking to ...
 520         (resolve_allocate_deallocate): ... here.  Add additional error
 521         checking for STAT, ERRMSG, and allocate-objects.
 522         * match.c(gfc_match_allocate,gfc_match_deallocate):  Parse ERRMSG.
 523         Check for redundant uses of STAT and ERRMSG.  Reword error message
 524         and add checking for pointer, allocatable, and proc_pointer attributes.
 525
 526 2009-03-30  Paul Thomas  <pault@gcc.gnu.org>
 527
 528         PR fortran/22571
 529         PR fortran/26227
 530         PR fortran/24886
 531         * symbol.c : Add gfc_global_ns_list.
 532         * decl.c (add_global_entry): Set the namespace ('ns') field.
 533         * gfortran.h : Add the resolved field to gfc_namespace. Add the
 534         namespace ('ns') field to gfc_gsymbol.  Add flag_whole_file to
 535         gfc_option_t.  Add the prototype for gfc_free_dt_list.
 536         * lang.opt : Add the whole-file option.
 537         * invoke.texi : Document the whole-file option.
 538         * resolve.c (resolve_global_procedure): If the fwhole-file
 539         option is set, reorder gsymbols to ensure that translation is
 540         in the right order.  Resolve the gsymbol's namespace if that
 541         has not occurred and then check interfaces.
 542         (resolve_function): Move call to resolve_global_procedure.
 543         (resolve_call): The same.
 544         (resolve_codes): Store the current labels_obstack.
 545         (gfc_resolve) : Return if the namespace is already resolved.
 546         trans-decl.c (gfc_get_extern_function_decl): If the whole_file
 547         option is selected, use the backend_decl of a gsymbol, if it is
 548         available.
 549         parse.c (add_global_procedure, add_global_program): If the flag
 550         whole-file is set, add the namespace to the gsymbol.
 551         (gfc_parse_file): On -fwhole-file, put procedure namespaces on
 552         the global namespace list.  Rearrange to do resolution of all
 553         the procedures in a file, followed by their translation.
 554         * options.c (gfc_init_options): Add -fwhole-file.
 555         (gfc_handle_option): The same.
 556
 557 2009-03-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 558
 559         * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
 560         family of intrinsics instead of BUILT_IN_INF family.
 561         * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
 562         BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
 563
 564 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
 565
 566         * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
 567         sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
 568
 569 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
 570
 571         PR rtl-optimization/323
 572         * options.c (gfc_post_options): Set
 573         flag_excess_precision_cmdline.  Give an error for
 574         -fexcess-precision=standard for processors where the option is
 575         significant.
 576
 577 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
 578
 579         PR preprocessor/34695
 580         * cpp.c (cb_cpp_error): New.
 581         (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
 582         Don't check cpp_errors (cpp_in).
 583         (gfc_cpp_init_0): Set cb->error.
 584
 585 2009-03-29  Steven G. Kargl  <kargl@gcc.gnu.org>
 586
 587         PR fortran/38823
 588         * gfortran.h: Add ARITH_PROHIBIT to arith enum.
 589         expr.c (gfc_match_init_expr): Add global variable init_flag to
 590         flag matching an initialization expression.
 591         (check_intrinsic_op): Move no longer reachable error message to ...
 592         * arith.c (arith_power): ... here.  Remove gfc_ prefix in
 593         gfc_arith_power.  Use init_flag.  Allow constant folding of x**y
 594         when y is REAL or COMPLEX.
 595         (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
 596         for constant folding.
 597         * gfc_power: Update gfc_arith_power to arith_power
 598
 599 2009-03-29  Daniel Kraft  <d@domob.eu>
 600
 601         PR fortran/37423
 602         * gfortran.h (struct gfc_typebound_proc): Added new flag `deferred' and
 603         added a comment explaining DEFERRED binding handling.
 604         * decl.c (match_binding_attributes): Really match DEFERRED attribute.
 605         (match_procedure_in_type): Really match PROCEDURE(interface) syntax
 606         and do some validity checks for DEFERRED and this construct.
 607         * module.c (binding_overriding): New string constant for DEFERRED.
 608         (mio_typebound_proc): Module-IO DEFERRED flag.
 609         * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
 610         binding is not overridden by a DEFERRED one.
 611         (resolve_typebound_procedure): Allow abstract interfaces as targets
 612         for DEFERRED bindings.
 613         (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
 614         (resolve_fl_derived): Use new `ensure_not_abstract' method for
 615         non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
 616         binding is overridden.
 617         (check_typebound_baseobject): New method.
 618         (resolve_compcall), (resolve_typebound_call): Check base-object of
 619         the type-bound procedure call.
 620         * gfc-internals.texi (Type-bound procedures): Document a little bit
 621         about internal handling of DEFERRED bindings.
 622
 623 2009-03-29  Tobias Schlüter  <tobi@gcc.gnu.org>
 624
 625         PR fortran/38507
 626         * gfortran.h (gfc_st_label): Fix comment.
 627         (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
 628         * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
 629         END SELECT with labels.
 630         (check_do_closure): Fix formatting.
 631         (parse_do_block): Fix typo in error message.
 632         * resolve.c (code_stack): Remove tail member.  Update comment to
 633         new use of reachable_labels.
 634         (reachable_labels): Rename to ...
 635         (find_reachable_labels): ... this.  Overhaul.  Update preceding
 636         comment.
 637         (resolve_branch): Fix comment preceding function.  Rewrite.
 638         (resolve_code): Update call to find_reachable_labels.  Add code to
 639         deal with EXEC_END_BLOCK.
 640         * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
 641         Add 2009 to copyright years.
 642         * trans.c (gfc_trans_code): Likewise on both counts.
 643
 644 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
 645
 646         PR fortran/38917
 647         * expr.c (gfc_check_assign): Allow pointer components when
 648         checking for NULL.
 649
 650         PR fortran/38918
 651         * resolve.c (check_data_variable): Treat pointer arrays with
 652         scalars.
 653
 654 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
 655
 656         PR fortran/38915
 657         * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
 658         have a string_length.
 659
 660 2009-03-28  Tobias Burnus  <burnus@net-b.de>
 661
 662         PR fortran/34656
 663         * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
 664         Add GFC_RTCHECK_DO support.
 665         * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
 666         * invoke.texi (-fcheck): Document "do" option.
 667
 668 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
 669
 670         PR fortran/38538
 671         * trans-array.c (get_elemental_fcn_charlen): Remove.
 672         (get_array_charlen): New function to replace previous.
 673
 674 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
 675
 676         PR fortran/38765
 677         * parse.c (parse_derived): Do not break on finding pointer,
 678         allocatable or private components.
 679
 680 2009-03-28  Tobias Burnus  <burnus@net-b.de>
 681
 682         PR fortran/32626
 683         * option.c (gfc_handle_runtime_check_option): Enable recursion check.
 684         * trans-decl.c (gfc_generate_function_code): Add recursion check.
 685         * invoke.texi (-fcheck): Add recursive option.
 686
 687 2009-03-28  Tobias Burnus  <burnus@net-b.de>
 688
 689         PR fortran/38432
 690         * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
 691
 692 2009-03-28  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 693             Paul Thomas  <pault@gcc.gnu.org>
 694             Tobias Burnus  <burnus@net-b.de>
 695
 696         * gfortran.h (gfc_option_t): Add rtcheck.
 697         * lang.opt: New option -fcheck.
 698         * libgfortran.h: Add GFC_RTCHECK_* constants.
 699         * invoke.texi: Document -fcheck.
 700         * options.c (gfc_handle_runtime_check_option): New function.
 701         (gfc_init_options,gfc_post_options,gfc_handle_option):
 702         Add -fcheck option.
 703
 704 2009-03-27  Richard Guenther  <rguenther@suse.de>
 705
 706         * trans-array.c (gfc_conv_descriptor_data_addr): Use
 707         gfc_build_addr_expr instead of build_fold_addr_expr.
 708         (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
 709         gfc_trans_constant_array_constructor, gfc_conv_array_data,
 710         gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
 711         * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
 712         gfc_conv_function_val, gfc_conv_operator_assign,
 713         gfc_conv_subref_array_arg, gfc_conv_function_call,
 714         gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
 715         * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
 716         gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
 717         gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
 718         gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
 719         gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
 720         gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
 721         gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
 722         * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
 723         gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
 724         build_filepos, gfc_trans_inquire, gfc_trans_wait,
 725         nml_get_addr_expr, transfer_namelist_element, build_dt,
 726         gfc_trans_dt_end, transfer_array_component, transfer_expr,
 727         transfer_array_desc, gfc_trans_transfer): Likewise.
 728         * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
 729         * trans.c (gfc_build_addr_expr): Mark the base of the address
 730         TREE_ADDRESSABLE.
 731
 732 2009-03-27  Tobias Burnus  <burnus@net-b.de>
 733
 734         * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
 735         (gfc_expr): Add is_snan.
 736         * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
 737         (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
 738         * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
 739         * resolve.c (build_default_init_expr): Update call.
 740         * target-memory.c (encode_float): Ditto.
 741         * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
 742
 743 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 744
 745         * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
 746         and -fpreprocessed.
 747
 748 2009-03-06  Alexandre Oliva <aoliva@redhat.com>
 749
 750         * simplify.c (gfc_simplify_transfer): Zero-initialize the
 751         buffer.
 752
 753 2009-02-27  Tobias Burnus  <burnus@net-b.de>
 754
 755         PR fortran/39309
 756         * module.c (read_md5_from_module_file): Add missing quote.
 757
 758 2009-02-27  Tobias Burnus  <burnus@net-b.de>
 759
 760         PR fortran/39309
 761         * module.c (read_md5_from_module_file): Include mod version
 762         in had-changed test.
 763
 764 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
 765
 766         PR fortran/39295
 767         * interface.c (compare_type_rank_if): Return 1 if the symbols
 768         are the same and deal with external procedures where one is
 769         identified to be a function or subroutine by usage but the
 770         other is not.
 771
 772 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
 773
 774         PR fortran/39292
 775         * trans-array.c (gfc_conv_array_initializer): Convert all
 776         expressions rather than ICEing.
 777
 778 2009-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
 779
 780         PR fortran/38914
 781         * array.c (ref_dimen_size):  Rename to gfc_ref_dimen_size,
 782         make global.  Change function name in error messages.
 783         (ref_size):  Change ref_dimen_size to gfc_ref_dimen_size.
 784         (gfc_array_ref_shape):  Likewise.
 785         * gfortran.h:  Add prototype for gfc_ref_dimen_size.
 786         * simplify.c (simplify_bound_dim):  Add ref argument.
 787         If the reference isn't a full array, return one for
 788         the lower bound and the extent for the upper bound.
 789         (simplify_bound):  For array sections, take as from the
 790         argument.  Add reference to all to simplify_bound_dim.
 791
 792 2009-02-19  Daniel Franke  <franke.daniel@gmail.com>
 793
 794         * scanner.c (load_line): At end of line, skip '\r' without setting
 795         the truncation flag.
 796
 797 2009-02-18  Daniel Kraft  <d@domob.eu>
 798
 799         * gfortran.texi: New chapter about compiler characteristics.
 800         (Compiler Characteristics): Document KIND type parameters here.
 801
 802 2009-02-18  Tobias Burnus  <burnus@net-b.de>
 803
 804         * intrinsic.texi (MALLOC): Make example more portable.
 805
 806 2009-02-13  Mikael Morin  <mikael.morin@tele2.fr>
 807
 808         PR fortran/38259
 809         * module.c (gfc_dump_module,gfc_use_module): Add module
 810         version number.
 811
 812 2009-02-13  Paul Thomas  <pault@gcc.gnu.org>
 813
 814         PR fortran/36703
 815         PR fortran/36528
 816         * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
 817         function references to ensure that a valid expression is used.
 818         (gfc_conv_function_call): Pass Cray pointers to procedures.
 819
 820 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
 821
 822         * gfortranspec.c (lang_specific_driver): Update copyright notice
 823         dates.
 824
 825 2009-01-28  Paul Thomas  <pault@gcc.gnu.org>
 826
 827         PR fortran/38852
 828         PR fortran/39006
 829         * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
 830         descriptor ubound for UBOUND, when the array lbound == 1.
 831
 832 2009-01-27  Daniel Kraft  <d@domob.eu>
 833
 834         PR fortran/38883
 835         * trans-stmt.c (gfc_conv_elemental_dependencies):  Create temporary
 836         for the real type needed to make it work for subcomponent-references.
 837
 838 2009-01-21  Daniel Kraft  <d@domob.eu>
 839
 840         * trans-stmt.c (gfc_conv_elemental_dependencies):  Cleaned up comment.
 841
 842 2009-01-20  Paul Thomas  <pault@gcc.gnu.org>
 843
 844         PR fortran/38907
 845         * resolve.c (check_host_association): Remove the matching to
 846         correct an incorrect host association and use manipulation of
 847         the expression instead.
 848
 849 2009-01-20  Tobias Burnus  <burnus@net-b.de>
 850
 851         * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
 852
 853 2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
 854
 855         PR fortran/38859
 856         * simplify.c (simplify_bound): Don't use array specification
 857         if variable or component has subsequent references.
 858
 859 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
 860
 861         PR fortran/38657
 862         * module.c (write_common_0): Add argument 'this_module' and
 863         check that non-use associated common blocks are written first.
 864         (write_common): Call write_common_0 twice, once with true and
 865         then with false.
 866
 867 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
 868
 869         PR fortran/34955
 870         * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
 871         been absorbed into gfc_conv_intrinsic_transfer. All
 872         references to it in trans-intrinsic.c have been changed
 873         accordingly.  PR fixed by using a temporary for scalar
 874         character transfer, when the source is shorter than the
 875         destination.
 876
 877 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
 878
 879         PR fortran/38657
 880         * module.c (write_common_0): Revert patch of 2009-01-05.
 881
 882 2009-01-16  Janus Weil  <janus@gcc.gnu.org>
 883
 884         PR fortran/38152
 885         * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
 886         pointers as lvalue.
 887         * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
 888         Enable procedure pointers as module variables.
 889
 890 2009-01-14  Steven G. Kargl  <kargl@gcc.gnu.org>
 891
 892         * ChangeLog-2007: Clean out svn merge droppings.
 893
 894 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
 895
 896         PR fortran/38763
 897         * target-memory.c (encode_derived): Encode NULL.
 898
 899 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
 900
 901         PR fortran/38765
 902         * resolve.c (check_host_association): Use the symtree name to
 903         search for a potential contained procedure, since this is the
 904         name by which it would be referenced.
 905
 906 2009-01-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
 907
 908         PR fortran/38220
 909         * interface.c (gfc_procedure_use):  Don't warn about functions
 910         from ISO_C_BINDING.
 911         * symbol.c (generate_isocbinding_symbol):  Mark c_loc and
 912         c_funloc as pure.
 913
 914 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
 915
 916         PR fortran/38657
 917         * module.c (write_common_0): Use the name of the symtree rather
 918         than the common block, to determine if the common has been
 919         written.
 920
 921 2009-01-05  Daniel Franke  <franke.daniel@gmail.com>
 922
 923         PR fortran/37159
 924         * check.c (gfc_check_random_seed): Added size check for GET
 925         dummy argument, reworded error messages to follow common pattern.
 926
 927 2009-01-05  Thomas Koenig  <tkoenig@gcc.gnu.org>
 928
 929         PR fortran/38672
 930         * trans-types.c (gfc_get_derived_type):  Check for the
 931         presence of derived->ns->proc_name before
 932         accessing derived->ns->proc_name->attr.flavor .
 933         * resolve.c (resolve_symbol):  Likewise.
 934
 935 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
 936
 937         PR fortran/38665
 938         * gfortran.h : Add bit to gfc_expr 'user_operator'
 939         * interface.c (gfc_extend_expr): Set the above if the operator
 940         is substituted by a function.
 941         * resolve.c (check_host_association): Return if above is set.
 942
 943 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
 944
 945         PR fortran/35681
 946         * ChangeLog-2008: Fix function name.
 947
 948         PR fortran/38487
 949         * dependency.c (gfc_check_argument_var_dependency):
 950         Move the check for pointerness inside the if block
 951         so that it doesn't affect the return value.
 952
 953         PR fortran/38669
 954         * trans-stmt.c (gfc_trans_call):
 955         Add the dependency code after the loop bounds calculation one.
 956
 957 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
 958
 959         * intrinsic.c (do_simplify): Removed already implemented TODO.
 960
 961 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
 962
 963         PR fortran/38718
 964         * simplify.c (gfc_simplify_merge): New.
 965         * intrinsic.h (gfc_simplify_merge): New prototype.
 966         * intrinsic.c (add_functions): Added simplification for MERGE.
 967
 968 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
 969
 970         PR fortran/38536
 971         * gfortran.h (gfc_is_data_pointer): Added prototype
 972         * resolve.c (gfc_iso_c_func_interface):
 973         Use gfc_is_data_pointer to test for pointer attribute.
 974         * dependency.c (gfc_is_data_pointer):
 975         Support pointer-returning functions.
 976
 977 2009-01-03  Daniel Franke  <franke.daniel@gmail.com>
 978
 979         * symbol.c (save_symbol): Don't SAVE function results.
 980
 981 2009-01-03  Paul Thomas  <pault@gcc.gnu.org>
 982
 983         PR fortran/38594
 984         * resolve.c (resolve_call): When searching for proper host
 985         association, use symtree rather than symbol.  For everything
 986         except generic subroutines, substitute the symtree in the call
 987         rather than the symbol.
 988
 989 \f
 990 Copyright (C) 2009 Free Software Foundation, Inc.
 991
 992 Copying and distribution of this file, with or without modification,
 993 are permitted in any medium without royalty provided the copyright
 994 notice and this notice are preserved.