Commit by domob :: r156620 gcc/ (5 files in 3 dirs):

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

        PR fortran/39171
        * resolve.c (resolve_charlen): Change warning about negative CHARACTER
        length to be correct and issue only with -Wsurprising.
        * invoke.texi (Wsurprising): Mention this new warning that is
        turned on by -Wsurprising.

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

        PR fortran/39171
        * gfortran.dg/char_length_2.f90: Change warning expectations accordingly
        and pass -Wsurprising as necessary.

Commit by domob :: r156618 gcc/fortran/ (ChangeLog intrinsic.texi):

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

       PR fortran/41507
       * intrinsic.texi (MAXVAL): Remove wrong claim that array argument
       can be CHARACTER type.
       (MINVAL), (MAXLOC), (MINLOC): Ditto.

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

 2009-12-27  Francois-Xavier Coudert  <fxcoudert at gcc dot gnu dot org>
            Daniel Kraft  <d at domob dot eu>

        PR fortran/22552
        * lang.opt (Wimplicit-procedure): New option.
        * gfortran.h (struct gfc_option_t): New member `warn_implicit_procedure'
        * options.c (gfc_handle_option): Handle -Wimplicit-procedure.
        * interface.c (gfc_procedure_use): Warn about procedure never
        explicitly declared if requested by the new flag.
        * invoke.texi: Document new flag -Wimplicit-procedure.

2009-12-27  Francois-Xavier Coudert  <fxcoudert at gcc dot gnu dot org>
            Daniel Kraft  <d at domob dot eu>

        PR fortran/22552
        * gfortran.dg/warn_implicit_procedure_1.f90: New test.

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

 2008-12-08  Daniel Kraft  <d at domob dot eu>

        PR fortran/41177
        * gfortran.dg/typebound_proc_4.f03: Remove check for wrong error.
        * gfortran.dg/typebound_proc_13.f03: New test.

2008-12-08  Daniel Kraft  <d at domob dot eu>

        PR fortran/41177
        * gfortran.h (struct symbol_attribute): New flag `class_pointer'.
        * symbol.c (gfc_build_class_symbol): Set the new flag.
        * resolve.c (update_compcall_arglist): Remove wrong check for
        non-scalar base-object.
        (check_typebound_baseobject): Add the correct version here as well
        as some 'not implemented' message check in the old case.
        (resolve_typebound_procedure): Check that the passed-object dummy
        argument is scalar, non-pointer and non-allocatable as it should be.

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

 2009-10-07  Daniel Kraft  <d at domob dot eu>

        PR fortran/41615
        * resolve.c (resolve_contained_fntype): Clarify error message for
        invalid assumed-length character result on module procedures.

2009-10-07  Daniel Kraft  <d at domob dot eu>

        PR fortran/41615
        * gfortran.dg/assumed_charlen_function_6.f90: New test.

Commit by domob :: r152448 gcc/ (5 files in 3 dirs):

 2009-10-05  Daniel Kraft  <d at domob dot eu>

        PR fortran/41403
        * trans-stmt.c (gfc_trans_goto): Ignore statement list on assigned goto
        if it is present.

2009-10-05  Daniel Kraft  <d at domob dot eu>

        PR fortran/41403
        * gfortran.dg/goto_6.f: New test.
        * gfortran.dg/goto_7.f: New test.

Commit by domob :: r152266 gcc/ (23 files in 3 dirs):

 2009-09-29  Daniel Kraft  <d at domob dot eu>

        PR fortran/39626
        * gfortran.h (enum gfc_statement): Add ST_BLOCK and ST_END_BLOCK.
        (struct gfc_namespace): Convert flags to bit-fields and add flag
        `construct_entities' for use with BLOCK constructs.
        (enum gfc_exec_code): Add EXEC_BLOCK.
        (struct gfc_code): Add namespace field to union for EXEC_BLOCK.
        * match.h (gfc_match_block): New prototype.
        * parse.h (enum gfc_compile_state): Add COMP_BLOCK.
        * trans.h (gfc_process_block_locals): New prototype.
        (gfc_trans_deferred_vars): Made public, new prototype.
        * trans-stmt.h (gfc_trans_block_construct): New prototype.
        * decl.c (gfc_match_end): Handle END BLOCK correctly.
        (gfc_match_intent): Error if inside of BLOCK.
        (gfc_match_optional), (gfc_match_value): Ditto.
        * match.c (gfc_match_block): New routine.
        * parse.c (decode_statement): Handle BLOCK statement.
        (case_exec_markers): Add ST_BLOCK.
        (case_end): Add ST_END_BLOCK.
        (gfc_ascii_statement): Handle ST_BLOCK and ST_END_BLOCK.
        (parse_spec): Check for statements not allowed inside of BLOCK.
        (parse_block_construct): New routine.
        (parse_executable): Parse BLOCKs.
        (parse_progunit): Disallow CONTAINS in BLOCK constructs.
        * resolve.c (is_illegal_recursion): Find real container procedure and
        don't get confused by BLOCK constructs.
        (resolve_block_construct): New routine.
        (gfc_resolve_blocks), (resolve_code): Handle EXEC_BLOCK.
        * st.c (gfc_free_statement): Handle EXEC_BLOCK statements.
        * trans-decl.c (saved_local_decls): New static variable.
        (add_decl_as_local): New routine.
        (gfc_finish_var_decl): Add variable as local if inside BLOCK.
        (gfc_trans_deferred_vars): Make public.
        (gfc_process_block_locals): New routine.
        * trans-stmt.c (gfc_trans_block_construct): New routine.
        * trans.c (gfc_trans_code): Handle EXEC_BLOCK statements.

2009-09-29  Daniel Kraft  <d at domob dot eu>

        PR fortran/39626
        * gfortran.dg/block_1.f08: New test.
        * gfortran.dg/block_2.f08: New test.
        * gfortran.dg/block_3.f90: New test.
        * gfortran.dg/block_4.f08: New test.
        * gfortran.dg/block_5.f08: New test.
        * gfortran.dg/block_6.f08: New test.
        * gfortran.dg/block_7.f08: New test.
        * gfortran.dg/block_8.f08: New test.

Commit by domob :: r151224 gcc/fortran/ (4 files):

2009-08-30  Daniel Kraft  <d at domob dot eu>

       PR fortran/37425
       * dump-parse-tree.c (show_typebound_proc): Renamed from `show_typebound'
       and accept gfc_typebound_proc and name instead of the symtree, needed
       for intrinsic operator output.
       (show_typebound_symtree): New method calling `show_typebound_proc'.
       (show_f2k_derived): Output type-bound operators also.
       (show_symbol): Moved output of `Procedure bindings:' label to
       `show_f2k_derived'.
       * gfortran.texi (Fortran 2003 status): Mention support of
       array-constructors with explicit type specification, type-bound
       procedures/operators, type extension, ABSTRACT types and DEFERRED.
       Link to Fortran 2003 wiki page.
       (Fortran 2008 status): Fix typo.  Link to Fortran 2008 wiki page.
       * gfc-internals.texi (Type-bound Procedures): Document the new
       members/attributes of gfc_expr.value.compcall used for type-bound
       operators.
       (Type-bound Operators): New section documenting their internals.

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

 2009-08-27  Daniel Kraft  <d at domob dot eu>

        PR fortran/37425
        * gfortran.h (gfc_expr): Optionally store base-object in compcall value
        and add a new flag to distinguish assign-calls generated.
        (gfc_find_typebound_proc): Add locus argument.
        (gfc_find_typebound_user_op), (gfc_find_typebound_intrinsic_op): Ditto.
        (gfc_extend_expr): Return if failure was by a real error.
        * interface.c (matching_typebound_op): New routine.
        (build_compcall_for_operator): New routine.
        (gfc_extend_expr): Handle type-bound operators, some clean-up and
        return if failure was by a real error or just by not finding an
        appropriate operator definition.
        (gfc_extend_assign): Handle type-bound assignments.
        * module.c (MOD_VERSION): Incremented.
        (mio_intrinsic_op): New routine.
        (mio_full_typebound_tree): New routine to make typebound-procedures IO
        code reusable for type-bound user operators.
        (mio_f2k_derived): IO of type-bound operators.
        * primary.c (gfc_match_varspec): Initialize new fields in gfc_expr and
        pass locus to gfc_find_typebound_proc.
        * resolve.c (resolve_operator): Only output error about no matching
        interface if gfc_extend_expr did not already fail with an error.
        (extract_compcall_passed_object): Use specified base-object if present.
        (update_compcall_arglist): Handle ignore_pass field.
        (resolve_ordinary_assign): Update to handle extended code for
        type-bound assignments, too.
        (resolve_code): Handle EXEC_ASSIGN_CALL statement code.
        (resolve_tb_generic_targets): Pass locus to gfc_find_typebound_proc.
        (resolve_typebound_generic), (resolve_typebound_procedure): Ditto.
        (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): Ditto.
        (ensure_not_abstract_walker), (resolve_fl_derived): Ditto.
        (resolve_typebound_procedures): Remove not-implemented error.
        (resolve_typebound_call): Handle assign-call flag.
        * symbol.c (find_typebound_proc_uop): New argument to pass locus for
        error message about PRIVATE, verify that a found procedure is not marked
        as erraneous.
        (gfc_find_typebound_intrinsic_op): Ditto.
        (gfc_find_typebound_proc), (gfc_find_typebound_user_op): New locus arg.

2009-08-27  Daniel Kraft  <d at domob dot eu>

        PR fortran/37425
        * gfortran.dg/impure_assignment_1.f90: Change expected error message.
        * gfortran.dg/typebound_operator_1.f03: Remove check for not-implemented
        error and fix problem with recursive assignment.
        * gfortran.dg/typebound_operator_2.f03: No not-implemented check.
        * gfortran.dg/typebound_operator_3.f03: New test.
        * gfortran.dg/typebound_operator_4.f03: New test.

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

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

        PR fortran/37425
        * resolve.c (get_checked_tb_operator_target): New routine to do checks
        on type-bound operators in common between intrinsic and user operators.
        (resolve_typebound_intrinsic_op): Call it.
        (resolve_typebound_user_op): Ditto.

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

        PR fortran/37425
        * gfortran.dg/typebound_operator_2.f03: Test for error with illegal
        NOPASS bindings as operators.

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

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

        PR fortran/37425
        * gfortran.dg/typebound_operator_1.f03: New test.
        * gfortran.dg/typebound_operator_2.f03: New test.

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

        PR fortran/37425
        * gfortran.h (struct gfc_namespace): New fields tb_uop_root and tb_op.
        (gfc_find_typebound_user_op): New routine.
        (gfc_find_typebound_intrinsic_op): Ditto.
        (gfc_check_operator_interface): Now public routine.
        * decl.c (gfc_match_generic): Match OPERATOR(X) or ASSIGNMENT(=3D).
        * interface.c (check_operator_interface): Made public, renamed to
        `gfc_check_operator_interface' accordingly and hand in the interface
        as gfc_symbol rather than gfc_interface so it is useful for type-bound
        operators, too.  Return boolean result.
        (gfc_check_interfaces): Adapt call to `check_operator_interface'.
        * symbol.c (gfc_get_namespace): Initialize new field `tb_op'.
        (gfc_free_namespace): Free `tb_uop_root'-based tree.
        (find_typebound_proc_uop): New helper function.
        (gfc_find_typebound_proc): Use it.
        (gfc_find_typebound_user_op): New method.
        (gfc_find_typebound_intrinsic_op): Ditto.
        * resolve.c (resolve_tb_generic_targets): New helper function.
        (resolve_typebound_generic): Use it.
        (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): New.
        (resolve_typebound_procedures): Resolve operators, too.
        (check_uop_procedure): New, code from gfc_resolve_uops.
        (gfc_resolve_uops): Moved main code to new `check_uop_procedure'.

Commit by domob :: r147540 gcc/fortran/ (ChangeLog dump-parse-tree.c):

2009-05-14  Daniel Kraft  <d at domob dot eu>

       PR fortran/40045
       * dump-parse-tree.c (show_typebound): Fix missing adaption to new
       type-bound procedure storage structure.

Commit by domob :: r146733 gcc/ (11 files in 3 dirs):

 2009-04-24  Daniel Kraft  <d at domob dot eu>

        * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
        (struct gfc_symtree): Moved `typebound' member inside union.
        (struct gfc_namespace): Add `tb_sym_root' as new symtree to sort out
        type-bound procedures there.
        (gfc_get_tbp_symtree): New procedure.
        * symbol.c (tentative_tbp_list): New global.
        (gfc_get_namespace): NULL new `tb_sym_root' member.
        (gfc_new_symtree): Removed initialization of `typebound' member.
        (gfc_undo_symbols): Process list of tentative tbp's.
        (gfc_commit_symbols): Ditto.
        (free_tb_tree): New method.
        (gfc_free_namespace): Call it.
        (gfc_get_typebound_proc): New method.
        (gfc_get_tbp_symtree): New method.
        (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
        and gfc_namespace with regards to tbp's.
        * dump-parse-tree.c (show_typebound): Ditto.
        * primary.c (gfc_match_varspec): Ditto.  Don't reference tbp-symbol
        as it isn't a symbol any longer.
        * module.c (mio_typebound_symtree): Adapt to changes.
        (mio_typebound_proc): Ditto, create symtrees using `gfc_get_tbp_symtree'
        rather than `gfc_get_sym_tree'.
        (mio_f2k_derived): Ditto.
        * decl.c (match_procedure_in_type): Ditto.
        (gfc_match_generic): Ditto.  Don't reference tbp-symbol.
        * resolve.c (check_typebound_override): Adapt to changes.
        (resolve_typebound_generic): Ditto.
        (resolve_typebound_procedures): Ditto.
        (ensure_not_abstract_walker): Ditto.
        (ensure_not_abstract): Ditto.
        (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
        instance, through removed tentative ones).
        * gfc-internals.texi (Type-bound procedures): Document changes.

2009-04-24  Daniel Kraft  <d at domob dot eu>

        * gfortran.dg/typebound_generic_1.f03: Change so that no error is
        expected on already erraneous symbol (renamed to fresh one).

Commit by domob :: r145958 gcc/ (13 files in 4 dirs):

 2009-04-11  Daniel Kraft  <d at domob dot eu>

        PR fortran/37746
        * gfortran.h (struct gfc_charlen): New field `passed_length' to store
        the actual passed string length for dummy arguments.
        * trans-decl.c (gfc_create_string_length): Formatting fixes and added
        assertion, moved a local variable into the innermost block it is needed.
        (create_function_arglist): Removed TODO about the check being
        implemented and initialize cl->passed_length here.
        (add_argument_checking): New method.
        (gfc_generate_function_code): Call the argument checking method.

2009-04-11  Daniel Kraft  <d at domob dot eu>

        PR fortran/37746
        * gfortran.dg/bounds_check_strlen_1.f90: New test.
        * gfortran.dg/bounds_check_strlen_2.f90: New test.
        * gfortran.dg/bounds_check_strlen_3.f90: New test.
        * gfortran.dg/bounds_check_strlen_4.f90: New test.
        * gfortran.dg/bounds_check_strlen_5.f90: New test.
        * gfortran.dg/bounds_check_strlen_6.f90: New test.
        * gfortran.dg/bounds_check_strlen_7.f90: New test.
        * gfortran.fortran-torture/execute/intrinsic_index.f90: Fix wrong
        expected string length that failed with -fbounds-check now.
        * gfortran.fortran-torture/execute/intrinsic_trim.f90: Ditto.

Commit by domob on fortran-dev :: r145260 gcc/testsuite/ (ChangeLog.dev ChangeLog.fortran-dev):

2009-03-29  Daniel Kraft  <d at domob dot eu>

       * ChangeLog.dev: Deleted.
       * ChangeLog.fortran-dev: Moved ChangeLog.dev entry here.

Commit by domob on fortran-dev :: r145259 libgfortran/ (5 files in 4 dirs):

 2009-03-29  Daniel Kraft  <d at domob dot eu>

        PR fortran/38654
        * io/read.c (read_f): Reworked to speed up floating point parsing.
        (convert_real): Use pointer-casting instead of memcpy and temporaries.

2009-03-29  Daniel Kraft  <d at domob dot eu>

        PR fortran/38654
        * gfortran.dg/read_float_2.f03
        * gfortran.dg/read_float_3.f90

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

 2009-03-29  Daniel Kraft  <d at domob dot eu>

        PR fortran/37423
        * gfortran.h (struct gfc_typebound_proc): Added new flag `deferred' and
        added a comment explaining DEFERRED binding handling.
        * decl.c (match_binding_attributes): Really match DEFERRED attribute.
        (match_procedure_in_type): Really match PROCEDURE(interface) syntax
        and do some validity checks for DEFERRED and this construct.
        * module.c (binding_overriding): New string constant for DEFERRED.
        (mio_typebound_proc): Module-IO DEFERRED flag.
        * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
        binding is not overridden by a DEFERRED one.
        (resolve_typebound_procedure): Allow abstract interfaces as targets
        for DEFERRED bindings.
        (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
        (resolve_fl_derived): Use new `ensure_not_abstract' method for
        non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
        binding is overridden.
        (check_typebound_baseobject): New method.
        (resolve_compcall), (resolve_typebound_call): Check base-object of
        the type-bound procedure call.
        * gfc-internals.texi (Type-bound procedures): Document a little bit
        about internal handling of DEFERRED bindings.

2009-03-29  Daniel Kraft  <d at domob dot eu>

        PR fortran/37423
        * gfortran.dg/typebound_proc_4.f03: Remove not-implemented check for
        DEFERRED bindings.
        * gfortran.dg/typebound_proc_9.f03: New test.
        * gfortran.dg/typebound_proc_10.f03: New test.
        * gfortran.dg/typebound_proc_11.f03: New test.
        * gfortran.dg/abstract_type_5.f03: New test.

Commit by domob :: r145192 libgfortran/ (5 files in 4 dirs):

 2009-03-28  Daniel Kraft  <d at domob dot eu>

        * intrinsics/string_intrinsics.c: #include <assert.h>
        * intrinsics/string_intrinsics_inc.c (string_trim): Use string_len_trim
        instead of calculating the length directly.
        (string_len_trim): For KIND=1, speed search up.

2009-03-28  Daniel Kraft  <d at domob dot eu>

        * gfortran.dg/trim_1.f90: New test.

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

2009-02-18  Daniel Kraft  <d at domob dot eu>

       * gfortran.texi: New chapter about compiler characteristics.
       (Compiler Characteristics): Document KIND type parameters here.

Commit by domob :: r143707 gcc/ (6 files in 3 dirs):

 2009-01-27  Daniel Kraft  <d at domob dot eu>

        PR fortran/38883
        * trans-stmt.c (gfc_conv_elemental_dependencies):  Create temporary
        for the real type needed to make it work for subcomponent-references.

2009-01-27  Daniel Kraft  <d at domob dot eu>

        PR fortran/38883
        * gfortran.dg/mvbits_6.f90:  New test.
        * gfortran.dg/mvbits_7.f90:  New test.
        * gfortran.dg/mvbits_8.f90:  New test.