[Bug fortran/30034] New: pure subroutine requires intent for procedure argument

[Bug fortran/30034] New: pure subroutine requires intent for procedure argument

[trumsko at yahoo dot com]

The following declaration

 pure subroutine s_one ( anum, afun )
    integer, intent(in) :: anum
    interface
      pure function afun (k) result (l)
        implicit none
        integer, intent(in) :: k
        integer :: l
      end function afun
    end interface

results in the error (using lates build of gfortran-4.3):

Error: Argument 'afun' of pure subroutine 's_one' at (1) must have its INTENT
specified

The section 12.6 of ISO/IEC 1539-1 says:

Constraint: The specification-part of a pure function subprogram shall specify
that all dummy arguments have INTENT (IN) except procedure arguments and
arguments with the POINTER attribute.

which as far I understand means theat the code above is corrent (without intent
statement for 'afun'.

Cheers, T.


-- 
           Summary: pure subroutine requires intent for procedure argument
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: trumsko at yahoo dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034

[Bug fortran/30034] pure subroutine requires intent for procedure argument

[pault at gcc dot gnu dot org]

------- Comment #1 from pault at gcc dot gnu dot org  2006-12-04 23:31 -------
Created an attachment (id=12745)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12745&action=view)
A fix for this PR

Regtests on Cygwin_NT/amd64


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034

[Bug fortran/30034] pure subroutine requires intent for procedure argument

[patchapp at dberlin dot org]

------- Comment #2 from patchapp at dberlin dot org  2006-12-27 19:35 -------
Subject: Bug number PR30034

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-12/msg01730.html


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034

[Bug fortran/30034] pure subroutine requires intent for procedure argument

[pault at gcc dot gnu dot org]

------- Comment #3 from pault at gcc dot gnu dot org  2006-12-28 18:41 -------
Subject: Bug 30034

Author: pault
Date: Thu Dec 28 18:41:25 2006
New Revision: 120244

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120244
Log:
2006-12-28  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/30034
        * resolve.c (resolve_formal_arglist): Exclude the test for
        pointers and procedures for subroutine arguments as well as
        functions.

        PR fortran/30237
        * intrinsic.c (remove_nullargs): Do not pass up arguments with
        a label. If the actual has a label and the formal has a type
        then emit an error.

2006-12-28  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/30034
        * gfortran.dg/pure_formal_proc_1.f90: New test.

        PR fortran/30237
        * gfortran.dg/intrinsic_actual_3.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/intrinsic_actual_3.f90
    trunk/gcc/testsuite/gfortran.dg/pure_formal_proc_1.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034

[Bug fortran/30034] [4.2 and 4.1 only] pure subroutine requires intent for procedure argument

[pault at gcc dot gnu dot org]

------- Comment #4 from pault at gcc dot gnu dot org  2007-01-06 14:13 -------
Subject: Bug 30034

Author: pault
Date: Sat Jan  6 14:13:20 2007
New Revision: 120525

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120525
Log:
2007-01-06  Paul Thomas  <pault@gcc.gnu.org>

        Bug fixes from trunk

        PR fortran/30034
        * resolve.c (resolve_formal_arglist): Exclude the test for
        pointers and procedures for subroutine arguments as well as
        functions.

        PR fortran/30237
        * intrinsic.c (remove_nullargs): Do not pass up arguments with
        a label. If the actual has a label and the formal has a type
        then emit an error.

        PR fortran/25135
        * module.c (load_generic_interfaces): If the symbol is present
        and is not generic it is ambiguous.

        PR fortran/23060
        * intrinsic.c (compare_actual_formal ): Distinguish argument
        list functions from keywords.
        * intrinsic.c (sort_actual): If formal is NULL, the presence of
        an argument list function actual is an error.
        * trans-expr.c (conv_arglist_function) : New function to
        implement argument list functions %VAL, %REF and %LOC.
        (gfc_conv_function_call): Call it.
        * resolve.c (resolve_actual_arglist): Add arg ptype and check
        argument list functions.
        (resolve_function, resolve_call): Set value of ptype before
        calls to resolve_actual_arglist.
        * primary.c (match_arg_list_function): New function.
        (gfc_match_actual_arglist): Call it before trying for a
        keyword argument.

        PR fortran/27900
        * resolve.c (resolve_actual_arglist): If all else fails and a
        procedure actual argument has no type, see if a specific
        intrinsic matches.

        PR fortran/24325
        * resolve.c (resolve_function): If the function reference is
        FL_VARIABLE this is an error.

2007-01-06  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/30034
        * gfortran.dg/pure_formal_proc_1.f90: New test.

        PR fortran/30237
        * gfortran.dg/intrinsic_actual_3.f90: New test.

        PR fortran/25135
        * gfortran.dg/generic_11.f90: New test.
        * gfortran.dg/interface_7.f90: Remove name clash between module
        name and procedure 'x' referenced in the interface.

        PR fortran/23060
        * gfortran.dg/c_by_val.c: Called by c_by_val_1.f.
        * gfortran.dg/c_by_val_1.f: New test.
        * gfortran.dg/c_by_val_2.f: New test.
        * gfortran.dg/c_by_val_3.f: New test.

        PR fortran/27900
        * gfortran.dg/intrinsic_actual_4.f90: New test.

        PR fortran/24325
        * gfortran.dg/func_decl_3.f90: New test.


Added:
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/c_by_val.c
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/c_by_val_1.f
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/c_by_val_2.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/c_by_val_3.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/func_decl_3.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/generic_11.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/intrinsic_actual_3.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/intrinsic_actual_4.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/pure_formal_proc_1.f90
Modified:
    branches/gcc-4_2-branch/gcc/fortran/ChangeLog
    branches/gcc-4_2-branch/gcc/fortran/interface.c
    branches/gcc-4_2-branch/gcc/fortran/intrinsic.c
    branches/gcc-4_2-branch/gcc/fortran/module.c
    branches/gcc-4_2-branch/gcc/fortran/primary.c
    branches/gcc-4_2-branch/gcc/fortran/resolve.c
    branches/gcc-4_2-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/dummy_procedure_1.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/interface_7.f90


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034

[Bug fortran/30034] [4.1 only] pure subroutine requires intent for procedure argument

[pault at gcc dot gnu dot org]

------- Comment #5 from pault at gcc dot gnu dot org  2007-01-06 14:15 -------
Fixed on trunk and 4.2

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
            Summary|[4.2 and 4.1 only] pure     |[4.1 only] pure subroutine
                   |subroutine requires intent  |requires intent for
                   |for procedure argument      |procedure argument


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034

[Bug fortran/30034] [4.1 only] pure subroutine requires intent for procedure argument

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.2.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30034