gcc/fortran/ChangeLog

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