gcc/fortran/ChangeLog

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