gcc/fortran/ChangeLog

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