gcc/fortran/ChangeLog

   1 2009-05-26  Tobias Burnus  <burnus@net-b.de>
   2
   3         PR fortran/39178
   4         * gfortranspec.c (lang_specific_driver): Stop linking
   5         libgfortranbegin.
   6         * trans-decl.c (gfc_build_builtin_function_decls): Stop
   7         making MAIN__ publicly visible.
   8         (gfc_build_builtin_function_decls): Add
   9         gfor_fndecl_set_args.
  10         (create_main_function) New function.
  11         (gfc_generate_function_code): Use it.
  12
  13 2009-05-26  Tobias Burnus  <burnus@net-b.de>
  14
  15         PR fortran/40246
  16         * match.c (gfc_match_nullify): NULLify freed pointer.
  17
  18 2009-05-26  Ian Lance Taylor  <iant@google.com>
  19
  20         * Make-lang.in (gfortranspec.o): Use $(COMPILER).
  21         (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
  22
  23 2009-05-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
  24
  25         * gfortran.h (GFC_MPC_RND_MODE): New.
  26         * simplify.c (call_mpc_func): New helper function.
  27         (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
  28         gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
  29
  30 2009-05-25  Janus Weil  <janus@gcc.gnu.org>
  31
  32         PR fortran/40176
  33         * primary.c (gfc_match_varspec): Handle procedure pointer components
  34         with array return value.
  35         * resolve.c (resolve_expr_ppc): Ditto.
  36         (resolve_symbol): Make sure the interface of a procedure pointer has
  37         been resolved.
  38         * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
  39         components with array return value.
  40         * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
  41         gfc_trans_arrayfunc_assign): Ditto.
  42         (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
  43         where the rhs is a dummy argument.
  44         * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
  45         procedure pointer components with array return value.
  46
  47 2009-05-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
  48             Dominique Dhumieres
  49
  50         PR fortran/35732
  51         PR fortran/39872
  52         * trans-array.c (gfc_conv_ss_startstride): Add one to index.
  53
  54 2009-05-22  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
  55
  56         PR fortran/40195
  57         * module.c (read_md5_from_module_file): Close file before returning.
  58
  59 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
  60
  61         PR fortran/40164
  62         * primary.c (gfc_match_rvalue): Handle procedure pointer components in
  63         arrays.
  64         * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
  65         array references.
  66         (resolve_fl_derived): Procedure pointer components are not required to
  67         have constant array bounds in their return value.
  68
  69 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
  70
  71         * intrinsic.c (add_sym): Fix my last commit (r147655),
  72         which broke bootstrap.
  73
  74 2009-05-18  Richard Guenther  <rguenther@suse.de>
  75
  76         PR fortran/40168
  77         * trans-expr.c (gfc_trans_zero_assign): For local array
  78         destinations use an assignment from an empty constructor.
  79
  80 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
  81
  82         PR fortran/36947
  83         PR fortran/40039
  84         * expr.c (gfc_check_pointer_assign): Check intents when comparing
  85         interfaces.
  86         * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
  87         (gfc_compare_interfaces): Additional argument.
  88         * interface.c (operator_correspondence): Add check for equality of
  89         intents, and new argument 'intent_check'.
  90         (gfc_compare_interfaces): New argument 'intent_check', which is passed
  91         on to operator_correspondence.
  92         (check_interface1): Don't check intents when comparing interfaces.
  93         (compare_parameter): Do check intents when comparing interfaces.
  94         * intrinsic.c (add_sym): Add intents for arguments of intrinsic
  95         procedures.
  96         (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
  97         add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
  98         default.
  99         (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
 100         : New functions to add intrinsic symbols, specifying custom intents.
 101         (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
 102         (add_functions,add_subroutines): Add intents for various intrinsics.
 103         * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
 104         comparing interfaces.
 105         * symbol.c (gfc_copy_formal_args_intr): Copy intent.
 106
 107 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 108
 109         * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
 110         REAL64 and REAL128.
 111         * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
 112         gfc_get_real_kind_from_width_isofortranenv): New prototypes.
 113         * iso-c-binding.def: Update definitions for the INT*_T,
 114         INT_LEAST*_T and INT_FAST*_T named parameters.
 115         * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
 116         gfc_get_real_kind_from_width_isofortranenv): New functions.
 117
 118 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 119
 120         PR fortran/36260
 121         * intrinsic.c (add_functions, add_subroutines): Fix argument
 122         names and wrap long lines.
 123         * intrinsic.texi: Fix documentation and argument names of
 124         LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
 125         GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
 126         SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
 127         SELECTED_REAL_KIND and XOR.
 128
 129 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 130
 131         PR fortran/33197
 132         * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
 133         * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
 134         * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
 135         gfc_simplify_erfc_scaled): New functions.
 136
 137 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 138
 139         PR fortran/31243
 140         * resolve.c (resolve_substring): Don't allow too large substring
 141         indexes.
 142         (gfc_resolve_substring_charlen): Fix typo.
 143         (gfc_resolve_character_operator): Fix typo.
 144         (resolve_charlen): Catch unreasonably large string lengths.
 145         * simplify.c (gfc_simplify_len): Don't error out on LEN
 146         range checks.
 147
 148 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 149
 150         PR fortran/36031
 151         * decl.c (set_enum_kind): Use global short-enums flag.
 152         * gfortran.h (gfc_option_t): Remove short_enums flag.
 153         * lang.opt (-fshort-enums): Refer to C documentation.
 154         * options.c (gfc_init_options, gfc_handle_option): Use global
 155         short-enums flag.
 156
 157 2009-05-15  Tobias Burnus  <burnus@net-b.de>
 158
 159         PR fortran/39352
 160         * f95-lang.c: Add gfc_maybe_initialize_eh.
 161         * gfortran.h: Add gfc_maybe_initialize_eh prototype.
 162         * Make-lang.in: Add new .h dendencies for f95-lang.c
 163         * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
 164         * misc.c (gfc_free): Avoid #define trickery for free.
 165
 166 2009-05-14  Steven G. Kargl  <kargl@gcc.gnu.org>
 167
 168         * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
 169         of allocate and deallocate statements.
 170
 171 2009-05-14  Ian Lance Taylor  <iant@google.com>
 172
 173         * decl.c (match_attr_spec): Change d to unsigned int.
 174         * dump-parse-tree.c (show_namespace): Change op to int.  Add cast.
 175         * interface.c (gfc_check_interfaces): Change i to int.  Add casts.
 176         * module.c (read_module): Change i to int.  Add cast.
 177         (write_module): Change i to int.
 178         * symbol.c (gfc_get_namespace): Change in to int.
 179         (gfc_free_namespace): Change i to int.
 180         * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
 181         unsigned int.  Add cast.
 182         * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
 183         Add casts.
 184
 185 2009-05-14  Daniel Kraft  <d@domob.eu>
 186
 187         PR fortran/40045
 188         * dump-parse-tree.c (show_typebound): Fix missing adaption to new
 189         type-bound procedure storage structure.
 190
 191 2009-05-14  Janus Weil  <janus@gcc.gnu.org>
 192
 193         PR fortran/39996
 194         * decl.c (gfc_match_function_decl): Use gfc_add_type.
 195         * symbol.c (gfc_add_type): Better checking for duplicate types in
 196         function declarations. And: Always give an error for duplicte types,
 197         not just a warning with -std=gnu.
 198
 199 2009-05-14  Jakub Jelinek  <jakub@redhat.com>
 200
 201         PR fortran/39865
 202         * io.c (resolve_tag_format): CHARACTER array in FMT= argument
 203         isn't an extension.  Reject non-CHARACTER array element of
 204         assumed shape or pointer or assumed size array.
 205         * trans-array.c (array_parameter_size): New function.
 206         (gfc_conv_array_parameter): Add size argument.  Call
 207         array_parameter_size if it is non-NULL.
 208         * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
 209         * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
 210         Adjust callers.
 211         * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
 212         * trans-io.c (gfc_convert_array_to_string): Rewritten.
 213
 214 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
 215
 216         * gfortran.h (gfc_code): Rename struct member expr to expr1.
 217         * openmp.c (resolve_omp_atomic): Update expr to expr1.
 218         * interface.c (gfc_extend_assign): Ditto.
 219         * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
 220         gfc_trans_init_assign): Ditto.
 221         * dump-parse-tree.c (show_code_node): Ditto.
 222         * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
 223         * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
 224         gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
 225         gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
 226         gfc_trans_logical_select, gfc_trans_character_select
 227         forall_make_variable_temp, check_forall_dependencies
 228         gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
 229         gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
 230         * io.c (match_io_element, gfc_match_inquire): Ditto.
 231         * resolve.c (resolve_typebound_call, resolve_ppc_call,
 232         resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
 233         resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
 234         gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
 235         * st.c (gfc_free_statement): Ditto.
 236         * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
 237         match_arithmetic_if, gfc_match_if, gfc_match_elseif
 238         gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
 239         gfc_match_nullify, match_typebound_call, gfc_match_call
 240         gfc_match_select, match_simple_where, gfc_match_where
 241         gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
 242         * trans-io.c (gfc_trans_transfer): Ditto.
 243         * parse.c (parse_where_block, parse_if_block): Ditto.
 244
 245 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
 246
 247         * gfortran.h (gfc_code): Rename struct member label to label1.
 248         * dump-parse-tree.c (show_code_node): Update symbol.
 249         * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
 250         gfc_trans_arithmetic_if): Ditto.
 251         * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
 252         * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
 253         gfc_match_assign, gfc_match_goto): Ditto.
 254         * parse.c (parse_do_block): Ditto.
 255
 256 2009-05-13  Tobias Burnus  <burnus@net-b.de>
 257
 258         PR fortran/34153
 259         * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
 260         * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
 261         * trans.c (gfc_trans_code): Ditto.
 262         * resolve.c (resolve_code): Ditto.
 263         * st.c (gfc_free_statement): Ditto.
 264         * parse.c (accept_statement): Ditto.
 265
 266 2009-05-12  Tobias Burnus  <burnus@net-b.de>
 267
 268         PR fortran/40110
 269         * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
 270
 271 2009-05-11  Steve Ellcey  <sje@cup.hp.com>
 272
 273         * resolve.c (check_host_association): Initialize tail.
 274
 275 2009-05-11  Janus Weil  <janus@gcc.gnu.org>
 276
 277         PR fortran/40089
 278         * resolve.c (resolve_fl_derived): Only return FAILURE if
 279         gfc_notify_std fails.
 280
 281 2009-05-10  Ian Lance Taylor  <iant@google.com>
 282
 283         * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
 284         gfc_omp_clauses.
 285         (enum gfc_omp_default_sharing): Likewise.
 286         * module.c (enum gfc_rsym_state): New enum, broken out of
 287         pointer_info.
 288         (enum gfc_wsym_state): Likewise.
 289         * parse.c (enum state_order): New enum, broken out of st_state.
 290
 291 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
 292
 293         PR fortran/40018
 294         * trans-array.c (gfc_trans_array_constructor_value): Fold
 295         convert numeric constants.
 296         (gfc_build_constant_array_constructor): The same.
 297
 298 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
 299
 300         PR fortran/38863
 301         * trans-expr.c (gfc_conv_operator_assign): Remove function.
 302         * trans.h : Remove prototype for gfc_conv_operator_assign.
 303         * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
 304         derivde types with intent(out).
 305         (gfc_trans_call): Add mask, count1 and invert arguments. Add
 306         code to use mask for WHERE assignments.
 307         (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
 308         (gfc_trans_where_assign): The gfc_symbol argument is replaced
 309         by the corresponding code. If this has a resolved_sym, then
 310         gfc_trans_call is called. The call to gfc_conv_operator_assign
 311         is removed.
 312         (gfc_trans_where_2): Change the last argument in the call to
 313         gfc_trans_where_assign.
 314         * trans-stmt.h : Modify prototype for gfc_trans_call.
 315         * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
 316
 317 2009-05-08  Janus Weil  <janus@gcc.gnu.org>
 318
 319         PR fortran/39876
 320         * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
 321         the symbol is a module procedure.
 322
 323 2009-05-08  Tobias Burnus  <burnus@net-b.de>
 324
 325         * invoke.texi: Add do/recursion to the -fcheck= summary.
 326
 327 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 328
 329         PR fortran/38830
 330         * gfortran.texi: Document that we don't support variable FORMAT
 331         expressions.
 332
 333 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 334
 335         PR fortran/39576
 336         * error.c (error_print): Add missing break statement.
 337
 338 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 339
 340         PR fortran/36382
 341         * invoke.texi: Document that -fdollar-ok does not allow $ to be
 342         used in IMPLICIT statement.
 343
 344 2009-05-06  Janus Weil  <janus@gcc.gnu.org>
 345             Paul Thomas  <pault@gcc.gnu.org>
 346
 347         PR fortran/39630
 348         * decl.c (match_procedure_interface): New function to match the
 349         interface for a PROCEDURE statement.
 350         (match_procedure_decl): Call match_procedure_interface.
 351         (match_ppc_decl): New function to match the declaration of a
 352         procedure pointer component.
 353         (gfc_match_procedure):  Call match_ppc_decl.
 354         (match_binding_attributes): Add new argument 'ppc' and handle the
 355         POINTER attribute for procedure pointer components.
 356         (match_procedure_in_type,gfc_match_generic): Added new argument to
 357         match_binding_attributes.
 358         * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
 359         procedure pointer components.
 360         * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
 361         (gfc_check_pointer_assign): Handle procedure pointer components, but no
 362         full checking yet.
 363         (is_proc_ptr_comp): New function to determine if an expression is a
 364         procedure pointer component.
 365         * gfortran.h (expr_t): Add EXPR_PPC.
 366         (symbol_attribute): Add new member 'proc_pointer_comp'.
 367         (gfc_component): Add new member 'formal'.
 368         (gfc_exec_op): Add EXEC_CALL_PPC.
 369         (gfc_get_default_type): Changed first argument.
 370         (is_proc_ptr_comp): Add prototype.
 371         (gfc_match_varspec): Add new argument.
 372         * interface.c (compare_actual_formal): Handle procedure pointer
 373         components.
 374         * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
 375         procedure pointer components.
 376         * module.c (mio_expr): Handle EXPR_PPC.
 377         * parse.c (parse_derived): Handle procedure pointer components.
 378         * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
 379         procedure pointer components.
 380         (gfc_variable_attr): Handle procedure pointer components.
 381         (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
 382         first argument of gfc_get_default_type.
 383         (match_variable): Added new argument to gfc_match_varspec.
 384         * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
 385         first argument of gfc_get_default_type.
 386         (resolve_structure_cons,resolve_actual_arglist): Handle procedure
 387         pointer components.
 388         (resolve_ppc_call): New function to resolve a call to a procedure
 389         pointer component (subroutine).
 390         (resolve_expr_ppc): New function to resolve a call to a procedure
 391         pointer component (function).
 392         (gfc_resolve_expr): Handle EXPR_PPC.
 393         (resolve_code): Handle EXEC_CALL_PPC.
 394         (resolve_fl_derived): Copy the interface for a procedure pointer
 395         component.
 396         (resolve_symbol): Fix overlong line.
 397         * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
 398         * symbol.c (gfc_get_default_type): Changed first argument.
 399         (gfc_set_default_type): Changed first argument of gfc_get_default_type.
 400         (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
 401         * trans.h (gfc_conv_function_call): Renamed.
 402         * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
 403         * trans-expr.c (gfc_conv_component_ref): Ditto.
 404         (gfc_conv_function_val): Rename to 'conv_function_val', add new
 405         argument 'expr' and handle procedure pointer components.
 406         (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
 407         (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
 408         (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
 409         argument 'expr' and handle procedure pointer components.
 410         (gfc_get_proc_ptr_comp): New function to get the backend decl for a
 411         procedure pointer component.
 412         (gfc_conv_function_expr): Renamed gfc_conv_function_call.
 413         (gfc_conv_structure): Handle procedure pointer components.
 414         * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
 415         conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
 416         * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
 417         * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
 418         * trans-types.h (gfc_get_ppc_type): Add prototype.
 419         * trans-types.c (gfc_get_ppc_type): New function to build a tree node
 420         for a procedure pointer component.
 421         (gfc_get_derived_type): Handle procedure pointer components.
 422
 423 2009-05-06  Tobias Burnus  <burnus@net-b.de>
 424
 425         PR fortran/40041
 426         * resolve.c (resolve_symbol): Print no warning for implicitly
 427         typed intrinsic functions.
 428
 429 2009-05-05  Janus Weil  <janus@gcc.gnu.org>
 430
 431         PR fortran/39998
 432         * expr.c (gfc_check_pointer_assign): Check for statement functions and
 433         internal procedures in procedure pointer assignments.
 434
 435 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
 436
 437         PR fortran/39946
 438         * resolve.c (resolve_symbol): Correctly copy the interface of a
 439         PROCEDURE statement if the interface involves a RESULT variable.
 440
 441 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
 442
 443         PR fortran/39930
 444         PR fortran/39931
 445         * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
 446         side is a pointer.
 447         * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
 448
 449 2009-04-28  Paul Thomas  <pault@gcc.gnu.org>
 450
 451         PR fortran/39879
 452         * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
 453         type parentheses argument if it is a variable with allocatable
 454         components.
 455
 456 2009-04-27  Ian Lance Taylor  <iant@google.com>
 457
 458         * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
 459         type.
 460         * trans-io.c (st_parameter_field): Add casts to enum type.
 461
 462 2009-04-26  Steven G. Kargl  <kargl@gcc.gnu.org>
 463
 464         PR fortran/39893
 465         fortran/data.c (gfc_assign_data_value): If the lvalue is an
 466         assumed character length entity in a data statement, then
 467         return FAILURE to prevent segmentation fault.
 468
 469 2009-04-26  Jakub Jelinek  <jakub@redhat.com>
 470
 471         * trans-decl.c: Include pointer-set.h.
 472         (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
 473         (gfc_nonlocal_dummy_array_decl): New function.
 474         (gfc_get_symbol_decl): Call it for non-local dummy args with saved
 475         descriptor.
 476         (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
 477         (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
 478         chain it to outermost block's vars, destroy it afterwards.
 479         * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
 480
 481 2009-04-25  Janus Weil  <janus@gcc.gnu.org>
 482
 483         PR fortran/39688
 484         * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
 485         They differ if the symbol has been use-renamed.
 486
 487 2009-04-24  Ian Lance Taylor  <iant@google.com>
 488
 489         * gfortran.h (enum gfc_symbol_type): New named enum type, broken
 490         out of struct gfc_symbol.
 491         (struct gfc_symbol): Use enum gfc_symbol_type.
 492         (enum gfc_array_ref_dimen_type): New named enum type, broken out
 493         of struct gfc_array_ref).
 494         (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
 495         (mod_pointee_as): Update declaration.
 496         * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
 497         (gfc_mod_pointee_as): Change return type to "match".
 498         * module.c (mio_array_ref): Add cast to enum type.
 499         (mio_symbol): Likewise.
 500         * resolve.c (resolve_global_procedure): Change type to enum
 501         gfc_symbol_type.
 502         * trans-io.c (gfc_build_st_parameter): Change type to unsigned
 503         int.
 504
 505 2009-04-24  Daniel Kraft  <d@domob.eu>
 506
 507         * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
 508         (struct gfc_symtree): Moved "typebound" member inside union.
 509         (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
 510         type-bound procedures there.
 511         (gfc_get_tbp_symtree): New procedure.
 512         * symbol.c (tentative_tbp_list): New global.
 513         (gfc_get_namespace): NULL new "tb_sym_root" member.
 514         (gfc_new_symtree): Removed initialization of "typebound" member.
 515         (gfc_undo_symbols): Process list of tentative tbp's.
 516         (gfc_commit_symbols): Ditto.
 517         (free_tb_tree): New method.
 518         (gfc_free_namespace): Call it.
 519         (gfc_get_typebound_proc): New method.
 520         (gfc_get_tbp_symtree): New method.
 521         (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
 522         and gfc_namespace with regards to tbp's.
 523         * dump-parse-tree.c (show_typebound): Ditto.
 524         * primary.c (gfc_match_varspec): Ditto.  Don't reference tbp-symbol
 525         as it isn't a symbol any longer.
 526         * module.c (mio_typebound_symtree): Adapt to changes.
 527         (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
 528         rather than "gfc_get_sym_tree".
 529         (mio_f2k_derived): Ditto.
 530         * decl.c (match_procedure_in_type): Ditto.
 531         (gfc_match_generic): Ditto.  Don't reference tbp-symbol.
 532         * resolve.c (check_typebound_override): Adapt to changes.
 533         (resolve_typebound_generic): Ditto.
 534         (resolve_typebound_procedures): Ditto.
 535         (ensure_not_abstract_walker): Ditto.
 536         (ensure_not_abstract): Ditto.
 537         (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
 538         instance, through removed tentative ones).
 539         * gfc-internals.texi (Type-bound procedures): Document changes.
 540
 541 2009-04-24  Janus Weil  <janus@gcc.gnu.org>
 542
 543         PR fortran/39861
 544         PR fortran/39864
 545         * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
 546         for the formal arguments.
 547
 548 2009-04-21  Taras Glek <tglek@mozilla.com>
 549
 550         * f95-lang.c: Update GTY annotations to new syntax.
 551         * trans-intrinsic.c: Likewise.
 552         * trans-io.c: Likewise.
 553         * trans.h: Likewise.
 554
 555 2009-04-22  Janus Weil  <janus@gcc.gnu.org>
 556
 557         PR fortran/39735
 558         * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
 559         (match_procedure_decl): Set if_source.
 560         * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
 561         And: Check interface also for IFSRC_UNKNOWN (return type may be known).
 562         * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
 563         add documentation. Rename copy_formal_args and copy_formal_args_intr.
 564         * interface.c (gfc_compare_interfaces): Check for return types,
 565         handle IFSRC_UNKNOWN.
 566         (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
 567         (gfc_procedure_use): Modified handling of intrinsics.
 568         * intrinsic.c (add_functions): Bugfix for "dim".
 569         * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
 570         which copies the interface from isym to sym.
 571         (resolve_procedure_expression,resolve_function): Use new function
 572         'resolve_intrinsic'.
 573         (resolve_symbol): Add function attribute for externals with return type
 574         and use new function 'resolve_intrinsic'.
 575         * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
 576         (copy_formal_args): Renamed to gfc_copy_formal_args.
 577         (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
 578         * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
 579
 580 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
 581
 582         * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
 583         ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
 584         ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
 585         copyright and license notices.
 586         * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
 587         ChangeLog-2008: Correct dates.
 588
 589 2009-04-20  Tobias Burnus  <burnus@net-b.de>
 590
 591         PR fortran/39811
 592         * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
 593
 594 2009-04-20  Paul Thomas  <pault@gcc.gnu.org>
 595
 596         PR fortran/39800
 597         * resolve.c (is_sym_host_assoc): New function.
 598         (resolve_fl_derived): Call it when checking PRIVATE components
 599         of PUBLIC derived types.  Change gfc_error to a gfc_notify_std
 600         with std=f2003.
 601         (resolve_fl_namelist): Call it twice to check for host
 602         association.
 603
 604 2009-04-20  Ian Lance Taylor  <iant@google.com>
 605
 606         * module.c (import_iso_c_binding_module): Add casts to enum type.
 607         * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
 608         tree_code.
 609         (gfc_conv_intrinsic_anyall): Likewise.
 610         (gfc_conv_intrinsic_arith): Likewise.
 611         (gfc_conv_intrinsic_minmaxloc): Likewise.
 612         (gfc_conv_intrinsic_minmaxval): Likewise.
 613         (gfc_conv_intrinsic_bitop): Likewise.
 614         (gfc_conv_intrinsic_singlebitop): Likewise.
 615         (gfc_conv_intrinsic_strcmp): Likewise.
 616
 617 2009-04-20  Vasilis Liaskovitis  <vliaskov@gmail.com>
 618             Jakub Jelinek  <jakub@redhat.com>
 619
 620         PR fortran/35423
 621         * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
 622         OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
 623         (ompws_flags): New extern decl.
 624         * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
 625         for the outer dimension if ompws_flags allow it.
 626         * trans.c (gfc_generate_code): Clear ompws_flags.
 627         * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
 628         array assignments inside of !$omp workshare.
 629         * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
 630         and constructs.
 631         * trans-openmp.c (ompws_flags): New variable.
 632         (gfc_trans_omp_workshare): Rewritten.
 633
 634 2009-04-11  Daniel Kraft  <d@domob.eu>
 635
 636         PR fortran/37746
 637         * gfortran.h (struct gfc_charlen): New field "passed_length" to store
 638         the actual passed string length for dummy arguments.
 639         * trans-decl.c (gfc_create_string_length): Formatting fixes and added
 640         assertion, moved a local variable into the innermost block it is needed.
 641         (create_function_arglist): Removed TODO about the check being
 642         implemented and initialize cl->passed_length here.
 643         (add_argument_checking): New method.
 644         (gfc_generate_function_code): Call the argument checking method.
 645
 646 2009-04-11  Janus Weil  <janus@gcc.gnu.org>
 647
 648         PR fortran/39692
 649         * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
 650
 651 2009-04-11  Daniel Franke  <franke.daniel@gmail.com>
 652
 653         * resolve.c (resolve_global_procedure): Enable whole-file checking for
 654         procedures that are declared later in the file.
 655
 656 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
 657
 658         PR middle-end/39701
 659         * trans.c (gfc_allocate_with_status): Fix type mismatches
 660         on "pstat == 0".
 661
 662 2009-04-10  Daniel Franke  <franke.daniel@gmail.com>
 663
 664         PR fortran/38709
 665         * expr.c (find_array_section): Leave early on zero-sized arrays.
 666
 667 2009-04-09  Janus Weil  <janus@gcc.gnu.org>
 668
 669         PR fortran/36704
 670         * decl.c (add_hidden_procptr_result): New function for handling
 671         procedure pointer return values by adding a hidden result variable.
 672         (variable_decl,match_procedure_decl,gfc_match_function_decl,
 673         gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
 674         return values.
 675         * parse.c (parse_interface): Add EXTERNAL attribute only after
 676         FUNCTION/SUBROUTINE declaration is complete.
 677         * primary.c (replace_hidden_procptr_result): New function for replacing
 678         function symbol by hidden result variable.
 679         (gfc_match_rvalue,match_variable): Replace symbol by hidden result
 680         variable.
 681         * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
 682         resolve_symbol): Allow for procedure pointer function results.
 683         (resolve_fl_procedure): Conflict detection moved here from
 684         'check_conflict'.
 685         * symbol.c (gfc_check_function_type): Allow for procedure pointer
 686         function results.
 687         (check_conflict): Move some conflict detection to resolution stage.
 688         * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
 689         result variables.
 690
 691 2009-04-08  Jakub Jelinek  <jakub@redhat.com>
 692
 693         * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
 694         contain TYPE_STRING_FLAG types.
 695
 696 2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>
 697
 698         PR fortran/39670
 699         * invoke.texi (fdollar-ok): Fix typo.
 700
 701 2009-04-08  Daniel Franke  <franke.daniel@gmail.com>
 702
 703         PR fortran/39670
 704         * invoke.texi (fdollar-ok): Clarify limitations.
 705
 706 2009-04-08  Paul Thomas  <pault@gcc.gnu.org>
 707
 708         PR fortran/38863
 709         * trans-array.c (gfc_trans_deferred_array): Return if this
 710         is a result variable.
 711
 712 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
 713
 714         PR fortran/38152
 715         * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
 716         procedure pointer decls.
 717
 718 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
 719
 720         PR fortran/38290
 721         * expr.c (gfc_check_pointer_assign): Enable interface check for
 722         procedure pointers.
 723         * gfortran.h: Add copy_formal_args_intr.
 724         * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
 725         if second argument is an intrinsic.
 726         (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
 727         and ts.
 728         (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
 729         * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
 730         intrinsic interfaces here. Must happen earlier.
 731         (resolve_symbol): Resolution of intrinsic interfaces moved here from
 732         resolve_specific_..., and formal args are now copied from intrinsic
 733         interfaces.
 734         * symbol.c (copy_formal_args_intr): New function to copy the formal
 735         arguments from an intinsic procedure.
 736
 737 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
 738
 739         PR fortran/38863
 740         * dependency.c (ref_same_as_full_array): New function.
 741         (gfc_dep_resolver): Call it.
 742
 743 2009-04-06  Janus Weil  <janus@gcc.gnu.org>
 744
 745         PR fortran/39414
 746         * decl.c (match_procedure_decl): Fix double declaration problems with
 747         PROCEDURE statements.
 748         * symbol.c (gfc_add_type): Ditto.
 749
 750 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
 751
 752         PR fortran/36091
 753         * trans-array.c (gfc_conv_array_ref): If the symbol has the
 754         temporary attribute use the array_spec for the bounds.
 755         * gfortran.h : Add the temporary field to the structure
 756         'symbol_attribute'.
 757         * trans-stmt.c (forall_make_variable_temp): Set the symbol's
 758         temporary attribute.
 759
 760 2009-04-05  Daniel Franke  <franke.daniel@gmail.com>
 761
 762         PR fortran/29458
 763         * trans-array.c (gfc_trans_array_constructor_value): Shadow
 764         implied do-loop variable to avoid spurious middle-end warnings.
 765
 766 2009-04-04  Tobias Burnus  <burnus@net-b.de>
 767
 768         PR fortran/39577
 769         * trans-decl.c (gfc_generate_function_code): Move recursive
 770         check to the right position.
 771
 772 2009-04-04  Paul Thomas  <pault@gcc.gnu.org>
 773
 774         PR fortran/37614
 775         * trans-common.c (translate_common): Do not offset the whole
 776         coomon block.
 777
 778 2009-04-03  Tobias Burnus  <burnus@net-b.de>
 779
 780         PR fortran/39594
 781         * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
 782         if it is not a procedure pointer.
 783         * primary.c (match_actual_arg): Ditto.
 784
 785 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
 786
 787         PR preprocessor/15638
 788         * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
 789
 790 2009-03-30  Steven G. Kargl  <kargls@comcast.net>
 791
 792         PR fortran/38389
 793         * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
 794         (gfc_trans_deallocate): Add translation of ERRMSG.  Remove stale
 795         comments.  Minor whitespace cleanup.
 796         * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
 797         (resolve_deallocate_expr (gfc_expr *e): Update error message.
 798         (resolve_allocate_expr):  Remove dead code.  Update error message.
 799         Move error checking to ...
 800         (resolve_allocate_deallocate): ... here.  Add additional error
 801         checking for STAT, ERRMSG, and allocate-objects.
 802         * match.c(gfc_match_allocate,gfc_match_deallocate):  Parse ERRMSG.
 803         Check for redundant uses of STAT and ERRMSG.  Reword error message
 804         and add checking for pointer, allocatable, and proc_pointer attributes.
 805
 806 2009-03-30  Paul Thomas  <pault@gcc.gnu.org>
 807
 808         PR fortran/22571
 809         PR fortran/26227
 810         PR fortran/24886
 811         * symbol.c : Add gfc_global_ns_list.
 812         * decl.c (add_global_entry): Set the namespace ('ns') field.
 813         * gfortran.h : Add the resolved field to gfc_namespace. Add the
 814         namespace ('ns') field to gfc_gsymbol.  Add flag_whole_file to
 815         gfc_option_t.  Add the prototype for gfc_free_dt_list.
 816         * lang.opt : Add the whole-file option.
 817         * invoke.texi : Document the whole-file option.
 818         * resolve.c (resolve_global_procedure): If the fwhole-file
 819         option is set, reorder gsymbols to ensure that translation is
 820         in the right order.  Resolve the gsymbol's namespace if that
 821         has not occurred and then check interfaces.
 822         (resolve_function): Move call to resolve_global_procedure.
 823         (resolve_call): The same.
 824         (resolve_codes): Store the current labels_obstack.
 825         (gfc_resolve) : Return if the namespace is already resolved.
 826         trans-decl.c (gfc_get_extern_function_decl): If the whole_file
 827         option is selected, use the backend_decl of a gsymbol, if it is
 828         available.
 829         parse.c (add_global_procedure, add_global_program): If the flag
 830         whole-file is set, add the namespace to the gsymbol.
 831         (gfc_parse_file): On -fwhole-file, put procedure namespaces on
 832         the global namespace list.  Rearrange to do resolution of all
 833         the procedures in a file, followed by their translation.
 834         * options.c (gfc_init_options): Add -fwhole-file.
 835         (gfc_handle_option): The same.
 836
 837 2009-03-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 838
 839         * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
 840         family of intrinsics instead of BUILT_IN_INF family.
 841         * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
 842         BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
 843
 844 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
 845
 846         * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
 847         sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
 848
 849 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
 850
 851         PR rtl-optimization/323
 852         * options.c (gfc_post_options): Set
 853         flag_excess_precision_cmdline.  Give an error for
 854         -fexcess-precision=standard for processors where the option is
 855         significant.
 856
 857 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
 858
 859         PR preprocessor/34695
 860         * cpp.c (cb_cpp_error): New.
 861         (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
 862         Don't check cpp_errors (cpp_in).
 863         (gfc_cpp_init_0): Set cb->error.
 864
 865 2009-03-29  Steven G. Kargl  <kargl@gcc.gnu.org>
 866
 867         PR fortran/38823
 868         * gfortran.h: Add ARITH_PROHIBIT to arith enum.
 869         expr.c (gfc_match_init_expr): Add global variable init_flag to
 870         flag matching an initialization expression.
 871         (check_intrinsic_op): Move no longer reachable error message to ...
 872         * arith.c (arith_power): ... here.  Remove gfc_ prefix in
 873         gfc_arith_power.  Use init_flag.  Allow constant folding of x**y
 874         when y is REAL or COMPLEX.
 875         (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
 876         for constant folding.
 877         * gfc_power: Update gfc_arith_power to arith_power
 878
 879 2009-03-29  Daniel Kraft  <d@domob.eu>
 880
 881         PR fortran/37423
 882         * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
 883         added a comment explaining DEFERRED binding handling.
 884         * decl.c (match_binding_attributes): Really match DEFERRED attribute.
 885         (match_procedure_in_type): Really match PROCEDURE(interface) syntax
 886         and do some validity checks for DEFERRED and this construct.
 887         * module.c (binding_overriding): New string constant for DEFERRED.
 888         (mio_typebound_proc): Module-IO DEFERRED flag.
 889         * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
 890         binding is not overridden by a DEFERRED one.
 891         (resolve_typebound_procedure): Allow abstract interfaces as targets
 892         for DEFERRED bindings.
 893         (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
 894         (resolve_fl_derived): Use new "ensure_not_abstract" method for
 895         non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
 896         binding is overridden.
 897         (check_typebound_baseobject): New method.
 898         (resolve_compcall), (resolve_typebound_call): Check base-object of
 899         the type-bound procedure call.
 900         * gfc-internals.texi (Type-bound procedures): Document a little bit
 901         about internal handling of DEFERRED bindings.
 902
 903 2009-03-29  Tobias Schlueter  <tobi@gcc.gnu.org>
 904
 905         PR fortran/38507
 906         * gfortran.h (gfc_st_label): Fix comment.
 907         (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
 908         * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
 909         END SELECT with labels.
 910         (check_do_closure): Fix formatting.
 911         (parse_do_block): Fix typo in error message.
 912         * resolve.c (code_stack): Remove tail member.  Update comment to
 913         new use of reachable_labels.
 914         (reachable_labels): Rename to ...
 915         (find_reachable_labels): ... this.  Overhaul.  Update preceding
 916         comment.
 917         (resolve_branch): Fix comment preceding function.  Rewrite.
 918         (resolve_code): Update call to find_reachable_labels.  Add code to
 919         deal with EXEC_END_BLOCK.
 920         * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
 921         Add 2009 to copyright years.
 922         * trans.c (gfc_trans_code): Likewise on both counts.
 923
 924 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
 925
 926         PR fortran/38917
 927         * expr.c (gfc_check_assign): Allow pointer components when
 928         checking for NULL.
 929
 930         PR fortran/38918
 931         * resolve.c (check_data_variable): Treat pointer arrays with
 932         scalars.
 933
 934 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
 935
 936         PR fortran/38915
 937         * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
 938         have a string_length.
 939
 940 2009-03-28  Tobias Burnus  <burnus@net-b.de>
 941
 942         PR fortran/34656
 943         * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
 944         Add GFC_RTCHECK_DO support.
 945         * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
 946         * invoke.texi (-fcheck): Document "do" option.
 947
 948 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
 949
 950         PR fortran/38538
 951         * trans-array.c (get_elemental_fcn_charlen): Remove.
 952         (get_array_charlen): New function to replace previous.
 953
 954 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
 955
 956         PR fortran/38765
 957         * parse.c (parse_derived): Do not break on finding pointer,
 958         allocatable or private components.
 959
 960 2009-03-28  Tobias Burnus  <burnus@net-b.de>
 961
 962         PR fortran/32626
 963         * option.c (gfc_handle_runtime_check_option): Enable recursion check.
 964         * trans-decl.c (gfc_generate_function_code): Add recursion check.
 965         * invoke.texi (-fcheck): Add recursive option.
 966
 967 2009-03-28  Tobias Burnus  <burnus@net-b.de>
 968
 969         PR fortran/38432
 970         * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
 971
 972 2009-03-28  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 973             Paul Thomas  <pault@gcc.gnu.org>
 974             Tobias Burnus  <burnus@net-b.de>
 975
 976         * gfortran.h (gfc_option_t): Add rtcheck.
 977         * lang.opt: New option -fcheck.
 978         * libgfortran.h: Add GFC_RTCHECK_* constants.
 979         * invoke.texi: Document -fcheck.
 980         * options.c (gfc_handle_runtime_check_option): New function.
 981         (gfc_init_options,gfc_post_options,gfc_handle_option):
 982         Add -fcheck option.
 983
 984 2009-03-27  Richard Guenther  <rguenther@suse.de>
 985
 986         * trans-array.c (gfc_conv_descriptor_data_addr): Use
 987         gfc_build_addr_expr instead of build_fold_addr_expr.
 988         (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
 989         gfc_trans_constant_array_constructor, gfc_conv_array_data,
 990         gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
 991         * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
 992         gfc_conv_function_val, gfc_conv_operator_assign,
 993         gfc_conv_subref_array_arg, gfc_conv_function_call,
 994         gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
 995         * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
 996         gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
 997         gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
 998         gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
 999         gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
1000         gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
1001         gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
1002         * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
1003         gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
1004         build_filepos, gfc_trans_inquire, gfc_trans_wait,
1005         nml_get_addr_expr, transfer_namelist_element, build_dt,
1006         gfc_trans_dt_end, transfer_array_component, transfer_expr,
1007         transfer_array_desc, gfc_trans_transfer): Likewise.
1008         * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
1009         * trans.c (gfc_build_addr_expr): Mark the base of the address
1010         TREE_ADDRESSABLE.
1011
1012 2009-03-27  Tobias Burnus  <burnus@net-b.de>
1013
1014         * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
1015         (gfc_expr): Add is_snan.
1016         * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
1017         (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
1018         * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
1019         * resolve.c (build_default_init_expr): Update call.
1020         * target-memory.c (encode_float): Ditto.
1021         * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
1022
1023 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1024
1025         * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
1026         and -fpreprocessed.
1027
1028 2009-03-06  Alexandre Oliva <aoliva@redhat.com>
1029
1030         * simplify.c (gfc_simplify_transfer): Zero-initialize the
1031         buffer.
1032
1033 2009-02-27  Tobias Burnus  <burnus@net-b.de>
1034
1035         PR fortran/39309
1036         * module.c (read_md5_from_module_file): Add missing quote.
1037
1038 2009-02-27  Tobias Burnus  <burnus@net-b.de>
1039
1040         PR fortran/39309
1041         * module.c (read_md5_from_module_file): Include mod version
1042         in had-changed test.
1043
1044 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
1045
1046         PR fortran/39295
1047         * interface.c (compare_type_rank_if): Return 1 if the symbols
1048         are the same and deal with external procedures where one is
1049         identified to be a function or subroutine by usage but the
1050         other is not.
1051
1052 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
1053
1054         PR fortran/39292
1055         * trans-array.c (gfc_conv_array_initializer): Convert all
1056         expressions rather than ICEing.
1057
1058 2009-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
1059
1060         PR fortran/38914
1061         * array.c (ref_dimen_size):  Rename to gfc_ref_dimen_size,
1062         make global.  Change function name in error messages.
1063         (ref_size):  Change ref_dimen_size to gfc_ref_dimen_size.
1064         (gfc_array_ref_shape):  Likewise.
1065         * gfortran.h:  Add prototype for gfc_ref_dimen_size.
1066         * simplify.c (simplify_bound_dim):  Add ref argument.
1067         If the reference isn't a full array, return one for
1068         the lower bound and the extent for the upper bound.
1069         (simplify_bound):  For array sections, take as from the
1070         argument.  Add reference to all to simplify_bound_dim.
1071
1072 2009-02-19  Daniel Franke  <franke.daniel@gmail.com>
1073
1074         * scanner.c (load_line): At end of line, skip '\r' without setting
1075         the truncation flag.
1076
1077 2009-02-18  Daniel Kraft  <d@domob.eu>
1078
1079         * gfortran.texi: New chapter about compiler characteristics.
1080         (Compiler Characteristics): Document KIND type parameters here.
1081
1082 2009-02-18  Tobias Burnus  <burnus@net-b.de>
1083
1084         * intrinsic.texi (MALLOC): Make example more portable.
1085
1086 2009-02-13  Mikael Morin  <mikael.morin@tele2.fr>
1087
1088         PR fortran/38259
1089         * module.c (gfc_dump_module,gfc_use_module): Add module
1090         version number.
1091
1092 2009-02-13  Paul Thomas  <pault@gcc.gnu.org>
1093
1094         PR fortran/36703
1095         PR fortran/36528
1096         * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
1097         function references to ensure that a valid expression is used.
1098         (gfc_conv_function_call): Pass Cray pointers to procedures.
1099
1100 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1101
1102         * gfortranspec.c (lang_specific_driver): Update copyright notice
1103         dates.
1104
1105 2009-01-28  Paul Thomas  <pault@gcc.gnu.org>
1106
1107         PR fortran/38852
1108         PR fortran/39006
1109         * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
1110         descriptor ubound for UBOUND, when the array lbound == 1.
1111
1112 2009-01-27  Daniel Kraft  <d@domob.eu>
1113
1114         PR fortran/38883
1115         * trans-stmt.c (gfc_conv_elemental_dependencies):  Create temporary
1116         for the real type needed to make it work for subcomponent-references.
1117
1118 2009-01-21  Daniel Kraft  <d@domob.eu>
1119
1120         * trans-stmt.c (gfc_conv_elemental_dependencies):  Cleaned up comment.
1121
1122 2009-01-20  Paul Thomas  <pault@gcc.gnu.org>
1123
1124         PR fortran/38907
1125         * resolve.c (check_host_association): Remove the matching to
1126         correct an incorrect host association and use manipulation of
1127         the expression instead.
1128
1129 2009-01-20  Tobias Burnus  <burnus@net-b.de>
1130
1131         * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
1132
1133 2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
1134
1135         PR fortran/38859
1136         * simplify.c (simplify_bound): Don't use array specification
1137         if variable or component has subsequent references.
1138
1139 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1140
1141         PR fortran/38657
1142         * module.c (write_common_0): Add argument 'this_module' and
1143         check that non-use associated common blocks are written first.
1144         (write_common): Call write_common_0 twice, once with true and
1145         then with false.
1146
1147 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1148
1149         PR fortran/34955
1150         * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
1151         been absorbed into gfc_conv_intrinsic_transfer. All
1152         references to it in trans-intrinsic.c have been changed
1153         accordingly.  PR fixed by using a temporary for scalar
1154         character transfer, when the source is shorter than the
1155         destination.
1156
1157 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1158
1159         PR fortran/38657
1160         * module.c (write_common_0): Revert patch of 2009-01-05.
1161
1162 2009-01-16  Janus Weil  <janus@gcc.gnu.org>
1163
1164         PR fortran/38152
1165         * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
1166         pointers as lvalue.
1167         * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
1168         Enable procedure pointers as module variables.
1169
1170 2009-01-14  Steven G. Kargl  <kargl@gcc.gnu.org>
1171
1172         * ChangeLog-2007: Clean out svn merge droppings.
1173
1174 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
1175
1176         PR fortran/38763
1177         * target-memory.c (encode_derived): Encode NULL.
1178
1179 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
1180
1181         PR fortran/38765
1182         * resolve.c (check_host_association): Use the symtree name to
1183         search for a potential contained procedure, since this is the
1184         name by which it would be referenced.
1185
1186 2009-01-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
1187
1188         PR fortran/38220
1189         * interface.c (gfc_procedure_use):  Don't warn about functions
1190         from ISO_C_BINDING.
1191         * symbol.c (generate_isocbinding_symbol):  Mark c_loc and
1192         c_funloc as pure.
1193
1194 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
1195
1196         PR fortran/38657
1197         * module.c (write_common_0): Use the name of the symtree rather
1198         than the common block, to determine if the common has been
1199         written.
1200
1201 2009-01-05  Daniel Franke  <franke.daniel@gmail.com>
1202
1203         PR fortran/37159
1204         * check.c (gfc_check_random_seed): Added size check for GET
1205         dummy argument, reworded error messages to follow common pattern.
1206
1207 2009-01-05  Thomas Koenig  <tkoenig@gcc.gnu.org>
1208
1209         PR fortran/38672
1210         * trans-types.c (gfc_get_derived_type):  Check for the
1211         presence of derived->ns->proc_name before
1212         accessing derived->ns->proc_name->attr.flavor .
1213         * resolve.c (resolve_symbol):  Likewise.
1214
1215 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
1216
1217         PR fortran/38665
1218         * gfortran.h : Add bit to gfc_expr 'user_operator'
1219         * interface.c (gfc_extend_expr): Set the above if the operator
1220         is substituted by a function.
1221         * resolve.c (check_host_association): Return if above is set.
1222
1223 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
1224
1225         PR fortran/35681
1226         * ChangeLog-2008: Fix function name.
1227
1228         PR fortran/38487
1229         * dependency.c (gfc_check_argument_var_dependency):
1230         Move the check for pointerness inside the if block
1231         so that it doesn't affect the return value.
1232
1233         PR fortran/38669
1234         * trans-stmt.c (gfc_trans_call):
1235         Add the dependency code after the loop bounds calculation one.
1236
1237 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
1238
1239         * intrinsic.c (do_simplify): Removed already implemented TODO.
1240
1241 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
1242
1243         PR fortran/38718
1244         * simplify.c (gfc_simplify_merge): New.
1245         * intrinsic.h (gfc_simplify_merge): New prototype.
1246         * intrinsic.c (add_functions): Added simplification for MERGE.
1247
1248 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
1249
1250         PR fortran/38536
1251         * gfortran.h (gfc_is_data_pointer): Added prototype
1252         * resolve.c (gfc_iso_c_func_interface):
1253         Use gfc_is_data_pointer to test for pointer attribute.
1254         * dependency.c (gfc_is_data_pointer):
1255         Support pointer-returning functions.
1256
1257 2009-01-03  Daniel Franke  <franke.daniel@gmail.com>
1258
1259         * symbol.c (save_symbol): Don't SAVE function results.
1260
1261 2009-01-03  Paul Thomas  <pault@gcc.gnu.org>
1262
1263         PR fortran/38594
1264         * resolve.c (resolve_call): When searching for proper host
1265         association, use symtree rather than symbol.  For everything
1266         except generic subroutines, substitute the symtree in the call
1267         rather than the symbol.
1268
1269 \f
1270 Copyright (C) 2009 Free Software Foundation, Inc.
1271
1272 Copying and distribution of this file, with or without modification,
1273 are permitted in any medium without royalty provided the copyright
1274 notice and this notice are preserved.