gcc/fortran/ChangeLog

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