[Bug fortran/32616] New: "Too short actual argument" for array element storage sequence

[Bug fortran/32616] New: "Too short actual argument" for array element storage sequence

[burnus at gcc dot gnu dot org]

Currently, the following is not handled:

integer :: i(10)
call foo(i(8)) ! has (8, 9, 10) -> Too short (3/4)
contains
  subroutine foo(a)
    integer :: a(4)
  end subroutine

Longer test case, see TODO in gfortran.dg/argument_checking_5.f90.
See PR30940 for the references to the standard, see also TODO  in
get_expr_storage_size of interface.c.

The stuff is called "element sequence" and for an array element it consists of
all storage units of the actual argument up to the end of the array.

One should spend some thinking of using a character (len /= 1) array where one
specifies a substring of an array element, but seemingly on can ignore the
substring part then.

I'm not aware of any compiler handling this yet and thus this is of lower
importance.


-- 
           Summary: "Too short actual argument" for array element storage
                    sequence
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


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

[Bug fortran/32616] "Too short actual argument" for array element storage sequence

[dfranke at gcc dot gnu dot org]

------- Comment #1 from dfranke at gcc dot gnu dot org  2007-07-03 21:44 -------
A more general case as described in PR30939?


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dfranke at gcc dot gnu dot
                   |                            |org


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

[Bug fortran/32616] "Too short actual argument" for array element storage sequence

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2007-07-04 18:15 -------
> A more general case as described in PR30939?

Well, my example in PR30939 is actually fixed by PR30940, however, as NAG f95
proofs, one can test this at run time. I thus changed the purpose of that bug.

This PR is about the missing parts of the compile-time length check, which I
did not implement when fixing PR30940.


-- 


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

[Bug fortran/32616] "Too short actual argument" for array element storage sequence

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-08-15 11:51:51
               date|                            |


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

[Bug fortran/32616] "Too short actual argument" for array element storage sequence

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2008-01-16 21:54 -------
Patch: http://gcc.gnu.org/ml/fortran/2008-01/msg00208.html


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |burnus at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-08-15 11:51:51         |2008-01-16 21:54:15
               date|                            |


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

[Bug fortran/32616] "Too short actual argument" for array element storage sequence

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2008-01-18 23:46 -------
Subject: Bug 32616

Author: burnus
Date: Fri Jan 18 23:46:04 2008
New Revision: 131643

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131643
Log:
2008-01-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/32616
        * interface.c (get_expr_storage_size): Return storage size
        for array element designators.
        (compare_actual_formal): Reject unequal string sizes for
        assumed-shape dummy arguments. And fix error message for
        array-sections with vector subscripts.

2008-01-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/32616
        * gfortran.dg/argument_checking_15.f90: New.
        * gfortran.dg/argument_checking_5.f90: Change TODO into
        dg-warning.


Added:
    trunk/gcc/testsuite/gfortran.dg/argument_checking_15.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/interface.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/argument_checking_5.f90


-- 


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

[Bug fortran/32616] "Too short actual argument" for array element storage sequence

[burnus at gcc dot gnu dot org]

------- Comment #5 from burnus at gcc dot gnu dot org  2008-01-18 23:49 -------
FIXED on the trunk (4.3.0).


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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