gcc/fortran/ChangeLog

   1 2009-08-17  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
   2
   3         PR fortran/41075
   4         * scanner.c (gfc_next_char_literal): Add comment to improve
   5         readability.
   6         * io.c (enum format_token): Add FMT_STAR. (format_lex): Add case
   7         for '*'. (check_format): Check for left paren after '*'.  Change
   8         format checks to use %L to improve format string error locus.
   9
  10 2009-08-17  Janus Weil  <janus@gcc.gnu.org>
  11
  12         PR fortran/40877
  13         * array.c (gfc_resolve_character_array_constructor): Add NULL argument
  14         to gfc_new_charlen.
  15         * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
  16         gfc_match_implicit): Ditto.
  17         * expr.c (simplify_const_ref): Fix memory leak.
  18         (gfc_simplify_expr): Add NULL argument to gfc_new_charlen.
  19         * gfortran.h (gfc_new_charlen): Modified prototype.
  20         * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Add NULL
  21         argument to gfc_new_charlen.
  22         * module.c (mio_charlen): Ditto.
  23         * resolve.c (gfc_resolve_substring_charlen,
  24         gfc_resolve_character_operator,fixup_charlen): Ditto.
  25         (resolve_fl_derived,resolve_symbol): Add argument to gfc_charlen.
  26         * symbol.c (gfc_new_charlen): Add argument 'old_cl' (to make a copy of
  27         an existing charlen).
  28         (gfc_set_default_type,generate_isocbinding_symbol): Fix memory leak.
  29         (gfc_copy_formal_args_intr): Add NULL argument to gfc_new_charlen.
  30         * trans-decl.c (create_function_arglist): Fix memory leak.
  31
  32 2009-08-17  Richard Guenther  <rguenther@suse.de>
  33
  34         * trans-expr.c (gfc_trans_scalar_assign): Replace hack with
  35         more proper hack.
  36
  37 2009-08-15  Tobias Burnus  <burnus@net-b.de>
  38
  39         PR fortran/41080
  40         * gfortranspec.c (lookup_option): Remove gfortran-specific
  41         version of -dumpversion.
  42
  43 2009-08-14  Janus Weil  <janus@gcc.gnu.org>
  44
  45         PR fortran/41070
  46         * resolve.c (resolve_structure_cons): Make sure that ts.u.derived is
  47         only used if type is BT_DERIVED.
  48
  49 2009-08-13  Janus Weil  <janus@gcc.gnu.org>
  50
  51         PR fortran/40941
  52         * gfortran.h (gfc_typespec): Put 'derived' and 'cl' into union.
  53         * decl.c (build_struct): Make sure 'cl' is only used
  54         if type is BT_CHARACTER.
  55         * symbol.c (gfc_set_default_type): Ditto.
  56         * resolve.c (resolve_symbol, resolve_fl_derived): Ditto.
  57         (resolve_equivalence,resolve_equivalence_derived): Make sure 'derived'
  58         is only used if type is BT_DERIVED.
  59         * trans-io.c (transfer_expr): Make sure 'derived' is only used if type
  60         is BT_DERIVED or BT_INTEGER (special case: C_PTR/C_FUNPTR).
  61         * array.c: Mechanical replacements to accomodate union in gfc_typespec.
  62         * check.c: Ditto.
  63         * data.c: Ditto.
  64         * decl.c: Ditto.
  65         * dump-parse-tree.c: Ditto.
  66         * expr.c: Ditto.
  67         * interface.c: Ditto.
  68         * iresolve.c: Ditto.
  69         * match.c: Ditto.
  70         * misc.c: Ditto.
  71         * module.c: Ditto.
  72         * openmp.c: Ditto.
  73         * parse.c: Ditto.
  74         * primary.c: Ditto.
  75         * resolve.c: Ditto.
  76         * simplify.c: Ditto.
  77         * symbol.c: Ditto.
  78         * target-memory.c: Ditto.
  79         * trans-array.c: Ditto.
  80         * trans-common.c: Ditto.
  81         * trans-const.c: Ditto.
  82         * trans-decl.c: Ditto.
  83         * trans-expr.c: Ditto.
  84         * trans-intrinsic.c: Ditto.
  85         * trans-io.c: Ditto.
  86         * trans-stmt.c: Ditto.
  87         * trans-types.c: Ditto.
  88
  89 2009-08-13  Janus Weil  <janus@gcc.gnu.org>
  90
  91         PR fortran/40995
  92         * resolve.c (resolve_symbol): Move some checking code to
  93         resolve_intrinsic, and call this from here.
  94         (resolve_intrinsic): Some checking code moved here from resolve_symbol.
  95         Make sure each intrinsic is only resolved once.
  96
  97 2009-08-12  Tobias Burnus  <burnus@net-b.de>
  98
  99         PR fortran/41034
 100         * symbol.c (gfc_copy_attr): Merge bits instead of replace
 101         bits in gfc_copy_attr.
 102         * gfc_check_pointer_assign (gfc_check_pointer_assign):
 103         Initialize ext_attr bits by zero.
 104
 105 2009-08-11  Richard Guenther  <rguenther@suse.de>
 106
 107         * trans-types.c (gfc_get_derived_type): Do not clear TYPE_CANONICAL.
 108
 109 2009-08-11  Janus Weil  <janus@gcc.gnu.org>
 110
 111         PR fortran/41022
 112         * trans-expr.c (gfc_conv_procedure_call): Handle procedure pointer
 113         components as actual arguments.
 114
 115 2009-08-10  Daniel Kraft  <d@domob.eu>
 116
 117         PR fortran/37425
 118         * gfortran.h (struct gfc_namespace): New fields tb_uop_root and tb_op.
 119         (gfc_find_typebound_user_op): New routine.
 120         (gfc_find_typebound_intrinsic_op): Ditto.
 121         (gfc_check_operator_interface): Now public routine.
 122         * decl.c (gfc_match_generic): Match OPERATOR(X) or ASSIGNMENT(=).
 123         * interface.c (check_operator_interface): Made public, renamed to
 124         `gfc_check_operator_interface' accordingly and hand in the interface
 125         as gfc_symbol rather than gfc_interface so it is useful for type-bound
 126         operators, too.  Return boolean result.
 127         (gfc_check_interfaces): Adapt call to `check_operator_interface'.
 128         * symbol.c (gfc_get_namespace): Initialize new field `tb_op'.
 129         (gfc_free_namespace): Free `tb_uop_root'-based tree.
 130         (find_typebound_proc_uop): New helper function.
 131         (gfc_find_typebound_proc): Use it.
 132         (gfc_find_typebound_user_op): New method.
 133         (gfc_find_typebound_intrinsic_op): Ditto.
 134         * resolve.c (resolve_tb_generic_targets): New helper function.
 135         (resolve_typebound_generic): Use it.
 136         (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): New.
 137         (resolve_typebound_procedures): Resolve operators, too.
 138         (check_uop_procedure): New, code from gfc_resolve_uops.
 139         (gfc_resolve_uops): Moved main code to new `check_uop_procedure'.
 140
 141 2009-08-10  Janus Weil  <janus@gcc.gnu.org>
 142
 143         PR fortran/40940
 144         * decl.c (gfc_match_type_spec): Match CLASS statement and warn about
 145         missing polymorphism.
 146         * gfortran.h (gfc_typespec): Add field 'is_class'.
 147         * misc.c (gfc_clear_ts): Initialize 'is_class' to zero.
 148         * resolve.c (type_is_extensible): New function to check if a derived
 149         type is extensible.
 150         (resolve_fl_variable_derived): Add error checks for CLASS variables.
 151         (resolve_typebound_procedure): Disallow non-polymorphic passed-object
 152         dummy arguments, turning warning into error.
 153         (resolve_fl_derived): Use 'type_is_extensible'. Disallow non-polymorphic
 154         passed-object dummy arguments for procedure pointer components,
 155         turning warning into error. Add error check for CLASS components.
 156
 157 2009-08-05  Tobias Burnus  <burnus@net-b.de>
 158
 159         PR fortran/40955
 160         * gfortran.h (ext_attr_id_t): Add typedef for this enum.
 161         (gfc_add_ext_attribute): Use it.
 162         * decl.c (gfc_match_gcc_attributes): Ditto.
 163         * expr.c (gfc_check_pointer_assign): Ditto.
 164         * symbol.c (gfc_add_ext_attribute): Ditto.
 165         (gfc_copy_attr): Copy also ext_attr.
 166         * resolve.c (resolve_fl_derived,resolve_symbol): Ditto.
 167         * module.c (mio_symbol_attribute): Save ext_attr in the mod file.
 168
 169 2009-08-05  Tobias Burnus  <burnus@net-b.de>
 170
 171         PR fortran/40969
 172         Revert:
 173         2009-08-04  Tobias Burnus  <burnus@net-b.de>
 174
 175         PR fortran/40949
 176         * trans-types.c (gfc_get_function_type): Fix typelist of
 177         functions without argument.
 178
 179 2009-08-05  Paul Thomas  <pault@gcc.gnu.org>
 180
 181         PR fortran/40847
 182         * iresolve.c (gfc_resolve_transfer): Correct error in 'mold'
 183         character length for case where length expresson is NULL.
 184
 185 2009-08-04  Tobias Burnus  <burnus@net-b.de>
 186
 187         PR fortran/40949
 188         * trans-types.c (gfc_get_function_type): Fix typelist of
 189         functions without argument.
 190
 191 2009-08-04  Paul Thomas  <pault@gcc.gnu.org>
 192
 193         PR fortran/40875
 194         * decl.c (add_init_expr_to_sym): Character symbols can only be
 195         initialized with character expressions.
 196
 197 2009-08-02  Janus Weil  <janus@gcc.gnu.org>
 198
 199         PR fortran/40881
 200         * decl.c (match_char_length): Warn about old-style character length
 201         declarations.
 202         * match.c (match_arithmetic_if,gfc_match_if): Modify warning message
 203         for arithmetic if.
 204         (gfc_match_goto): Warn about computed gotos.
 205         (gfc_match_return): Warn about alternate return.
 206         (gfc_match_st_function): Warn about statement functions.
 207         * resolve.c (resolve_fl_procedure): Modify warning message for
 208         assumed-length character functions.
 209
 210 2009-08-01  Paul Thomas  <pault@gcc.gnu.org>
 211
 212         PR fortran/40011
 213         * error.c : Add static flag 'warnings_not_errors'.
 214         (gfc_error): If 'warnings_not_errors' is set, branch to code
 215         from gfc_warning.
 216         (gfc_clear_error): Reset 'warnings_not_errors'.
 217         (gfc_errors_to_warnings): New function.
 218         * options.c (gfc_post_options): If pedantic and flag_whole_file
 219         change the latter to a value of 2.
 220         * parse.c (parse_module): Add module namespace to gsymbol.
 221         (resolve_all_program_units): New function.
 222         (clean_up_modules): New function.
 223         (translate_all_program_units): New function.
 224         (gfc_parse_file): If whole_file, do not clean up module right
 225         away and add derived types to namespace derived types. In
 226         addition, call the three new functions above.
 227         * resolve.c (not_in_recursive): New function.
 228         (not_entry_self_reference): New function.
 229         (resolve_global_procedure): Symbol must not be IFSRC_UNKNOWN,
 230         procedure must not be in the course of being resolved and
 231         must return false for the two new functions. Pack away the
 232         current derived type list before calling gfc_resolve for the
 233         gsymbol namespace.  It is unconditionally an error if the ranks
 234         of the reference and ther procedure do not match. Convert
 235         errors to warnings during call to gfc_procedure_use if not
 236         pedantic or legacy.
 237         (gfc_resolve): Set namespace resolved flag to -1 during
 238         resolution and store current cs_base.
 239         * trans-decl.c (gfc_get_symbol_decl): If whole_file compilation
 240         substitute a use associated variable, if it is available in a
 241         gsymbolnamespace.
 242         (gfc_get_extern_function_decl): If the procedure is use assoc,
 243         do not attempt to find it in a gsymbol because it could be an
 244         interface. If the symbol exists in a module namespace, return
 245         its backend_decl.
 246         * trans-expr.c (gfc_trans_scalar_assign): If a derived type
 247         assignment, set the rhs TYPE_MAIN_VARIANT to that of the rhs.
 248         * trans-types.c (copy_dt_decls_ifequal): Add 'from_gsym' as a
 249         boolean argument. Copy component backend_decls directly if the
 250         components are derived types and from_gsym is true.
 251         (gfc_get_derived_type): If whole_file copy the derived type from
 252         the module if it is use associated, otherwise, if can be found
 253         in another gsymbol namespace, use the existing derived type as
 254         the TYPE_CANONICAL and build normally.
 255         * gfortran.h : Add derived_types and resolved fields to
 256         gfc_namespace. Include prototype for gfc_errors_to_warnings.
 257
 258 2009-07-29  Tobias Burnus  <burnus@net-b.de>
 259
 260         PR fortran/40898
 261         * trans-types.c (gfc_get_function_type): Do not add hidden
 262         string-length argument for BIND(C) procedures.
 263         * trans-decl.c (create_function_arglist): Skip over nonexisting
 264         string-length arguments for BIND(C) procedures.
 265
 266 2009-07-28  Jakub Jelinek  <jakub@redhat.com>
 267
 268         PR fortran/40878
 269         * openmp.c (gfc_match_omp_clauses): Use gfc_error_now instead of
 270         gfc_error to diagnose invalid COLLAPSE arguments.
 271
 272 2009-07-28  Janus Weil  <janus@gcc.gnu.org>
 273
 274         PR fortran/40882
 275         * trans-types.c (gfc_get_ppc_type): For derived types, directly use the
 276         backend_decl, instead of calling gfc_typenode_for_spec, to avoid
 277         infinte loop.
 278         (gfc_get_derived_type): Correctly handle PPCs returning derived types,
 279         avoiding infinite recursion.
 280
 281 2009-07-27  Janus Weil  <janus@gcc.gnu.org>
 282
 283         PR fortran/40848
 284         * interface.c (gfc_compare_interfaces): Call 'count_types_test' before
 285         'generic_correspondence', and only if checking a generic interface.
 286
 287 2009-07-27  Tobias Burnus  <burnus@net-b.de>
 288
 289         PR fortran/40851
 290         * resolve.c (resolve_symbol): Do not initialize pointer derived-types.
 291         * trans-decl.c (init_intent_out_dt): Ditto.
 292         (generate_local_decl): No need to set attr.referenced for DT pointers.
 293
 294 2009-07-26  Tobias Burnus  <burnus@net-b.de>
 295
 296         PR fortran/33197
 297         * intrinsic.c (make_generic): Remove assert as "atan" can be
 298         both ISYM_ATAN and ISYM_ATAN2.
 299         (add_functions): Add two-argument variant of ATAN.
 300         * intrinsic.h (gfc_check_atan_2): Add check for it.
 301         * intrinsic.texi (ATAN2): Correct and enhance description.
 302         (ATAN): Describe two-argument variant of ATAN.
 303
 304 2009-07-25  Tobias Burnus  <burnus@net-b.de>
 305             Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 306
 307         PR fortran/33197
 308         * intrinsic.c (add_functions): Support complex arguments for
 309         acos,acosh,asin,asinh,atan,atanh.
 310         * invoke.texi (ACOS,ACOSH,ASIN,ASINH,ATAN,ATANH): Support
 311         complex arguments.
 312         * simplify.c (gfc_simplify_acos,gfc_simplify_acosh,
 313         gfc_simplify_asin,gfc_simplify_asinh,gfc_simplify_atan,
 314         gfc_simplify_atanh,gfc_simplify_atan,gfc_simplify_asinh,
 315         gfc_simplify_acosh,gfc_simplify_atanh): Support
 316         complex arguments.
 317
 318 2009-07-25  Richard Guenther  <rguenther@suse.de>
 319
 320         PR fortran/40005
 321         * trans-types.c (gfc_get_array_type_bounds): Use
 322         build_distinct_type_copy with a proper TYPE_CANONICAL and
 323         re-use the type-decl of the original type.
 324         * trans-decl.c (build_entry_thunks): Signal cgraph we may not
 325         garbage collect.
 326         (create_main_function): Likewise.
 327         (gfc_generate_function_code): Likewise.
 328         * trans-expr.c (gfc_trans_subcomponent_assign): Do not use
 329         fold_convert on record types.
 330
 331 2009-07-25  Janus Weil  <janus@gcc.gnu.org>
 332
 333         PR fortran/39630
 334         * decl.c (match_ppc_decl): Implement the PASS attribute for procedure
 335         pointer components.
 336         (match_binding_attributes): Ditto.
 337         * gfortran.h (gfc_component): Add member 'tb'.
 338         (gfc_typebound_proc): Add member 'ppc' and make 'pass_arg' const.
 339         * module.c (MOD_VERSION): Bump module version.
 340         (binding_ppc): New string constants.
 341         (mio_component): Only use formal args if component is a procedure
 342         pointer and add 'tb' member.
 343         (mio_typebound_proc): Include pass_arg and take care of procedure
 344         pointer components.
 345         * resolve.c (update_arglist_pass): Add argument 'name' and take care of
 346         optional arguments.
 347         (extract_ppc_passed_object): New function, analogous to
 348         extract_compcall_passed_object, but for procedure pointer components.
 349         (update_ppc_arglist): New function, analogous to
 350         update_compcall_arglist, but for procedure pointer components.
 351         (resolve_typebound_generic_call): Added argument to update_arglist_pass.
 352         (resolve_ppc_call, resolve_expr_ppc): Take care of PASS attribute.
 353         (resolve_fl_derived): Check the PASS argument for procedure pointer
 354         components.
 355         * symbol.c (verify_bind_c_derived_type): Reject procedure pointer
 356         components in BIND(C) types.
 357
 358 2009-07-24  Janus Weil  <janus@gcc.gnu.org>
 359
 360         PR fortran/40822
 361         * array.c (gfc_resolve_character_array_constructor): Use new function
 362         gfc_new_charlen.
 363         * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
 364         gfc_match_implicit): Ditto.
 365         * expr.c (gfc_simplify_expr): Ditto.
 366         * gfortran.h (gfc_new_charlen): New prototype.
 367         * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Use new
 368         function gfc_new_charlen.
 369         * module.c (mio_charlen): Ditto.
 370         * resolve.c (gfc_resolve_substring_charlen,
 371         gfc_resolve_character_operator,fixup_charlen,resolve_fl_derived,
 372         resolve_symbol): Ditto.
 373         * symbol.c (gfc_new_charlen): New function to create a new gfc_charlen
 374         structure and add it to a namespace.
 375         (gfc_copy_formal_args_intr): Make sure ts.cl is present
 376         for CHARACTER variables.
 377
 378 2009-07-24  Jakub Jelinek  <jakub@redhat.com>
 379
 380         PR fortran/40643
 381         PR fortran/31067
 382         * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc,
 383         gfc_conv_intrinsic_minmaxval): Handle Infinities and NaNs properly,
 384         optimize.
 385         * trans-array.c (gfc_trans_scalarized_loop_end): No longer static.
 386         * trans-array.h (gfc_trans_scalarized_loop_end): New prototype.
 387
 388 2009-07-23  Jakub Jelinek  <jakub@redhat.com>
 389
 390         PR fortran/40839
 391         * io.c (gfc_resolve_dt): Add LOC argument.  Fail if
 392         dt->io_unit is NULL.  Return FAILURE after issuing error about
 393         negative UNIT number.
 394         (match_io_element): Don't segfault if current_dt->io_unit is NULL.
 395         * gfortran.h (gfc_resolve_dt): Adjust prototype.
 396         * resolve.c (resolve_code): Adjust caller.
 397
 398 2009-07-22  Paul Thomas  <pault@gcc.gnu.org>
 399
 400         PR fortran/40796
 401         * trans-decl.c (generate_local_decl): Unreferenced result
 402         variables with allocatable components should be treated like
 403         INTENT_OUT dummy variables.
 404
 405 2009-07-22  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 406
 407         * trans.h (gfc_set_decl_assembler_name): New prototype.
 408         * trans-decl.c (gfc_set_decl_assembler_name): New function.
 409         (gfc_get_symbol_decl, gfc_get_extern_function_decl,
 410         build_function_decl): Use gfc_set_decl_assembler_name instead of
 411         SET_DECL_ASSEMBLER_NAME.
 412         * trans-common.c (build_common_decl): Use
 413         gfc_set_decl_assembler_name instead of SET_DECL_ASSEMBLER_NAME.
 414
 415 2009-07-21  Richard Guenther  <rguenther@suse.de>
 416
 417         PR fortran/40726
 418         * trans-decl.c (gfc_get_extern_function_decl): Do not set
 419         DECL_IS_MALLOC for pointer valued functions.
 420         (build_function_decl): The same.
 421
 422 2009-07-19  Steven G. Kargl  <kargl@gcc.gnu.org>
 423
 424         PR fortran/40727
 425         * fortran/check.c (gfc_check_cmplx, gfc_check_dcmplx): Add check that
 426         the optional second argument isn't of COMPLEX type.
 427
 428 2009-07-17  Richard Guenther  <rguenther@suse.de>
 429
 430         PR c/40401
 431         * f95-lang.c (gfc_be_parse_file): Do not finalize the CU here.
 432         * trans-decl.c (gfc_gimplify_function): Remove.
 433         (build_entry_thunks): Do not gimplify here.
 434         (create_main_function): Likewise.
 435         (gfc_generate_function_code): Likewise.
 436
 437 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
 438             Manuel López-Ibáñez  <manu@gcc.gnu.org>
 439
 440         PR 40435
 441         * trans-expr.c, trans-array.c, trans-openmp.c, trans-stmt.c,
 442         trans.c, trans-io.c, trans-decl.c, trans-intrinsic.c: Add location
 443         argument to fold_{unary,binary,ternary}, fold_build[123],
 444         build_call_expr, build_size_arg, build_fold_addr_expr,
 445         build_call_array, non_lvalue, size_diffop,
 446         fold_build1_initializer, fold_build2_initializer,
 447         fold_build3_initializer, fold_build_call_array,
 448         fold_build_call_array_initializer, fold_single_bit_test,
 449         omit_one_operand, omit_two_operands, invert_truthvalue,
 450         fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
 451         combine_comparisons, fold_builtin_*, fold_call_expr,
 452         build_range_check, maybe_fold_offset_to_address, round_up,
 453         round_down.
 454
 455 2009-07-15  Janus Weil  <janus@gcc.gnu.org>
 456
 457         PR fortran/40743
 458         * resolve.c (resolve_symbol): Don't resolve the formal namespace of a
 459         contained procedure.
 460
 461 2009-07-14  Taras Glek  <tglek@mozilla.com>
 462             Rafael Espindola  <espindola@google.com>
 463
 464         * Make-lang.in (fortran.install-plugin): New target for
 465         installing plugin headers.
 466
 467 2009-07-13  H.J. Lu  <hongjiu.lu@intel.com>
 468
 469         * module.c (mio_symbol): Remove the unused variable, formal.
 470
 471 2009-07-13  Janus Weil  <janus@gcc.gnu.org>
 472
 473         PR fortran/40646
 474         * module.c (mio_symbol): If the symbol has formal arguments,
 475         the formal namespace will be present.
 476         * resolve.c (resolve_actual_arglist): Correctly handle 'called'
 477         procedure pointer components as actual arguments.
 478         (resolve_fl_derived,resolve_symbol): Make sure the formal namespace
 479         is present.
 480         * trans-expr.c (gfc_conv_procedure_call): Correctly handle the formal
 481         arguments of procedure pointer components.
 482
 483 2009-07-12  Tobias Burnus  <burnus@net-b.de>
 484             Philippe Marguinaud <philippe.marguinaud@meteo.fr>
 485
 486         PR fortran/40588
 487         * primary.c (match_charkind_name): Fix condition for $ matching.
 488
 489         PR libfortran/22423
 490         * libgfortran.h: Typedef the GFC_DTYPE_* enum.
 491
 492 2009-07-11  Tobias Burnus  <burnus@net-b.de>
 493
 494         PR fortran/33197
 495         * check.c (gfc_check_fn_rc2008): New function.
 496         * intrinsic.h (gfc_check_fn_rc2008): New prototype.
 497         * intrinsic.c (add_functions): Add complex tan, cosh, sinh,
 498         and tanh.
 499
 500 2009-07-10  Paul Thomas  <pault@gcc.gnu.org>
 501
 502         PR fortran/39334
 503         * primary.c (match_kind_param): Return MATCH_NO if the symbol
 504         has no value.
 505
 506 2008-07-09  Paul Thomas  <pault@gcc.gnu.org>
 507
 508         PR fortran/40629
 509         * resolve.c (check_host_association):  Use the existing
 510         accessible symtree and treat function expressions with
 511         symbols that have procedure flavor.
 512
 513 2009-07-09  Janus Weil  <janus@gcc.gnu.org>
 514
 515         PR fortran/40646
 516         * dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
 517         * expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
 518         (gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
 519         (replace_comp,gfc_expr_replace_comp): New functions, analogous
 520         to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
 521         instead of symbols.
 522         * gfortran.h (gfc_expr_replace_comp): New prototype.
 523         (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
 524         * interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
 525         * match.c (gfc_match_pointer_assignment): Ditto.
 526         * primary.c (gfc_match_varspec): Handle array-valued procedure pointers
 527         and procedure pointer components. Renamed 'is_proc_ptr_comp'.
 528         * resolve.c (resolve_fl_derived): Correctly handle interfaces with
 529         RESULT statement, and handle array-valued procedure pointer components.
 530         (resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
 531         'is_proc_ptr_comp'.
 532         * trans-array.c (gfc_walk_function_expr): Ditto.
 533         * trans-decl.c (gfc_get_symbol_decl): Security check for presence of
 534         ns->proc_name.
 535         * trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
 536         pointer components. Renamed 'is_proc_ptr_comp'.
 537         (conv_function_val,gfc_trans_arrayfunc_assign): Renamed
 538         'is_proc_ptr_comp'.
 539         (gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
 540         make a copy of it.
 541         * trans-io.c (gfc_trans_transfer): Handle array-valued procedure
 542         pointer components.
 543
 544 2009-07-09  Tobias Burnus  <burnus@net-b.de>
 545
 546         PR fortran/40604
 547         * intrinsic.c (gfc_convert_type_warn): Set sym->result.
 548         * trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
 549         for optional arguments.
 550
 551 2009-07-08  Tobias Burnus  <burnus@net-b.de>
 552
 553         PR fortran/40675
 554         * simplify.c (gfc_simplify_sign): Handle signed zero correctly.
 555         * trans-intrinsic.c (gfc_conv_intrinsic_sign): Support
 556         -fno-sign-zero.
 557         * invoke.texi (-fno-sign-zero): Add text regarding SIGN intrinsic.
 558
 559 2008-07-08  Paul Thomas  <pault@gcc.gnu.org>
 560
 561         PR fortran/40591
 562         * decl.c (match_procedure_interface):  Correct the association
 563         or creation of the interface procedure's symbol.
 564
 565 2009-07-04  Jakub Jelinek  <jakub@redhat.com>
 566
 567         * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): For integer
 568         maxloc initialize limit to -huge-1 rather than just -huge.
 569
 570 2009-07-04  Janus Weil  <janus@gcc.gnu.org>
 571
 572         PR fortran/40593
 573         * interface.c (compare_actual_formal): Take care of proc-pointer-valued
 574         functions as actual arguments.
 575         * trans-expr.c (gfc_conv_procedure_call): Ditto.
 576         * resolve.c (resolve_specific_f0): Use the correct ts.
 577
 578 2009-07-02  Michael Matz  <matz@suse.de>
 579
 580         PR fortran/32131
 581         * trans-array.c (gfc_conv_descriptor_stride_get): Return
 582         constant one for strides in the first dimension of ALLOCATABLE
 583         arrays.
 584
 585 2009-06-30  Janus Weil  <janus@gcc.gnu.org>
 586
 587         PR fortran/40594
 588         * trans-types.c (gfc_get_derived_type): Bugfix, reverting one hunk from
 589         r147206.
 590
 591 2009-06-29  Tobias Burnus  <burnus@net-b.de>
 592
 593         PR fortran/40580
 594         * trans-expr.c  (gfc_conv_procedure_call): Add -fcheck=pointer check.
 595         * libgfortran.h: Add GFC_RTCHECK_POINTER.
 596         * invoke.texi (-fcheck): Document new pointer option.
 597         * options.c (gfc_handle_runtime_check_option): Handle pointer option.
 598
 599         * gfortran.texi (C Binding): Improve wording.
 600         * iso-c-binding.def: Remove obsolete comment.
 601
 602 2009-06-29  Paul Thomas  <pault@gcc.gnu.org>
 603
 604         PR fortran/40551
 605         * dependency.h : Add second bool* argument to prototype of
 606         gfc_full_array_ref_p.
 607         * dependency.c (gfc_full_array_ref_p): If second argument is
 608         present, return true if last dimension of reference is an
 609         element or has unity stride.
 610         * trans-array.c : Add NULL second argument to references to
 611         gfc_full_array_ref_p.
 612         * trans-expr.c : The same, except for;
 613         (gfc_trans_arrayfunc_assign): Return fail if lhs reference
 614         is not a full array or a contiguous section.
 615
 616 2009-06-28  Tobias Burnus  <burnus@net-b.de>
 617             Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 618
 619         PR fortran/34112
 620         * symbol.c (gfc_add_ext_attribute): New function.
 621         (gfc_get_sym_tree): New argument allow_subroutine.
 622         (gfc_get_symbol,gfc_get_ha_sym_tree,gen_cptr_param,gen_fptr_param
 623         gen_shape_param,generate_isocbinding_symbol): Use it.
 624         * decl.c (find_special): New argument allow_subroutine.
 625         (add_init_expr_to_sym,add_hidden_procptr_result,attr_decl1,
 626         match_procedure_in_type,gfc_match_final_decl): Use it.
 627         (gfc_match_gcc_attributes): New function.
 628         * gfortran.texi (Mixed-Language Programming): New section
 629         "GNU Fortran Compiler Directives".
 630         * gfortran.h (ext_attr_t): New struct.
 631         (symbol_attributes): Use it.
 632         (gfc_add_ext_attribute): New prototype.
 633         (gfc_get_sym_tree): Update pototype.
 634         * expr.c (gfc_check_pointer_assign): Check whether call
 635         convention is the same.
 636         * module.c (import_iso_c_binding_module, create_int_parameter,
 637         use_iso_fortran_env_module): Update gfc_get_sym_tree call.
 638         * scanner.c (skip_gcc_attribute): New function.
 639         (skip_free_comments,skip_fixed_comments): Use it.
 640         (gfc_next_char_literal): Support !GCC$ lines.
 641         * resolve.c (check_host_association): Update
 642         gfc_get_sym_tree call.
 643         * match.c (gfc_match_sym_tree,gfc_match_call): Update
 644         gfc_get_sym_tree call.
 645         * trans-decl.c (add_attributes_to_decl): New function.
 646         (gfc_get_symbol_decl,get_proc_pointer_decl,
 647         gfc_get_extern_function_decl,build_function_decl: Use it.
 648         * match.h (gfc_match_gcc_attributes): Add prototype.
 649         * parse.c (decode_gcc_attribute): New function.
 650         (next_free,next_fixed): Support !GCC$ lines.
 651         * primary.c (match_actual_arg,check_for_implicit_index,
 652         gfc_match_rvalue,gfc_match_rvalue): Update
 653         gfc_get_sym_tree call.
 654
 655 2009-06-28  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 656
 657         * gfortran.h: Define HAVE_mpc_pow.
 658         * arith.c (complex_reciprocal, complex_pow): If HAVE_mpc_pow,
 659         don't define these functions.
 660         (arith_power): If HAVE_mpc_pow, use mpc_pow.
 661
 662 2009-06-26  Janus Weil  <janus@gcc.gnu.org>
 663
 664         PR fortran/39997
 665         PR fortran/40541
 666         * decl.c (add_hidden_procptr_result): Copy the typespec to the hidden
 667         result.
 668         * expr.c (gfc_check_pointer_assign): Enable interface check for
 669         procedure pointer assignments where the rhs is a function returning a
 670         procedure pointer.
 671         * resolve.c (resolve_symbol): If an external procedure with unspecified
 672         return type can not be implicitly typed, it must be a subroutine.
 673
 674 2009-06-24  Janus Weil  <janus@gcc.gnu.org>
 675
 676         PR fortran/40427
 677         * gfortran.h (gfc_component): New member 'formal_ns'.
 678         (gfc_copy_formal_args_ppc,void gfc_ppc_use): New.
 679         * interface.c (gfc_ppc_use): New function, analogous to
 680         gfc_procedure_use, but for procedure pointer components.
 681         * module.c (MOD_VERSION): Bump module version.
 682         (mio_component): Treat formal arguments.
 683         (mio_formal_arglist): Changed argument from gfc_symbol to
 684         gfc_formal_arglist.
 685         (mio_symbol): Changed argument of mio_formal_arglist.
 686         * resolve.c (resolve_ppc_call,resolve_expr_ppc): Call gfc_ppc_use,
 687         to check actual arguments and treat formal args correctly.
 688         (resolve_fl_derived): Copy formal args of procedure pointer components
 689         from their interface.
 690         * symbol.c (gfc_copy_formal_args_ppc): New function, analogous to
 691         gfc_copy_formal_args, but for procedure pointer components.
 692
 693 2009-06-22  Janus Weil  <janus@gcc.gnu.org>
 694
 695         PR fortran/37254
 696         PR fortran/39850
 697         * interface.c (compare_parameter): Set implicit type for function
 698         actual arguments with BT_UNKNOWN.
 699
 700 2009-06-22  Tobias Burnus  <burnus@net-b.de>
 701
 702         PR fortran/40472
 703         PR fortran/50520
 704         * simplify.c (gfc_simplify_spread): Fix the case that source=
 705         is a scalar.
 706
 707 2009-06-22  Paul Thomas  <pault@gcc.gnu.org>
 708
 709         PR fortran/40443
 710         * interface.c (gfc_search_interface): Hold back a match to an
 711         elementary procedure until all other possibilities are
 712         exhausted.
 713
 714 2009-06-22  Paul Thomas  <pault@gcc.gnu.org>
 715
 716         PR fortran/40472
 717         * simplify.c (gfc_simplify_spread): Restrict the result size to
 718         the limit for an array constructor.
 719
 720 2009-06-21  Janus Weil  <janus@gcc.gnu.org>
 721
 722         PR fortran/39850
 723         * interface.c (gfc_compare_interfaces): Take care of implicit typing
 724         when checking the function attribute. Plus another bugfix.
 725         (compare_parameter): Set attr.function and attr.subroutine according
 726         to the usage of a procedure as actual argument.
 727
 728 2009-06-20  Tobias Burnus  <burnus@net-b.de>
 729
 730         PR fortran/40452
 731         * trans-decl.c (add_argument_checking): Disable bounds check
 732         for allowed argument storage association.
 733
 734 2009-06-19  Paul Thomas  <pault@gcc.gnu.org>
 735
 736         PR fortran/40440
 737         * trans-expr.c (gfc_conv_procedure_call): Do not deallocate
 738         allocatable components if the argument is a pointer.
 739
 740 2009-06-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 741
 742         * gfortran.h (gfc_expr): Use mpc_t to represent complex numbers.
 743
 744         * arith.c, dump-parse-tree.c, expr.c, module.c, resolve.c,
 745         simplify.c, target-memory.c, target-memory.h, trans-const.c,
 746         trans-expr.c: Convert to mpc_t throughout.
 747
 748 2009-06-19  Ian Lance Taylor  <iant@google.com>
 749
 750         * cpp.c (struct gfc_cpp_option_data): Give this struct, used for
 751         the global variable gfc_cpp_option, a name.
 752
 753 2009-06-19  Janus Weil  <janus@gcc.gnu.org>
 754
 755         PR fortran/40450
 756         * trans-expr.c (gfc_conv_procedure_call): Only add an extra addr_expr
 757         to a procedure pointer actual argument, if it is not itself a
 758         dummy arg.
 759
 760 2009-06-18  Janus Weil  <janus@gcc.gnu.org>
 761
 762         PR fortran/40451
 763         * resolve.c (resolve_contained_fntype): Prevent implicit typing for
 764         procedures with explicit interface.
 765         * symbol.c (gfc_check_function_type): Ditto.
 766
 767 2009-06-16  Ian Lance Taylor  <iant@google.com>
 768
 769         * decl.c (build_struct): Rewrite loop over constructor elements.
 770
 771 2009-06-16  Janus Weil  <janus@gcc.gnu.org>
 772
 773         PR fortran/36947
 774         PR fortran/40039
 775         * expr.c (gfc_check_pointer_assign): Call 'gfc_compare_interfaces' with
 776         error message.
 777         * gfortran.h (gfc_compare_interfaces): Additional argument.
 778         * interface.c (operator_correspondence): Removed.
 779         (gfc_compare_interfaces): Additional argument to return error message.
 780         Directly use the code from 'operator_correspondence' instead of calling
 781         the function. Check for OPTIONAL. Some rearrangements.
 782         (check_interface1): Call 'gfc_compare_interfaces' without error message.
 783         (compare_parameter): Call 'gfc_compare_interfaces' with error message.
 784         * resolve.c (check_generic_tbp_ambiguity): Call 'gfc_compare_interfaces'
 785         without error message.
 786
 787 2009-06-16  Tobias Burnus  <burnus@net-b.de>
 788
 789         PR fortran/40383
 790         * trans-decl.c (create_function_arglist): Copy formal charlist to
 791         have a proper passed_length for -fcheck=bounds.
 792
 793 2009-06-12  Steven G. Kargl  <kargls@comcast.net>
 794
 795         * arith.c (gfc_enum_initializer): Move function ...
 796         * decl.c: ... here.  Remove gfc_ prefix and make static.
 797         (enumerator_decl): Update function call.
 798         * gfortran.h:  Remove gfc_enum_initializer prototype.
 799
 800 2009-06-12  Aldy Hernandez  <aldyh@redhat.com>
 801
 802         * trans-array.c (gfc_trans_allocate_array_storage): Pass
 803         location on down.
 804         (gfc_trans_array_constructor_value): Same.
 805         (gfc_trans_scalarized_loop_end): Same.
 806         (gfc_conv_ss_startstride): Same.
 807         (gfc_trans_g77_array): Same.
 808         (gfc_trans_dummy_array_bias): Same.
 809         (gfc_conv_array_parameter): Same.
 810         (structure_alloc_comps): Same.
 811         * trans-expr.c (gfc_conv_function_call): Same.
 812         (fill_with_spaces): Same.
 813         (gfc_trans_string_copy): Same.
 814         (gfc_trans_scalar_assign): Same.
 815         * trans-stmt.c (gfc_trans_goto): Same.
 816         (gfc_trans_if_1): Same.
 817         (gfc_trans_simple_do): Same.
 818         (gfc_trans_do): Same.
 819         (gfc_trans_do_while): Same.
 820         (gfc_trans_logical_select): Same.
 821         (gfc_trans_select): Same.
 822         (gfc_trans_forall_loop): Same.
 823         (gfc_trans_nested_forall_loop): Same.
 824         (generate_loop_for_temp_to_lhs): Same.
 825         (generate_loop_for_rhs_to_temp): Same.
 826         (gfc_trans_forall_1): Same.
 827         (gfc_trans_where_assign): Same.
 828         (gfc_trans_where_3): Same.
 829         (gfc_trans_allocate): Same.
 830         * trans.c (gfc_finish_block): Same.
 831         (gfc_trans_runtime_check): Same.
 832         (gfc_call_malloc): Same.
 833         (gfc_allocate_with_status): Same.
 834         (gfc_call_free): Same.
 835         (gfc_deallocate_with_status): Same.
 836         (gfc_call_realloc): Same.
 837         (gfc_trans_code): Same.
 838         * trans-decl.c (gfc_init_default_dt): Same.
 839         (gfc_generate_constructors): Same.
 840         * trans-io.c (gfc_trans_io_runtime_check): Same.
 841         * trans-intrinsic.c (gfc_conv_intrinsic_ctime): Same.
 842         (gfc_conv_intrinsic_fdate): Same.
 843         (gfc_conv_intrinsic_ttynam): Same.
 844         (gfc_conv_intrinsic_minmax): Same.
 845         (gfc_conv_intrinsic_minmax_char): Same.
 846         (gfc_conv_intrinsic_anyall): Same.
 847         (gfc_conv_intrinsic_count): Same.
 848         (gfc_conv_intrinsic_arith): Same.
 849         (gfc_conv_intrinsic_minmaxloc): Same.
 850         (gfc_conv_intrinsic_minmaxval): Same.
 851         (gfc_conv_intrinsic_rrspacing): Same.
 852         (gfc_conv_intrinsic_array_transfer): Same.
 853         (gfc_conv_intrinsic_trim): Same.
 854         (gfc_conv_intrinsic_repeat): Same.
 855
 856 2009-06-12  Janus Weil  <janus@gcc.gnu.org>
 857
 858         PR fortran/40176
 859         * resolve.c (resolve_symbol): Additional error check, preventing an
 860         infinite loop.
 861
 862 2009-06-11  Paul Thomas  <pault@gcc.gnu.org>
 863
 864         PR fortran/40402
 865         * resolve.c (next_data_value): It is an error if the value is
 866         not constant.
 867
 868 2009-06-11  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 869
 870         PR fortran/38718
 871         * intrinsic.c (add_functions): Add simplifiers for ISNAN,
 872         IS_IOSTAT_END and IS_IOSTAT_EOR.
 873         * intrinsic.h (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
 874         gfc_simplify_isnan): New prototypes.
 875         * intrinsic.c (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
 876         gfc_simplify_isnan): New functions.
 877
 878 2009-06-11  Jakub Jelinek  <jakub@redhat.com>
 879
 880         * interface.c (fold_unary): Rename to...
 881         (fold_unary_intrinsic): ... this.
 882         (gfc_extend_expr): Adjust caller.
 883         (gfc_match_generic_spec): Likewise.  Initialize *op to INTRINSIC_NONE
 884         to avoid warnings.
 885         * expr.c (gfc_simplify_expr): Initialize start and end before calling
 886         gfc_extract_int.
 887
 888 2009-06-10  Dave Korn  <dave.korn.cygwin@gmail.com>
 889
 890         * trans-decl.c (create_main_function):  Don't build main decl twice.
 891
 892 2009-06-09  Tobias Burnus  <burnus@net-b.de>
 893
 894         * trans-decl.c (gfc_generate_function_code): Use gfc_option.rtcheck
 895         instead of flag_bounds_check.
 896         * intrinsic.texi (ISO_FORTRAN_ENV): Document INT{8,16,32,64} and
 897         REAL{32,64,128}.
 898
 899 2009-06-08  Paul Thomas  <pault@gcc.gnu.org>
 900
 901         * trans-array.h : Replace prototypes for
 902         gfc_conv_descriptor_offset, gfc_conv_descriptor_stride,
 903         gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound with new
 904         prototypes of the same names with _get or _set appended.
 905         * trans-array.c : Make the originals of the above static and
 906         new functions for the _get and _set functions. Update all the
 907         references to these descriptor access functions.
 908         * trans-expr.c : Update references to the above descriptor
 909         access functions.
 910         * trans-intrinsic.c : The same.
 911         * trans-openmp.c : The same.
 912         * trans-stmt.c : The same.
 913
 914 2009-06-08  Alexandre Oliva  <aoliva@redhat.com>
 915
 916         * options.c (gfc_post_options): Disable dump_parse_tree
 917         during -fcompare-debug-second.
 918
 919 2009-06-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 920
 921         PR fortran/40008
 922         * gfortran.h (gfc_open): Add newunit expression to structure.
 923         * io.c (io_tag): Add new unit tag and fix whitespace.
 924         (match_open_element): Add matching for newunit.
 925         (gfc_free_open): Free the newunit expression.
 926         (gfc_resolve_open): Add newunit to resolution and check constraints.
 927         (gfc_resolve_close): Add check for non-negative unit.
 928         (gfc_resolve_filepos): Likewise.
 929         (gfc_resolve_dt): Likewise.
 930         * trans-io.c (set_parameter_value): Build runtime checks for unit
 931         numbers within range of kind=4 integer. (gfc_trans_open) Set the
 932         newunit parameter.
 933         * ioparm.def (IOPARM): Define the newunit parameter as a pointer
 934         to GFC_INTEGER_4, pint4.
 935
 936 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
 937
 938         PR fortran/25104
 939         PR fortran/29962
 940         * array.c (gfc_append_constructor): Added NULL-check.
 941         * check.c (gfc_check_spread): Check DIM.
 942         (gfc_check_unpack): Check that the ARRAY arguments provides enough
 943         values for MASK.
 944         * intrinsic.h (gfc_simplify_spread): New prototype.
 945         (gfc_simplify_unpack): Likewise.
 946         * intrinsic.c (add_functions): Added new simplifier callbacks.
 947         * simplify.c (gfc_simplify_spread): New.
 948         (gfc_simplify_unpack): New.
 949         * expr.c (check_transformational): Allow additional transformational
 950         intrinsics in initialization expression.
 951
 952 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
 953
 954         PR fortran/25104
 955         PR fortran/29962
 956         * check.c (gfc_check_all_any): Check rank of DIM.
 957         (gfc_check_count): Likewise.
 958         * intrinsic.h (gfc_simplify_all): New prototype.
 959         (gfc_simplify_any): Likewise.
 960         (gfc_simplify_count): Likewise.
 961         (gfc_simplify_sum): Likewise.
 962         (gfc_simplify_product): Likewise.
 963         * intrinsic.c (add_functions): Added new simplifier callbacks.
 964         * simplify.c (transformational_result): New.
 965         (simplify_transformation_to_scalar): New.
 966         (simplify_transformation_to_array): New.
 967         (gfc_count): New.
 968         (gfc_simplify_all): New.
 969         (gfc_simplify_any): New.
 970         (gfc_simplify_count): New.
 971         (gfc_simplify_sum): New.
 972         (gfc_simplify_product): New.
 973         * expr.c (check_transformational): Allow additional transformational
 974         intrinsics in initialization expression.
 975
 976 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
 977
 978         * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
 979         (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
 980         (gfc_check_minloc_maxloc): Likewise.
 981         (check_reduction): Likewise.
 982         (gfc_check_size): Likewise.
 983         (gfc_check_ubound): Likewise.
 984         (gfc_check_cshift): Added missing shape-conformance checks.
 985         (gfc_check_eoshift): Likewise.
 986         * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
 987         * expr.c (gfc_check_conformance): Accept error-message chunks in
 988         printf-style. Changed all callers.
 989
 990
 991 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
 992
 993         PR fortran/25104
 994         PR fortran/29962
 995         * intrinsic.h (gfc_simplify_dot_product): New prototype.
 996         (gfc_simplify_matmul): Likewise.
 997         (gfc_simplify_transpose): Likewise.
 998         * intrinsic.c (add_functions): Added new simplifier callbacks.
 999         * simplify.c (init_result_expr): New.
1000         (compute_dot_product): New.
1001         (gfc_simplify_dot_product): New.
1002         (gfc_simplify_matmul): New.
1003         (gfc_simplify_transpose): New.
1004         * expr.c (check_transformational): Allow transformational intrinsics
1005         with simplifier in initialization expression.
1006
1007 2009-06-06  Daniel Franke  <franke.daniel@gmail.com>
1008
1009         PR fortran/37203
1010         * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
1011         without padding.
1012
1013 2009-06-06  Daniel Franke  <franke.daniel@gmail.com>
1014
1015         PR fortran/32890
1016         * intrinsic.h (gfc_simplify_pack): New prototype.
1017         * intrinsic.c (add_functions): Added
1018         simplifier-callback to PACK.
1019         * simplify.c (is_constant_array_expr): Moved
1020         to beginning of file.
1021         (gfc_simplify_pack): New.
1022         * check.c (gfc_check_pack): Check that VECTOR has enough elements.
1023         Added safeguards for empty arrays.
1024
1025 2009-06-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1026
1027         * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
1028         instead of MPC_RE/MPC_IM.
1029
1030 2009-06-05  Alexandre Oliva  <aoliva@redhat.com>
1031
1032         * trans-decl.c (gfc_build_qualified_array): Don't skip generation
1033         of range types.
1034         * trans.h (struct lang_type): Add base_decls.
1035         (GFC_TYPE_ARRAY_BASE_DECL): New.
1036         * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
1037         proactively and excessively.
1038         (gfc_get_array_descr_info): Use existing base decls if available.
1039
1040 2009-06-04  Daniel Franke  <franke.daniel@gmail.com>
1041
1042         PR fortran/37203
1043         * check.c (gfc_check_reshape): Additional checks for the
1044         SHAPE and ORDER arguments.
1045         * simplify.c (gfc_simplify_reshape): Converted argument checks
1046         to asserts.
1047
1048 2009-06-03  Tobias Burnus  <burnus@net-b.de>
1049
1050         * gfortran.texi: Add mixed-language programming, mention
1051         varying string lengths, some clean up of introduction parts.
1052         * intrinsic.texi (instrinsic modules): Create @menu for subsections.
1053         (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
1054         * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
1055         * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
1056
1057 2009-06-03  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1058             Tobias Burnus  <burnus@net-b.de>
1059
1060         * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
1061         * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
1062
1063 2009-06-03  Alexandre Oliva  <aoliva@redhat.com>
1064
1065         * module.c (mio_f2k_derived): Initialize cur.
1066
1067 2009-06-01  Tobias Burnus  <burnus@net-b.de>
1068
1069         PR fortran/40309
1070         * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
1071         (create_main_function): Set main_identifier_node.
1072
1073 2009-05-29  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1074
1075         PR fortran/40019
1076         * trans-types.c (gfc_build_uint_type): Make nonstatic.
1077         * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
1078         * trans-types.h (gfc_build_uint_type): Add prototype.
1079         * trans-decl.c (gfc_build_intrinsic_function_decls): Build
1080         gfor_fndecl_clz128 and gfor_fndecl_ctz128.
1081         * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
1082         gfc_conv_intrinsic_trailz): Call the right builtins or library
1083         functions, and cast arguments to unsigned types first.
1084         * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
1085
1086 2009-05-27  Ian Lance Taylor  <iant@google.com>
1087
1088         * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
1089         $(LINKER).
1090         (f951$(exeext)): Likewise.
1091
1092 2009-05-27  Tobias Burnus  <burnus@net-b.de>
1093
1094         PR fortran/40270
1095         * trans-decl.c (create_main_function): Mark MAIN__ and
1096         argc/argv as TREE_USED and push/pop function_decl context
1097         if needed.
1098
1099 2009-05-26  Tobias Burnus  <burnus@net-b.de>
1100
1101         PR fortran/39178
1102         * gfortranspec.c (lang_specific_driver): Stop linking
1103         libgfortranbegin.
1104         * trans-decl.c (gfc_build_builtin_function_decls): Stop
1105         making MAIN__ publicly visible.
1106         (gfc_build_builtin_function_decls): Add
1107         gfor_fndecl_set_args.
1108         (create_main_function) New function.
1109         (gfc_generate_function_code): Use it.
1110
1111 2009-05-26  Tobias Burnus  <burnus@net-b.de>
1112
1113         PR fortran/40246
1114         * match.c (gfc_match_nullify): NULLify freed pointer.
1115
1116 2009-05-26  Ian Lance Taylor  <iant@google.com>
1117
1118         * Make-lang.in (gfortranspec.o): Use $(COMPILER).
1119         (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
1120
1121 2009-05-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1122
1123         * gfortran.h (GFC_MPC_RND_MODE): New.
1124         * simplify.c (call_mpc_func): New helper function.
1125         (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
1126         gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
1127
1128 2009-05-25  Janus Weil  <janus@gcc.gnu.org>
1129
1130         PR fortran/40176
1131         * primary.c (gfc_match_varspec): Handle procedure pointer components
1132         with array return value.
1133         * resolve.c (resolve_expr_ppc): Ditto.
1134         (resolve_symbol): Make sure the interface of a procedure pointer has
1135         been resolved.
1136         * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
1137         components with array return value.
1138         * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
1139         gfc_trans_arrayfunc_assign): Ditto.
1140         (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
1141         where the rhs is a dummy argument.
1142         * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
1143         procedure pointer components with array return value.
1144
1145 2009-05-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
1146             Dominique Dhumieres
1147
1148         PR fortran/35732
1149         PR fortran/39872
1150         * trans-array.c (gfc_conv_ss_startstride): Add one to index.
1151
1152 2009-05-22  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1153
1154         PR fortran/40195
1155         * module.c (read_md5_from_module_file): Close file before returning.
1156
1157 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
1158
1159         PR fortran/40164
1160         * primary.c (gfc_match_rvalue): Handle procedure pointer components in
1161         arrays.
1162         * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
1163         array references.
1164         (resolve_fl_derived): Procedure pointer components are not required to
1165         have constant array bounds in their return value.
1166
1167 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
1168
1169         * intrinsic.c (add_sym): Fix my last commit (r147655),
1170         which broke bootstrap.
1171
1172 2009-05-18  Richard Guenther  <rguenther@suse.de>
1173
1174         PR fortran/40168
1175         * trans-expr.c (gfc_trans_zero_assign): For local array
1176         destinations use an assignment from an empty constructor.
1177
1178 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
1179
1180         PR fortran/36947
1181         PR fortran/40039
1182         * expr.c (gfc_check_pointer_assign): Check intents when comparing
1183         interfaces.
1184         * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
1185         (gfc_compare_interfaces): Additional argument.
1186         * interface.c (operator_correspondence): Add check for equality of
1187         intents, and new argument 'intent_check'.
1188         (gfc_compare_interfaces): New argument 'intent_check', which is passed
1189         on to operator_correspondence.
1190         (check_interface1): Don't check intents when comparing interfaces.
1191         (compare_parameter): Do check intents when comparing interfaces.
1192         * intrinsic.c (add_sym): Add intents for arguments of intrinsic
1193         procedures.
1194         (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
1195         add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
1196         default.
1197         (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
1198         : New functions to add intrinsic symbols, specifying custom intents.
1199         (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
1200         (add_functions,add_subroutines): Add intents for various intrinsics.
1201         * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
1202         comparing interfaces.
1203         * symbol.c (gfc_copy_formal_args_intr): Copy intent.
1204
1205 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1206
1207         * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
1208         REAL64 and REAL128.
1209         * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
1210         gfc_get_real_kind_from_width_isofortranenv): New prototypes.
1211         * iso-c-binding.def: Update definitions for the INT*_T,
1212         INT_LEAST*_T and INT_FAST*_T named parameters.
1213         * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
1214         gfc_get_real_kind_from_width_isofortranenv): New functions.
1215
1216 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1217
1218         PR fortran/36260
1219         * intrinsic.c (add_functions, add_subroutines): Fix argument
1220         names and wrap long lines.
1221         * intrinsic.texi: Fix documentation and argument names of
1222         LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
1223         GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
1224         SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
1225         SELECTED_REAL_KIND and XOR.
1226
1227 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1228
1229         PR fortran/33197
1230         * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
1231         * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
1232         * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
1233         gfc_simplify_erfc_scaled): New functions.
1234
1235 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1236
1237         PR fortran/31243
1238         * resolve.c (resolve_substring): Don't allow too large substring
1239         indexes.
1240         (gfc_resolve_substring_charlen): Fix typo.
1241         (gfc_resolve_character_operator): Fix typo.
1242         (resolve_charlen): Catch unreasonably large string lengths.
1243         * simplify.c (gfc_simplify_len): Don't error out on LEN
1244         range checks.
1245
1246 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1247
1248         PR fortran/36031
1249         * decl.c (set_enum_kind): Use global short-enums flag.
1250         * gfortran.h (gfc_option_t): Remove short_enums flag.
1251         * lang.opt (-fshort-enums): Refer to C documentation.
1252         * options.c (gfc_init_options, gfc_handle_option): Use global
1253         short-enums flag.
1254
1255 2009-05-15  Tobias Burnus  <burnus@net-b.de>
1256
1257         PR fortran/39352
1258         * f95-lang.c: Add gfc_maybe_initialize_eh.
1259         * gfortran.h: Add gfc_maybe_initialize_eh prototype.
1260         * Make-lang.in: Add new .h dendencies for f95-lang.c
1261         * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
1262         * misc.c (gfc_free): Avoid #define trickery for free.
1263
1264 2009-05-14  Steven G. Kargl  <kargl@gcc.gnu.org>
1265
1266         * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
1267         of allocate and deallocate statements.
1268
1269 2009-05-14  Ian Lance Taylor  <iant@google.com>
1270
1271         * decl.c (match_attr_spec): Change d to unsigned int.
1272         * dump-parse-tree.c (show_namespace): Change op to int.  Add cast.
1273         * interface.c (gfc_check_interfaces): Change i to int.  Add casts.
1274         * module.c (read_module): Change i to int.  Add cast.
1275         (write_module): Change i to int.
1276         * symbol.c (gfc_get_namespace): Change in to int.
1277         (gfc_free_namespace): Change i to int.
1278         * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
1279         unsigned int.  Add cast.
1280         * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
1281         Add casts.
1282
1283 2009-05-14  Daniel Kraft  <d@domob.eu>
1284
1285         PR fortran/40045
1286         * dump-parse-tree.c (show_typebound): Fix missing adaption to new
1287         type-bound procedure storage structure.
1288
1289 2009-05-14  Janus Weil  <janus@gcc.gnu.org>
1290
1291         PR fortran/39996
1292         * decl.c (gfc_match_function_decl): Use gfc_add_type.
1293         * symbol.c (gfc_add_type): Better checking for duplicate types in
1294         function declarations. And: Always give an error for duplicte types,
1295         not just a warning with -std=gnu.
1296
1297 2009-05-14  Jakub Jelinek  <jakub@redhat.com>
1298
1299         PR fortran/39865
1300         * io.c (resolve_tag_format): CHARACTER array in FMT= argument
1301         isn't an extension.  Reject non-CHARACTER array element of
1302         assumed shape or pointer or assumed size array.
1303         * trans-array.c (array_parameter_size): New function.
1304         (gfc_conv_array_parameter): Add size argument.  Call
1305         array_parameter_size if it is non-NULL.
1306         * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
1307         * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
1308         Adjust callers.
1309         * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
1310         * trans-io.c (gfc_convert_array_to_string): Rewritten.
1311
1312 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
1313
1314         * gfortran.h (gfc_code): Rename struct member expr to expr1.
1315         * openmp.c (resolve_omp_atomic): Update expr to expr1.
1316         * interface.c (gfc_extend_assign): Ditto.
1317         * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
1318         gfc_trans_init_assign): Ditto.
1319         * dump-parse-tree.c (show_code_node): Ditto.
1320         * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
1321         * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
1322         gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
1323         gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
1324         gfc_trans_logical_select, gfc_trans_character_select
1325         forall_make_variable_temp, check_forall_dependencies
1326         gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
1327         gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
1328         * io.c (match_io_element, gfc_match_inquire): Ditto.
1329         * resolve.c (resolve_typebound_call, resolve_ppc_call,
1330         resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
1331         resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
1332         gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
1333         * st.c (gfc_free_statement): Ditto.
1334         * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
1335         match_arithmetic_if, gfc_match_if, gfc_match_elseif
1336         gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
1337         gfc_match_nullify, match_typebound_call, gfc_match_call
1338         gfc_match_select, match_simple_where, gfc_match_where
1339         gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
1340         * trans-io.c (gfc_trans_transfer): Ditto.
1341         * parse.c (parse_where_block, parse_if_block): Ditto.
1342
1343 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
1344
1345         * gfortran.h (gfc_code): Rename struct member label to label1.
1346         * dump-parse-tree.c (show_code_node): Update symbol.
1347         * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
1348         gfc_trans_arithmetic_if): Ditto.
1349         * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
1350         * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
1351         gfc_match_assign, gfc_match_goto): Ditto.
1352         * parse.c (parse_do_block): Ditto.
1353
1354 2009-05-13  Tobias Burnus  <burnus@net-b.de>
1355
1356         PR fortran/34153
1357         * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
1358         * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
1359         * trans.c (gfc_trans_code): Ditto.
1360         * resolve.c (resolve_code): Ditto.
1361         * st.c (gfc_free_statement): Ditto.
1362         * parse.c (accept_statement): Ditto.
1363
1364 2009-05-12  Tobias Burnus  <burnus@net-b.de>
1365
1366         PR fortran/40110
1367         * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
1368
1369 2009-05-11  Steve Ellcey  <sje@cup.hp.com>
1370
1371         * resolve.c (check_host_association): Initialize tail.
1372
1373 2009-05-11  Janus Weil  <janus@gcc.gnu.org>
1374
1375         PR fortran/40089
1376         * resolve.c (resolve_fl_derived): Only return FAILURE if
1377         gfc_notify_std fails.
1378
1379 2009-05-10  Ian Lance Taylor  <iant@google.com>
1380
1381         * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
1382         gfc_omp_clauses.
1383         (enum gfc_omp_default_sharing): Likewise.
1384         * module.c (enum gfc_rsym_state): New enum, broken out of
1385         pointer_info.
1386         (enum gfc_wsym_state): Likewise.
1387         * parse.c (enum state_order): New enum, broken out of st_state.
1388
1389 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
1390
1391         PR fortran/40018
1392         * trans-array.c (gfc_trans_array_constructor_value): Fold
1393         convert numeric constants.
1394         (gfc_build_constant_array_constructor): The same.
1395
1396 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
1397
1398         PR fortran/38863
1399         * trans-expr.c (gfc_conv_operator_assign): Remove function.
1400         * trans.h : Remove prototype for gfc_conv_operator_assign.
1401         * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
1402         derivde types with intent(out).
1403         (gfc_trans_call): Add mask, count1 and invert arguments. Add
1404         code to use mask for WHERE assignments.
1405         (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
1406         (gfc_trans_where_assign): The gfc_symbol argument is replaced
1407         by the corresponding code. If this has a resolved_sym, then
1408         gfc_trans_call is called. The call to gfc_conv_operator_assign
1409         is removed.
1410         (gfc_trans_where_2): Change the last argument in the call to
1411         gfc_trans_where_assign.
1412         * trans-stmt.h : Modify prototype for gfc_trans_call.
1413         * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
1414
1415 2009-05-08  Janus Weil  <janus@gcc.gnu.org>
1416
1417         PR fortran/39876
1418         * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
1419         the symbol is a module procedure.
1420
1421 2009-05-08  Tobias Burnus  <burnus@net-b.de>
1422
1423         * invoke.texi: Add do/recursion to the -fcheck= summary.
1424
1425 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1426
1427         PR fortran/38830
1428         * gfortran.texi: Document that we don't support variable FORMAT
1429         expressions.
1430
1431 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1432
1433         PR fortran/39576
1434         * error.c (error_print): Add missing break statement.
1435
1436 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1437
1438         PR fortran/36382
1439         * invoke.texi: Document that -fdollar-ok does not allow $ to be
1440         used in IMPLICIT statement.
1441
1442 2009-05-06  Janus Weil  <janus@gcc.gnu.org>
1443             Paul Thomas  <pault@gcc.gnu.org>
1444
1445         PR fortran/39630
1446         * decl.c (match_procedure_interface): New function to match the
1447         interface for a PROCEDURE statement.
1448         (match_procedure_decl): Call match_procedure_interface.
1449         (match_ppc_decl): New function to match the declaration of a
1450         procedure pointer component.
1451         (gfc_match_procedure):  Call match_ppc_decl.
1452         (match_binding_attributes): Add new argument 'ppc' and handle the
1453         POINTER attribute for procedure pointer components.
1454         (match_procedure_in_type,gfc_match_generic): Added new argument to
1455         match_binding_attributes.
1456         * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
1457         procedure pointer components.
1458         * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
1459         (gfc_check_pointer_assign): Handle procedure pointer components, but no
1460         full checking yet.
1461         (is_proc_ptr_comp): New function to determine if an expression is a
1462         procedure pointer component.
1463         * gfortran.h (expr_t): Add EXPR_PPC.
1464         (symbol_attribute): Add new member 'proc_pointer_comp'.
1465         (gfc_component): Add new member 'formal'.
1466         (gfc_exec_op): Add EXEC_CALL_PPC.
1467         (gfc_get_default_type): Changed first argument.
1468         (is_proc_ptr_comp): Add prototype.
1469         (gfc_match_varspec): Add new argument.
1470         * interface.c (compare_actual_formal): Handle procedure pointer
1471         components.
1472         * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
1473         procedure pointer components.
1474         * module.c (mio_expr): Handle EXPR_PPC.
1475         * parse.c (parse_derived): Handle procedure pointer components.
1476         * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
1477         procedure pointer components.
1478         (gfc_variable_attr): Handle procedure pointer components.
1479         (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
1480         first argument of gfc_get_default_type.
1481         (match_variable): Added new argument to gfc_match_varspec.
1482         * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
1483         first argument of gfc_get_default_type.
1484         (resolve_structure_cons,resolve_actual_arglist): Handle procedure
1485         pointer components.
1486         (resolve_ppc_call): New function to resolve a call to a procedure
1487         pointer component (subroutine).
1488         (resolve_expr_ppc): New function to resolve a call to a procedure
1489         pointer component (function).
1490         (gfc_resolve_expr): Handle EXPR_PPC.
1491         (resolve_code): Handle EXEC_CALL_PPC.
1492         (resolve_fl_derived): Copy the interface for a procedure pointer
1493         component.
1494         (resolve_symbol): Fix overlong line.
1495         * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
1496         * symbol.c (gfc_get_default_type): Changed first argument.
1497         (gfc_set_default_type): Changed first argument of gfc_get_default_type.
1498         (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
1499         * trans.h (gfc_conv_function_call): Renamed.
1500         * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
1501         * trans-expr.c (gfc_conv_component_ref): Ditto.
1502         (gfc_conv_function_val): Rename to 'conv_function_val', add new
1503         argument 'expr' and handle procedure pointer components.
1504         (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
1505         (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
1506         (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
1507         argument 'expr' and handle procedure pointer components.
1508         (gfc_get_proc_ptr_comp): New function to get the backend decl for a
1509         procedure pointer component.
1510         (gfc_conv_function_expr): Renamed gfc_conv_function_call.
1511         (gfc_conv_structure): Handle procedure pointer components.
1512         * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
1513         conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
1514         * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
1515         * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
1516         * trans-types.h (gfc_get_ppc_type): Add prototype.
1517         * trans-types.c (gfc_get_ppc_type): New function to build a tree node
1518         for a procedure pointer component.
1519         (gfc_get_derived_type): Handle procedure pointer components.
1520
1521 2009-05-06  Tobias Burnus  <burnus@net-b.de>
1522
1523         PR fortran/40041
1524         * resolve.c (resolve_symbol): Print no warning for implicitly
1525         typed intrinsic functions.
1526
1527 2009-05-05  Janus Weil  <janus@gcc.gnu.org>
1528
1529         PR fortran/39998
1530         * expr.c (gfc_check_pointer_assign): Check for statement functions and
1531         internal procedures in procedure pointer assignments.
1532
1533 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
1534
1535         PR fortran/39946
1536         * resolve.c (resolve_symbol): Correctly copy the interface of a
1537         PROCEDURE statement if the interface involves a RESULT variable.
1538
1539 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
1540
1541         PR fortran/39930
1542         PR fortran/39931
1543         * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
1544         side is a pointer.
1545         * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
1546
1547 2009-04-28  Paul Thomas  <pault@gcc.gnu.org>
1548
1549         PR fortran/39879
1550         * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
1551         type parentheses argument if it is a variable with allocatable
1552         components.
1553
1554 2009-04-27  Ian Lance Taylor  <iant@google.com>
1555
1556         * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
1557         type.
1558         * trans-io.c (st_parameter_field): Add casts to enum type.
1559
1560 2009-04-26  Steven G. Kargl  <kargl@gcc.gnu.org>
1561
1562         PR fortran/39893
1563         fortran/data.c (gfc_assign_data_value): If the lvalue is an
1564         assumed character length entity in a data statement, then
1565         return FAILURE to prevent segmentation fault.
1566
1567 2009-04-26  Jakub Jelinek  <jakub@redhat.com>
1568
1569         * trans-decl.c: Include pointer-set.h.
1570         (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
1571         (gfc_nonlocal_dummy_array_decl): New function.
1572         (gfc_get_symbol_decl): Call it for non-local dummy args with saved
1573         descriptor.
1574         (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
1575         (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
1576         chain it to outermost block's vars, destroy it afterwards.
1577         * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
1578
1579 2009-04-25  Janus Weil  <janus@gcc.gnu.org>
1580
1581         PR fortran/39688
1582         * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
1583         They differ if the symbol has been use-renamed.
1584
1585 2009-04-24  Ian Lance Taylor  <iant@google.com>
1586
1587         * gfortran.h (enum gfc_symbol_type): New named enum type, broken
1588         out of struct gfc_symbol.
1589         (struct gfc_symbol): Use enum gfc_symbol_type.
1590         (enum gfc_array_ref_dimen_type): New named enum type, broken out
1591         of struct gfc_array_ref).
1592         (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
1593         (mod_pointee_as): Update declaration.
1594         * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
1595         (gfc_mod_pointee_as): Change return type to "match".
1596         * module.c (mio_array_ref): Add cast to enum type.
1597         (mio_symbol): Likewise.
1598         * resolve.c (resolve_global_procedure): Change type to enum
1599         gfc_symbol_type.
1600         * trans-io.c (gfc_build_st_parameter): Change type to unsigned
1601         int.
1602
1603 2009-04-24  Daniel Kraft  <d@domob.eu>
1604
1605         * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
1606         (struct gfc_symtree): Moved "typebound" member inside union.
1607         (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
1608         type-bound procedures there.
1609         (gfc_get_tbp_symtree): New procedure.
1610         * symbol.c (tentative_tbp_list): New global.
1611         (gfc_get_namespace): NULL new "tb_sym_root" member.
1612         (gfc_new_symtree): Removed initialization of "typebound" member.
1613         (gfc_undo_symbols): Process list of tentative tbp's.
1614         (gfc_commit_symbols): Ditto.
1615         (free_tb_tree): New method.
1616         (gfc_free_namespace): Call it.
1617         (gfc_get_typebound_proc): New method.
1618         (gfc_get_tbp_symtree): New method.
1619         (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
1620         and gfc_namespace with regards to tbp's.
1621         * dump-parse-tree.c (show_typebound): Ditto.
1622         * primary.c (gfc_match_varspec): Ditto.  Don't reference tbp-symbol
1623         as it isn't a symbol any longer.
1624         * module.c (mio_typebound_symtree): Adapt to changes.
1625         (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
1626         rather than "gfc_get_sym_tree".
1627         (mio_f2k_derived): Ditto.
1628         * decl.c (match_procedure_in_type): Ditto.
1629         (gfc_match_generic): Ditto.  Don't reference tbp-symbol.
1630         * resolve.c (check_typebound_override): Adapt to changes.
1631         (resolve_typebound_generic): Ditto.
1632         (resolve_typebound_procedures): Ditto.
1633         (ensure_not_abstract_walker): Ditto.
1634         (ensure_not_abstract): Ditto.
1635         (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
1636         instance, through removed tentative ones).
1637         * gfc-internals.texi (Type-bound procedures): Document changes.
1638
1639 2009-04-24  Janus Weil  <janus@gcc.gnu.org>
1640
1641         PR fortran/39861
1642         PR fortran/39864
1643         * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
1644         for the formal arguments.
1645
1646 2009-04-21  Taras Glek <tglek@mozilla.com>
1647
1648         * f95-lang.c: Update GTY annotations to new syntax.
1649         * trans-intrinsic.c: Likewise.
1650         * trans-io.c: Likewise.
1651         * trans.h: Likewise.
1652
1653 2009-04-22  Janus Weil  <janus@gcc.gnu.org>
1654
1655         PR fortran/39735
1656         * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
1657         (match_procedure_decl): Set if_source.
1658         * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
1659         And: Check interface also for IFSRC_UNKNOWN (return type may be known).
1660         * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
1661         add documentation. Rename copy_formal_args and copy_formal_args_intr.
1662         * interface.c (gfc_compare_interfaces): Check for return types,
1663         handle IFSRC_UNKNOWN.
1664         (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
1665         (gfc_procedure_use): Modified handling of intrinsics.
1666         * intrinsic.c (add_functions): Bugfix for "dim".
1667         * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
1668         which copies the interface from isym to sym.
1669         (resolve_procedure_expression,resolve_function): Use new function
1670         'resolve_intrinsic'.
1671         (resolve_symbol): Add function attribute for externals with return type
1672         and use new function 'resolve_intrinsic'.
1673         * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
1674         (copy_formal_args): Renamed to gfc_copy_formal_args.
1675         (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
1676         * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
1677
1678 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
1679
1680         * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
1681         ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
1682         ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
1683         copyright and license notices.
1684         * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
1685         ChangeLog-2008: Correct dates.
1686
1687 2009-04-20  Tobias Burnus  <burnus@net-b.de>
1688
1689         PR fortran/39811
1690         * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
1691
1692 2009-04-20  Paul Thomas  <pault@gcc.gnu.org>
1693
1694         PR fortran/39800
1695         * resolve.c (is_sym_host_assoc): New function.
1696         (resolve_fl_derived): Call it when checking PRIVATE components
1697         of PUBLIC derived types.  Change gfc_error to a gfc_notify_std
1698         with std=f2003.
1699         (resolve_fl_namelist): Call it twice to check for host
1700         association.
1701
1702 2009-04-20  Ian Lance Taylor  <iant@google.com>
1703
1704         * module.c (import_iso_c_binding_module): Add casts to enum type.
1705         * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
1706         tree_code.
1707         (gfc_conv_intrinsic_anyall): Likewise.
1708         (gfc_conv_intrinsic_arith): Likewise.
1709         (gfc_conv_intrinsic_minmaxloc): Likewise.
1710         (gfc_conv_intrinsic_minmaxval): Likewise.
1711         (gfc_conv_intrinsic_bitop): Likewise.
1712         (gfc_conv_intrinsic_singlebitop): Likewise.
1713         (gfc_conv_intrinsic_strcmp): Likewise.
1714
1715 2009-04-20  Vasilis Liaskovitis  <vliaskov@gmail.com>
1716             Jakub Jelinek  <jakub@redhat.com>
1717
1718         PR fortran/35423
1719         * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
1720         OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
1721         (ompws_flags): New extern decl.
1722         * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
1723         for the outer dimension if ompws_flags allow it.
1724         * trans.c (gfc_generate_code): Clear ompws_flags.
1725         * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
1726         array assignments inside of !$omp workshare.
1727         * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
1728         and constructs.
1729         * trans-openmp.c (ompws_flags): New variable.
1730         (gfc_trans_omp_workshare): Rewritten.
1731
1732 2009-04-11  Daniel Kraft  <d@domob.eu>
1733
1734         PR fortran/37746
1735         * gfortran.h (struct gfc_charlen): New field "passed_length" to store
1736         the actual passed string length for dummy arguments.
1737         * trans-decl.c (gfc_create_string_length): Formatting fixes and added
1738         assertion, moved a local variable into the innermost block it is needed.
1739         (create_function_arglist): Removed TODO about the check being
1740         implemented and initialize cl->passed_length here.
1741         (add_argument_checking): New method.
1742         (gfc_generate_function_code): Call the argument checking method.
1743
1744 2009-04-11  Janus Weil  <janus@gcc.gnu.org>
1745
1746         PR fortran/39692
1747         * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
1748
1749 2009-04-11  Daniel Franke  <franke.daniel@gmail.com>
1750
1751         * resolve.c (resolve_global_procedure): Enable whole-file checking for
1752         procedures that are declared later in the file.
1753
1754 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
1755
1756         PR middle-end/39701
1757         * trans.c (gfc_allocate_with_status): Fix type mismatches
1758         on "pstat == 0".
1759
1760 2009-04-10  Daniel Franke  <franke.daniel@gmail.com>
1761
1762         PR fortran/38709
1763         * expr.c (find_array_section): Leave early on zero-sized arrays.
1764
1765 2009-04-09  Janus Weil  <janus@gcc.gnu.org>
1766
1767         PR fortran/36704
1768         * decl.c (add_hidden_procptr_result): New function for handling
1769         procedure pointer return values by adding a hidden result variable.
1770         (variable_decl,match_procedure_decl,gfc_match_function_decl,
1771         gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
1772         return values.
1773         * parse.c (parse_interface): Add EXTERNAL attribute only after
1774         FUNCTION/SUBROUTINE declaration is complete.
1775         * primary.c (replace_hidden_procptr_result): New function for replacing
1776         function symbol by hidden result variable.
1777         (gfc_match_rvalue,match_variable): Replace symbol by hidden result
1778         variable.
1779         * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
1780         resolve_symbol): Allow for procedure pointer function results.
1781         (resolve_fl_procedure): Conflict detection moved here from
1782         'check_conflict'.
1783         * symbol.c (gfc_check_function_type): Allow for procedure pointer
1784         function results.
1785         (check_conflict): Move some conflict detection to resolution stage.
1786         * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
1787         result variables.
1788
1789 2009-04-08  Jakub Jelinek  <jakub@redhat.com>
1790
1791         * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
1792         contain TYPE_STRING_FLAG types.
1793
1794 2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>
1795
1796         PR fortran/39670
1797         * invoke.texi (fdollar-ok): Fix typo.
1798
1799 2009-04-08  Daniel Franke  <franke.daniel@gmail.com>
1800
1801         PR fortran/39670
1802         * invoke.texi (fdollar-ok): Clarify limitations.
1803
1804 2009-04-08  Paul Thomas  <pault@gcc.gnu.org>
1805
1806         PR fortran/38863
1807         * trans-array.c (gfc_trans_deferred_array): Return if this
1808         is a result variable.
1809
1810 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
1811
1812         PR fortran/38152
1813         * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
1814         procedure pointer decls.
1815
1816 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
1817
1818         PR fortran/38290
1819         * expr.c (gfc_check_pointer_assign): Enable interface check for
1820         procedure pointers.
1821         * gfortran.h: Add copy_formal_args_intr.
1822         * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
1823         if second argument is an intrinsic.
1824         (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
1825         and ts.
1826         (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
1827         * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
1828         intrinsic interfaces here. Must happen earlier.
1829         (resolve_symbol): Resolution of intrinsic interfaces moved here from
1830         resolve_specific_..., and formal args are now copied from intrinsic
1831         interfaces.
1832         * symbol.c (copy_formal_args_intr): New function to copy the formal
1833         arguments from an intinsic procedure.
1834
1835 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
1836
1837         PR fortran/38863
1838         * dependency.c (ref_same_as_full_array): New function.
1839         (gfc_dep_resolver): Call it.
1840
1841 2009-04-06  Janus Weil  <janus@gcc.gnu.org>
1842
1843         PR fortran/39414
1844         * decl.c (match_procedure_decl): Fix double declaration problems with
1845         PROCEDURE statements.
1846         * symbol.c (gfc_add_type): Ditto.
1847
1848 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
1849
1850         PR fortran/36091
1851         * trans-array.c (gfc_conv_array_ref): If the symbol has the
1852         temporary attribute use the array_spec for the bounds.
1853         * gfortran.h : Add the temporary field to the structure
1854         'symbol_attribute'.
1855         * trans-stmt.c (forall_make_variable_temp): Set the symbol's
1856         temporary attribute.
1857
1858 2009-04-05  Daniel Franke  <franke.daniel@gmail.com>
1859
1860         PR fortran/29458
1861         * trans-array.c (gfc_trans_array_constructor_value): Shadow
1862         implied do-loop variable to avoid spurious middle-end warnings.
1863
1864 2009-04-04  Tobias Burnus  <burnus@net-b.de>
1865
1866         PR fortran/39577
1867         * trans-decl.c (gfc_generate_function_code): Move recursive
1868         check to the right position.
1869
1870 2009-04-04  Paul Thomas  <pault@gcc.gnu.org>
1871
1872         PR fortran/37614
1873         * trans-common.c (translate_common): Do not offset the whole
1874         coomon block.
1875
1876 2009-04-03  Tobias Burnus  <burnus@net-b.de>
1877
1878         PR fortran/39594
1879         * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
1880         if it is not a procedure pointer.
1881         * primary.c (match_actual_arg): Ditto.
1882
1883 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1884
1885         PR preprocessor/15638
1886         * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
1887
1888 2009-03-30  Steven G. Kargl  <kargls@comcast.net>
1889
1890         PR fortran/38389
1891         * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
1892         (gfc_trans_deallocate): Add translation of ERRMSG.  Remove stale
1893         comments.  Minor whitespace cleanup.
1894         * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
1895         (resolve_deallocate_expr (gfc_expr *e): Update error message.
1896         (resolve_allocate_expr):  Remove dead code.  Update error message.
1897         Move error checking to ...
1898         (resolve_allocate_deallocate): ... here.  Add additional error
1899         checking for STAT, ERRMSG, and allocate-objects.
1900         * match.c(gfc_match_allocate,gfc_match_deallocate):  Parse ERRMSG.
1901         Check for redundant uses of STAT and ERRMSG.  Reword error message
1902         and add checking for pointer, allocatable, and proc_pointer attributes.
1903
1904 2009-03-30  Paul Thomas  <pault@gcc.gnu.org>
1905
1906         PR fortran/22571
1907         PR fortran/26227
1908         PR fortran/24886
1909         * symbol.c : Add gfc_global_ns_list.
1910         * decl.c (add_global_entry): Set the namespace ('ns') field.
1911         * gfortran.h : Add the resolved field to gfc_namespace. Add the
1912         namespace ('ns') field to gfc_gsymbol.  Add flag_whole_file to
1913         gfc_option_t.  Add the prototype for gfc_free_dt_list.
1914         * lang.opt : Add the whole-file option.
1915         * invoke.texi : Document the whole-file option.
1916         * resolve.c (resolve_global_procedure): If the fwhole-file
1917         option is set, reorder gsymbols to ensure that translation is
1918         in the right order.  Resolve the gsymbol's namespace if that
1919         has not occurred and then check interfaces.
1920         (resolve_function): Move call to resolve_global_procedure.
1921         (resolve_call): The same.
1922         (resolve_codes): Store the current labels_obstack.
1923         (gfc_resolve) : Return if the namespace is already resolved.
1924         trans-decl.c (gfc_get_extern_function_decl): If the whole_file
1925         option is selected, use the backend_decl of a gsymbol, if it is
1926         available.
1927         parse.c (add_global_procedure, add_global_program): If the flag
1928         whole-file is set, add the namespace to the gsymbol.
1929         (gfc_parse_file): On -fwhole-file, put procedure namespaces on
1930         the global namespace list.  Rearrange to do resolution of all
1931         the procedures in a file, followed by their translation.
1932         * options.c (gfc_init_options): Add -fwhole-file.
1933         (gfc_handle_option): The same.
1934
1935 2009-03-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1936
1937         * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
1938         family of intrinsics instead of BUILT_IN_INF family.
1939         * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
1940         BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
1941
1942 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
1943
1944         * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
1945         sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
1946
1947 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
1948
1949         PR rtl-optimization/323
1950         * options.c (gfc_post_options): Set
1951         flag_excess_precision_cmdline.  Give an error for
1952         -fexcess-precision=standard for processors where the option is
1953         significant.
1954
1955 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1956
1957         PR preprocessor/34695
1958         * cpp.c (cb_cpp_error): New.
1959         (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
1960         Don't check cpp_errors (cpp_in).
1961         (gfc_cpp_init_0): Set cb->error.
1962
1963 2009-03-29  Steven G. Kargl  <kargl@gcc.gnu.org>
1964
1965         PR fortran/38823
1966         * gfortran.h: Add ARITH_PROHIBIT to arith enum.
1967         expr.c (gfc_match_init_expr): Add global variable init_flag to
1968         flag matching an initialization expression.
1969         (check_intrinsic_op): Move no longer reachable error message to ...
1970         * arith.c (arith_power): ... here.  Remove gfc_ prefix in
1971         gfc_arith_power.  Use init_flag.  Allow constant folding of x**y
1972         when y is REAL or COMPLEX.
1973         (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
1974         for constant folding.
1975         * gfc_power: Update gfc_arith_power to arith_power
1976
1977 2009-03-29  Daniel Kraft  <d@domob.eu>
1978
1979         PR fortran/37423
1980         * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
1981         added a comment explaining DEFERRED binding handling.
1982         * decl.c (match_binding_attributes): Really match DEFERRED attribute.
1983         (match_procedure_in_type): Really match PROCEDURE(interface) syntax
1984         and do some validity checks for DEFERRED and this construct.
1985         * module.c (binding_overriding): New string constant for DEFERRED.
1986         (mio_typebound_proc): Module-IO DEFERRED flag.
1987         * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
1988         binding is not overridden by a DEFERRED one.
1989         (resolve_typebound_procedure): Allow abstract interfaces as targets
1990         for DEFERRED bindings.
1991         (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
1992         (resolve_fl_derived): Use new "ensure_not_abstract" method for
1993         non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
1994         binding is overridden.
1995         (check_typebound_baseobject): New method.
1996         (resolve_compcall), (resolve_typebound_call): Check base-object of
1997         the type-bound procedure call.
1998         * gfc-internals.texi (Type-bound procedures): Document a little bit
1999         about internal handling of DEFERRED bindings.
2000
2001 2009-03-29  Tobias Schlueter  <tobi@gcc.gnu.org>
2002
2003         PR fortran/38507
2004         * gfortran.h (gfc_st_label): Fix comment.
2005         (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
2006         * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
2007         END SELECT with labels.
2008         (check_do_closure): Fix formatting.
2009         (parse_do_block): Fix typo in error message.
2010         * resolve.c (code_stack): Remove tail member.  Update comment to
2011         new use of reachable_labels.
2012         (reachable_labels): Rename to ...
2013         (find_reachable_labels): ... this.  Overhaul.  Update preceding
2014         comment.
2015         (resolve_branch): Fix comment preceding function.  Rewrite.
2016         (resolve_code): Update call to find_reachable_labels.  Add code to
2017         deal with EXEC_END_BLOCK.
2018         * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
2019         Add 2009 to copyright years.
2020         * trans.c (gfc_trans_code): Likewise on both counts.
2021
2022 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
2023
2024         PR fortran/38917
2025         * expr.c (gfc_check_assign): Allow pointer components when
2026         checking for NULL.
2027
2028         PR fortran/38918
2029         * resolve.c (check_data_variable): Treat pointer arrays with
2030         scalars.
2031
2032 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
2033
2034         PR fortran/38915
2035         * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
2036         have a string_length.
2037
2038 2009-03-28  Tobias Burnus  <burnus@net-b.de>
2039
2040         PR fortran/34656
2041         * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
2042         Add GFC_RTCHECK_DO support.
2043         * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
2044         * invoke.texi (-fcheck): Document "do" option.
2045
2046 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
2047
2048         PR fortran/38538
2049         * trans-array.c (get_elemental_fcn_charlen): Remove.
2050         (get_array_charlen): New function to replace previous.
2051
2052 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
2053
2054         PR fortran/38765
2055         * parse.c (parse_derived): Do not break on finding pointer,
2056         allocatable or private components.
2057
2058 2009-03-28  Tobias Burnus  <burnus@net-b.de>
2059
2060         PR fortran/32626
2061         * option.c (gfc_handle_runtime_check_option): Enable recursion check.
2062         * trans-decl.c (gfc_generate_function_code): Add recursion check.
2063         * invoke.texi (-fcheck): Add recursive option.
2064
2065 2009-03-28  Tobias Burnus  <burnus@net-b.de>
2066
2067         PR fortran/38432
2068         * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
2069
2070 2009-03-28  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
2071             Paul Thomas  <pault@gcc.gnu.org>
2072             Tobias Burnus  <burnus@net-b.de>
2073
2074         * gfortran.h (gfc_option_t): Add rtcheck.
2075         * lang.opt: New option -fcheck.
2076         * libgfortran.h: Add GFC_RTCHECK_* constants.
2077         * invoke.texi: Document -fcheck.
2078         * options.c (gfc_handle_runtime_check_option): New function.
2079         (gfc_init_options,gfc_post_options,gfc_handle_option):
2080         Add -fcheck option.
2081
2082 2009-03-27  Richard Guenther  <rguenther@suse.de>
2083
2084         * trans-array.c (gfc_conv_descriptor_data_addr): Use
2085         gfc_build_addr_expr instead of build_fold_addr_expr.
2086         (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
2087         gfc_trans_constant_array_constructor, gfc_conv_array_data,
2088         gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
2089         * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
2090         gfc_conv_function_val, gfc_conv_operator_assign,
2091         gfc_conv_subref_array_arg, gfc_conv_function_call,
2092         gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
2093         * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
2094         gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
2095         gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
2096         gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
2097         gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
2098         gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
2099         gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
2100         * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
2101         gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
2102         build_filepos, gfc_trans_inquire, gfc_trans_wait,
2103         nml_get_addr_expr, transfer_namelist_element, build_dt,
2104         gfc_trans_dt_end, transfer_array_component, transfer_expr,
2105         transfer_array_desc, gfc_trans_transfer): Likewise.
2106         * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
2107         * trans.c (gfc_build_addr_expr): Mark the base of the address
2108         TREE_ADDRESSABLE.
2109
2110 2009-03-27  Tobias Burnus  <burnus@net-b.de>
2111
2112         * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
2113         (gfc_expr): Add is_snan.
2114         * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
2115         (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
2116         * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
2117         * resolve.c (build_default_init_expr): Update call.
2118         * target-memory.c (encode_float): Ditto.
2119         * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
2120
2121 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2122
2123         * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
2124         and -fpreprocessed.
2125
2126 2009-03-06  Alexandre Oliva <aoliva@redhat.com>
2127
2128         * simplify.c (gfc_simplify_transfer): Zero-initialize the
2129         buffer.
2130
2131 2009-02-27  Tobias Burnus  <burnus@net-b.de>
2132
2133         PR fortran/39309
2134         * module.c (read_md5_from_module_file): Add missing quote.
2135
2136 2009-02-27  Tobias Burnus  <burnus@net-b.de>
2137
2138         PR fortran/39309
2139         * module.c (read_md5_from_module_file): Include mod version
2140         in had-changed test.
2141
2142 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
2143
2144         PR fortran/39295
2145         * interface.c (compare_type_rank_if): Return 1 if the symbols
2146         are the same and deal with external procedures where one is
2147         identified to be a function or subroutine by usage but the
2148         other is not.
2149
2150 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
2151
2152         PR fortran/39292
2153         * trans-array.c (gfc_conv_array_initializer): Convert all
2154         expressions rather than ICEing.
2155
2156 2009-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
2157
2158         PR fortran/38914
2159         * array.c (ref_dimen_size):  Rename to gfc_ref_dimen_size,
2160         make global.  Change function name in error messages.
2161         (ref_size):  Change ref_dimen_size to gfc_ref_dimen_size.
2162         (gfc_array_ref_shape):  Likewise.
2163         * gfortran.h:  Add prototype for gfc_ref_dimen_size.
2164         * simplify.c (simplify_bound_dim):  Add ref argument.
2165         If the reference isn't a full array, return one for
2166         the lower bound and the extent for the upper bound.
2167         (simplify_bound):  For array sections, take as from the
2168         argument.  Add reference to all to simplify_bound_dim.
2169
2170 2009-02-19  Daniel Franke  <franke.daniel@gmail.com>
2171
2172         * scanner.c (load_line): At end of line, skip '\r' without setting
2173         the truncation flag.
2174
2175 2009-02-18  Daniel Kraft  <d@domob.eu>
2176
2177         * gfortran.texi: New chapter about compiler characteristics.
2178         (Compiler Characteristics): Document KIND type parameters here.
2179
2180 2009-02-18  Tobias Burnus  <burnus@net-b.de>
2181
2182         * intrinsic.texi (MALLOC): Make example more portable.
2183
2184 2009-02-13  Mikael Morin  <mikael.morin@tele2.fr>
2185
2186         PR fortran/38259
2187         * module.c (gfc_dump_module,gfc_use_module): Add module
2188         version number.
2189
2190 2009-02-13  Paul Thomas  <pault@gcc.gnu.org>
2191
2192         PR fortran/36703
2193         PR fortran/36528
2194         * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
2195         function references to ensure that a valid expression is used.
2196         (gfc_conv_function_call): Pass Cray pointers to procedures.
2197
2198 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
2199
2200         * gfortranspec.c (lang_specific_driver): Update copyright notice
2201         dates.
2202
2203 2009-01-28  Paul Thomas  <pault@gcc.gnu.org>
2204
2205         PR fortran/38852
2206         PR fortran/39006
2207         * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
2208         descriptor ubound for UBOUND, when the array lbound == 1.
2209
2210 2009-01-27  Daniel Kraft  <d@domob.eu>
2211
2212         PR fortran/38883
2213         * trans-stmt.c (gfc_conv_elemental_dependencies):  Create temporary
2214         for the real type needed to make it work for subcomponent-references.
2215
2216 2009-01-21  Daniel Kraft  <d@domob.eu>
2217
2218         * trans-stmt.c (gfc_conv_elemental_dependencies):  Cleaned up comment.
2219
2220 2009-01-20  Paul Thomas  <pault@gcc.gnu.org>
2221
2222         PR fortran/38907
2223         * resolve.c (check_host_association): Remove the matching to
2224         correct an incorrect host association and use manipulation of
2225         the expression instead.
2226
2227 2009-01-20  Tobias Burnus  <burnus@net-b.de>
2228
2229         * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
2230
2231 2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
2232
2233         PR fortran/38859
2234         * simplify.c (simplify_bound): Don't use array specification
2235         if variable or component has subsequent references.
2236
2237 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
2238
2239         PR fortran/38657
2240         * module.c (write_common_0): Add argument 'this_module' and
2241         check that non-use associated common blocks are written first.
2242         (write_common): Call write_common_0 twice, once with true and
2243         then with false.
2244
2245 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
2246
2247         PR fortran/34955
2248         * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
2249         been absorbed into gfc_conv_intrinsic_transfer. All
2250         references to it in trans-intrinsic.c have been changed
2251         accordingly.  PR fixed by using a temporary for scalar
2252         character transfer, when the source is shorter than the
2253         destination.
2254
2255 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
2256
2257         PR fortran/38657
2258         * module.c (write_common_0): Revert patch of 2009-01-05.
2259
2260 2009-01-16  Janus Weil  <janus@gcc.gnu.org>
2261
2262         PR fortran/38152
2263         * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
2264         pointers as lvalue.
2265         * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
2266         Enable procedure pointers as module variables.
2267
2268 2009-01-14  Steven G. Kargl  <kargl@gcc.gnu.org>
2269
2270         * ChangeLog-2007: Clean out svn merge droppings.
2271
2272 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
2273
2274         PR fortran/38763
2275         * target-memory.c (encode_derived): Encode NULL.
2276
2277 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
2278
2279         PR fortran/38765
2280         * resolve.c (check_host_association): Use the symtree name to
2281         search for a potential contained procedure, since this is the
2282         name by which it would be referenced.
2283
2284 2009-01-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
2285
2286         PR fortran/38220
2287         * interface.c (gfc_procedure_use):  Don't warn about functions
2288         from ISO_C_BINDING.
2289         * symbol.c (generate_isocbinding_symbol):  Mark c_loc and
2290         c_funloc as pure.
2291
2292 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
2293
2294         PR fortran/38657
2295         * module.c (write_common_0): Use the name of the symtree rather
2296         than the common block, to determine if the common has been
2297         written.
2298
2299 2009-01-05  Daniel Franke  <franke.daniel@gmail.com>
2300
2301         PR fortran/37159
2302         * check.c (gfc_check_random_seed): Added size check for GET
2303         dummy argument, reworded error messages to follow common pattern.
2304
2305 2009-01-05  Thomas Koenig  <tkoenig@gcc.gnu.org>
2306
2307         PR fortran/38672
2308         * trans-types.c (gfc_get_derived_type):  Check for the
2309         presence of derived->ns->proc_name before
2310         accessing derived->ns->proc_name->attr.flavor .
2311         * resolve.c (resolve_symbol):  Likewise.
2312
2313 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
2314
2315         PR fortran/38665
2316         * gfortran.h : Add bit to gfc_expr 'user_operator'
2317         * interface.c (gfc_extend_expr): Set the above if the operator
2318         is substituted by a function.
2319         * resolve.c (check_host_association): Return if above is set.
2320
2321 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
2322
2323         PR fortran/35681
2324         * ChangeLog-2008: Fix function name.
2325
2326         PR fortran/38487
2327         * dependency.c (gfc_check_argument_var_dependency):
2328         Move the check for pointerness inside the if block
2329         so that it doesn't affect the return value.
2330
2331         PR fortran/38669
2332         * trans-stmt.c (gfc_trans_call):
2333         Add the dependency code after the loop bounds calculation one.
2334
2335 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
2336
2337         * intrinsic.c (do_simplify): Removed already implemented TODO.
2338
2339 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
2340
2341         PR fortran/38718
2342         * simplify.c (gfc_simplify_merge): New.
2343         * intrinsic.h (gfc_simplify_merge): New prototype.
2344         * intrinsic.c (add_functions): Added simplification for MERGE.
2345
2346 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
2347
2348         PR fortran/38536
2349         * gfortran.h (gfc_is_data_pointer): Added prototype
2350         * resolve.c (gfc_iso_c_func_interface):
2351         Use gfc_is_data_pointer to test for pointer attribute.
2352         * dependency.c (gfc_is_data_pointer):
2353         Support pointer-returning functions.
2354
2355 2009-01-03  Daniel Franke  <franke.daniel@gmail.com>
2356
2357         * symbol.c (save_symbol): Don't SAVE function results.
2358
2359 2009-01-03  Paul Thomas  <pault@gcc.gnu.org>
2360
2361         PR fortran/38594
2362         * resolve.c (resolve_call): When searching for proper host
2363         association, use symtree rather than symbol.  For everything
2364         except generic subroutines, substitute the symtree in the call
2365         rather than the symbol.
2366
2367 \f
2368 Copyright (C) 2009 Free Software Foundation, Inc.
2369
2370 Copying and distribution of this file, with or without modification,
2371 are permitted in any medium without royalty provided the copyright
2372 notice and this notice are preserved.