gcc/fortran/ChangeLog

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