Commit by domob on gcc-4_5-branch :: r167990 gcc/testsuite/ (ChangeLog gfortran.dg/power2.f90):

2010-12-17  Daniel Kraft  <d at domob dot eu>

       PR fortran/46794
       * gfortran.dg/power2.f90: Initialize variables.

Commit by domob on gcc-4_4-branch :: r167644 gcc/ (4 files in 3 dirs):

 2010-12-09  Daniel Kraft  <d at domob dot eu>

        PR fortran/46794
        * trans-expr.c (gfc_conv_power_op): Handle kind of result expression
        correctly for integer kind 1 and 2 operands.

2010-12-09  Daniel Kraft  <d at domob dot eu>

        PR fortran/46794
        * gfortran.dg/power2.f90: New test.

Commit by domob :: r167471 gcc/testsuite/ (ChangeLog gfortran.dg/power2.f90):

2010-12-05  Daniel Kraft  <d at domob dot eu>

       PR fortran/46794
       * gfortran.dg/power2.f90: Initialize variables.

Commit by domob on gcc-4_5-branch :: r167454 gcc/ (4 files in 3 dirs):

 2010-12-04  Daniel Kraft  <d at domob dot eu>

        PR fortran/46794
        * trans-expr.c (gfc_conv_power_op): Handle kind of result expression
        correctly for integer kind 1 and 2 operands.

2010-12-04  Daniel Kraft  <d at domob dot eu>

        PR fortran/46794
        * gfortran.dg/power2.f90: New test.

Commit by domob :: r167453 gcc/ (4 files in 3 dirs):

 2010-12-04  Daniel Kraft  <d at domob dot eu>

        PR fortran/46794
        * trans-expr.c (gfc_conv_power_op): Handle kind of result expression
        correctly for integer kind 1 and 2 operands.

2010-12-04  Daniel Kraft  <d at domob dot eu>

        PR fortran/46794
        * gfortran.dg/power2.f90: New test.

Commit by domob :: r165378 gcc/ (7 files in 3 dirs):

 2010-10-12  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        * parse.c (parse_associate): Set typespec of associate-name if that of
        the target is already available.

2010-10-12  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        * gfortran.dg/associate_1.f03: More tests with derived-types.
        * gfortran.dg/associate_9.f03: New test (XFAIL for now).
        * gfortran.dg/associate_8.f03: Fix typo.
        * gfortran.dg/initialization_27.f90: Fix typo.

Commit by domob :: r164638 gcc/ (4 files in 3 dirs):

 2010-09-26  Daniel Kraft  <d at domob dot eu>

        PR fortran/45783
        PR fortran/45795
        * resolve.c (resolve_select_type): Clarify code.
        (resolve_assoc_var): Only set typespec if it is currently unknown.

2010-09-26  Daniel Kraft  <d at domob dot eu>

        PR fortran/45783
        PR fortran/45795
        * gfortran.dg/select_type_18.f03: New test.

Commit by domob :: r164619 gcc/ (8 files in 3 dirs):

 2010-09-25  Daniel Kraft  <d at domob dot eu>

        PR fortran/45776
        * gfortran.h (struct gfc_dt): New member `dt_io_kind'.
        * io.c (resolve_tag): F2008 check for NEWUNIT and variable
        definition checks for NEWUNIT, IOSTAT, SIZE and IOMSG.
        (gfc_free_dt): Correctly handle freeing of `dt_io_kind' and
        `extra_comma' with changed semantics.
        (gfc_resolve_dt): Check variable definitions.
        (match_io_element): Remove INTENT and PURE checks here and
        initialize code->ext.dt member.
        (match_io): Set dt->dt_io_kind.
        (gfc_resolve_inquire): Check variable definition for all tags
        except UNIT, FILE and ID.
        * resolve.c (resolve_transfer): Variable definition check.

2010-09-25  Daniel Kraft  <d at domob dot eu>

        PR fortran/45776
        * gfortran.dg/io_constraints_6.f03: New test.
        * gfortran.dg/io_constraints_7.f03: New test.
        * gfortran.dg/newunit_2.f90: New test.

Commit by domob :: r164550 gcc/ (32 files in 3 dirs):

 2010-09-23  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        PR fortran/44044
        PR fortran/45474
        * gfortran.h (gfc_check_vardef_context): New method.
        (struct symbol_attribute): New flag `select_type_temporary'.
        * primary.c (gfc_variable_attr): Clarify initialization of ref.
        (match_variable): Remove PROTECTED check and assignment check
        for PARAMETERs (this is now done later).
        * match.c (gfc_match_iterator): Remove INTENT(IN) check.
        (gfc_match_associate): Defer initialization of newAssoc->variable.
        (gfc_match_nullify): Remove PURE definability check.
        (select_type_set_tmp): Set new `select_type_temporary' flag.
        * expr.c (gfc_check_assign): Remove INTENT(IN) check here.
        (gfc_check_pointer_assign): Ditto (and other checks removed).
        (gfc_check_vardef_context): New method.
        * interface.c (compare_parameter_protected): Removed.
        (compare_actual_formal): Use `gfc_check_vardef_context' for checks
        related to INTENT([IN]OUT) arguments.
        * intrinsic.c (check_arglist): Check INTENT for intrinsics.
        * resolve.c (gfc_resolve_iterator): Use `gfc_check_vardef_context'.
        (remove_last_array_ref): New method.
        (resolve_deallocate_expr), (resolve_allocate_expr): Ditto.
        (resolve_allocate_deallocate): Ditto (for STAT and ERRMSG).
        (resolve_assoc_var): Remove checks for definability here.
        (resolve_select_type): Handle resolving of code->block here.
        (resolve_ordinary_assign): Remove PURE check.
        (resolve_code): Do not resolve code->blocks for SELECT TYPE here.
        Use `gfc_check_vardef_context' for assignments and pointer-assignments.

2010-09-23  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        PR fortran/44044
        PR fortran/45474
        * gfortran.dg/intrinsic_intent_1.f03: New test.
        * gfortran.dg/select_type_17.f03: New test.
        * gfortran.dg/associate_5.f03: More definability tests.
        * gfortran.dg/enum_2.f90: Check definability.
        * gfortran.dg/allocatable_dummy_2.f90: Change expected error message.
        * gfortran.dg/allocate_alloc_opt_2.f90: Ditto.
        * gfortran.dg/char_expr_2.f90: Ditto.
        * gfortran.dg/deallocate_alloc_opt_2.f90: Ditto.
        * gfortran.dg/enum_5.f90: Ditto.
        * gfortran.dg/equiv_constraint_8.f90: Ditto.
        * gfortran.dg/impure_assignment_2.f90: Ditto.
        * gfortran.dg/impure_assignment_3.f90: Ditto.
        * gfortran.dg/intent_out_1.f90: Ditto.
        * gfortran.dg/intent_out_3.f90: Ditto.
        * gfortran.dg/pointer_assign_7.f90: Ditto.
        * gfortran.dg/pointer_intent_3.f90: Ditto.
        * gfortran.dg/pr19936_1.f90: Ditto.
        * gfortran.dg/proc_ptr_comp_3.f90: Ditto.
        * gfortran.dg/simpleif_2.f90: Ditto.
        * gfortran.dg/protected_5.f90: Ditto.
        * gfortran.dg/protected_4.f90: Ditto and remove invalid error check.
        * gfortran.dg/protected_6.f90: Ditto.
        * gfortran.dg/protected_7.f90: Ditto.

Commit by domob :: r163840 gcc/testsuite/ (2 files in 2 dirs):

2010-09-03  Daniel Kraft  <d at domob dot eu>

       PR fortran/45525
       * gfortran.dg/dummy_procedure_1.f90: Add -std=3Df2003 and adapt error.

Commit by domob :: r163813 gcc/ (7 files in 3 dirs):

 2010-09-03  Daniel Kraft  <d at domob dot eu>

        PR fortran/34162
        * resolve.c (resolve_actual_arglist): Allow internal procedure
        as actual argument with Fortran 2008.

2010-09-03  Daniel Kraft  <d at domob dot eu>

        PR fortran/34162
        * gfortran.dg/internal_dummy_1.f90: Add -std=3Df2003.
        * gfortran.dg/internal_dummy_2.f08: New test.
        * gfortran.dg/internal_dummy_3.f08: New test.
        * gfortran.dg/internal_dummy_4.f08: New test.

Commit by domob :: r163798 gcc/ (12 files in 3 dirs):

 2010-09-03  Daniel Kraft  <d at domob dot eu>

        PR fortran/44602
        * gfortran.h (struct gfc_code): Renamed `whichloop' to
        `which_construct' as this is no longer restricted to loops.
        * parse.h (struct gfc_state_data): New field `construct'.
        * match.c (match_exit_cycle): Handle EXIT from non-loops.
        * parse.c (push_state): Set `construct' field.
        * resolve.c (resolve_select_type): Extend comment.
        * trans-stmt.c (gfc_trans_if): Add exit label.
        (gfc_trans_block_construct), (gfc_trans_select): Ditto.
        (gfc_trans_simple_do): Store exit/cycle labels on the gfc_code itself.
        (gfc_trans_do), (gfc_trans_do_while): Ditto.
        (gfc_trans_exit): Use new name `which_construct' instead of `whichloop'.
        (gfc_trans_cycle): Ditto.
        (gfc_trans_if_1): Use fold_build3_loc instead of fold_build3.

2010-09-03  Daniel Kraft  <d at domob dot eu>

        PR fortran/44602
        * gfortran.dg/exit_2.f08; Adapt error messages.
        * gfortran.dg/exit_3.f08: New test.
        * gfortran.dg/exit_4.f08: New test.
        * gfortran.dg/exit_5.f03: New test.

Commit by domob :: r163572 gcc/ (12 files in 3 dirs):

 2010-08-26  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        PR fortran/44047
        PR fortran/45384
        * gfortran.h (struct gfc_association_list): New flag `dangling'.
        (gfc_build_block_ns): Declared here...
        * parse.h (gfc_build_block_ns): ...instead of here.
        * trans.h (gfc_process_block_locals): Expect additionally the
        gfc_association_list of BLOCK (if present).
        * match.c (select_type_set_tmp): Create sym->assoc for temporary.
        * resolve.c (resolve_variable): Only check for invalid *array*
        references on associate-names.
        (resolve_assoc_var): New method with code previously in resolve_symbol.
        (resolve_select_type): Use association to give the selector and
        temporaries their values instead of ordinary assignment.
        (resolve_fl_var_and_proc): Allow CLASS associate-names.
        (resolve_symbol): Use new `resolve_assoc_var' instead of inlining here.
        * trans-stmt.c (gfc_trans_block_construct): Pass association-list
        to `gfc_process_block_locals' to match new interface.
        * trans-decl.c (gfc_get_symbol_decl): Don't defer associate-names
        here automatically.
        (gfc_process_block_locals): Defer them rather here when linked to
        from the BLOCK's association list.

2010-08-26  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        PR fortran/44047
        PR fortran/45384
        * gfortran.dg/associate_8.f03: New test.
        * gfortran.dg/select_type_13.f03: New test.
        * gfortran.dg/select_type_14.f03: New test.

Commit by domob :: r163377 gcc/ (15 files in 3 dirs):

 2010-08-19  Daniel Kraft  <d at domob dot eu>

        PR fortran/29785
        PR fortran/45016
        * trans.h (struct gfc_se): New flag `byref_noassign'.
        * trans-array.h (gfc_conv_shift_descriptor_lbound): New method.
        (gfc_conv_array_extent_dim), (gfc_conv_descriptor_size): New methods.
        * expr.c (gfc_check_pointer_assign): Allow bounds and rank remapping
        and check for compile-time errors with those.
        * trans-decl.c (trans_associate_var): Use new routine
        `gfc_conv_shift_descriptor_lbound' instead of doing it manually.
        * trans-array.c (gfc_conv_shift_descriptor_lbound): New method.
        (gfc_conv_array_extent_dim), (gfc_conv_descriptor_size): New methods.
        (gfc_array_init_size): Use new `gfc_conv_array_extent_dim'.
        (gfc_conv_expr_descriptor): Handle new flag `byref_noassign'.
        * trans-expr.c (gfc_trans_pointer_assignment): Handle bounds and
        rank remapping for assignment.

2010-08-19  Daniel Kraft  <d at domob dot eu>

        PR fortran/29785
        PR fortran/45016
        * gfortran.dg/pointer_assign_5.f90: Remove 'not implemented' error.
        * gfortran.dg/pointer_remapping_1.f90: New test.
        * gfortran.dg/pointer_remapping_2.f03: New test.
        * gfortran.dg/pointer_remapping_3.f08: New test.
        * gfortran.dg/pointer_remapping_4.f03: New test.
        * gfortran.dg/pointer_remapping_5.f08: New test.
        * gfortran.dg/pointer_remapping_6.f08: New test.

Commit by domob :: r163295 gcc/ (16 files in 3 dirs):

 2010-08-17  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        * gfortran.h (struct gfc_association_list): New member `where'.
        (gfc_is_associate_pointer) New method.
        * match.c (gfc_match_associate): Remember locus for each associate
        name matched and do not try to set variable flag.
        * parse.c (parse_associate): Use remembered locus for symbols.
        * primary.c (match_variable): Instead of variable-flag check for
        associate names set it for all such names used.
        * symbol.c (gfc_is_associate_pointer): New method.
        * resolve.c (resolve_block_construct): Don't generate assignments
        to give associate-names their values.
        (resolve_fl_var_and_proc): Allow associate-names to be deferred-shape.
        (resolve_symbol): Set some more attributes for associate variables,
        set variable flag here and check it and don't try to build an
        explicitely shaped array-spec for array associate variables.
        * trans-expr.c (gfc_conv_variable): Dereference in case of association
        to scalar variable.
        * trans-types.c (gfc_is_nodesc_array): Handle array association symbols.
        (gfc_sym_type): Return pointer type for association to scalar vars.
        * trans-decl.c (gfc_get_symbol_decl): Defer association symbols.
        (trans_associate_var): New method.
        (gfc_trans_deferred_vars): Handle association symbols.

2010-08-17  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        * gfortran.dg/associate_1.f03: Extended to test newly supported
        features like association to variables.
        * gfortran.dg/associate_3.f03: Removed check for illegal change
        of associate-name here...
        * gfortran.dg/associate_5.f03: ...and added it here.
        * gfortran.dg/associate_6.f03: No longer XFAIL'ed.
        * gfortran.dg/associate_7.f03: New test.

Commit by domob :: r163268 gcc/ (13 files in 3 dirs):

 2010-08-15  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        * gfortran.h (gfc_find_proc_namespace): New method.
        * expr.c (gfc_build_intrinsic_call): No need to build symtree messing
        around with namespace.
        * symbol.c (gfc_find_proc_namespace): New method.
        * trans-decl.c (gfc_build_qualified_array): Use it for correct
        value of nest.
        * primary.c (gfc_match_varspec): Handle associate-names as arrays.
        * parse.c (parse_associate): Removed assignment-generation here...
        * resolve.c (resolve_block_construct): ...and added it here.
        (resolve_variable): Handle names that are arrays but were not parsed
        as such because of association.
        (resolve_code): Fix BLOCK resolution.
        (resolve_symbol): Generate array-spec for associate-names.

2010-08-15  Daniel Kraft  <d at domob dot eu>

        PR fortran/38936
        * gfortran.dg/associate_1.f03: Enable test for array expressions.
        * gfortran.dg/associate_3.f03: Clarify comment.
        * gfortran.dg/associate_5.f03: New test.
        * gfortran.dg/associate_6.f03: New test.

Commit by domob :: r163261 gcc/ (10 files in 3 dirs):

 2010-08-15  Daniel Kraft  <d at domob dot eu>

        PR fortran/45197
        * decl.c (gfc_match_prefix): Match IMPURE prefix and mark ELEMENTAL
        routines not IMPURE also as PURE.
        * intrinsic.c (enum klass): New class `CLASS_PURE' and renamed
        `NO_CLASS' in `CLASS_IMPURE'.
        (add_sym): Set symbol-attributes `pure' and `elemental' correctly.
        (add_sym_0s): Renamed `NO_CLASS' in `CLASS_IMPURE'.
        (add_functions): Ditto.
        (add_subroutines): Ditto and mark `MOVE_ALLOC' as CLASS_PURE.
        * resolve.c (gfc_pure): Do not treat ELEMENTAL as automatically PURE.
        (resolve_formal_arglist): Check that arguments to ELEMENTAL procedures
        are not ALLOCATABLE and have their INTENT specified.

2010-08-15  Daniel Kraft  <d at domob dot eu>

        PR fortran/45197
        * gfortran.dg/elemental_args_check_3.f90: New test.
        * gfortran.dg/impure_1.f08: New test.
        * gfortran.dg/impure_2.f08: New test.
        * gfortran.dg/impure_3.f90: New test.
        * gfortran.dg/typebound_proc_6.f03: Changed expected error message.

Commit by domob :: r163221 gcc/ (9 files in 3 dirs):

 2010-08-13  Daniel Kraft  <d at domob dot eu>

        * gfortran.h (array_type): New type `AS_IMPLIED_SHAPE'.
        * array.c (gfc_match_array_spec): Match implied-shape specification and
        handle AS_IMPLIED_SHAPE correctly otherwise.
        * decl.c (add_init_expr_to_sym): Set upper bounds for implied-shape.
        (variable_decl): Some checks for implied-shape declaration.
        * resolve.c (resolve_symbol): Assert that array-spec is no longer
        AS_IMPLIED_SHAPE in any case.

2010-08-13  Daniel Kraft  <d at domob dot eu>

        * gfortran.dg/implied_shape_1.f08: New test.
        * gfortran.dg/implied_shape_2.f90: New test.
        * gfortran.dg/implied_shape_3.f08: New test.

Commit by domob :: r163073 gcc/fortran/ (ChangeLog gfortran.texi):

2010-08-10  Daniel Kraft  <d at domob dot eu>

       * gfortran.texi (Interoperability with C): Fix ordering in menu
       and add new subsection about pointers.
       (Interoperable Subroutines and Functions): Split off the pointer part.
       (working with Pointers): New subsection with extended discussion
       of pointers (especially procedure pointers).

Commit by domob :: r162670 gcc/fortran/ (ChangeLog array.c):

2010-07-29  Daniel Kraft  <d at domob dot eu>

       PR fortran/45117
       * array.c (resolve_array_bound): Fix error message to properly handle
       non-variable expressions.