gcc/fortran/ChangeLog

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