[Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types

[Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

$ cat forall_3.f90 
  type t
    integer :: p(1)
  end type
  type (t), dimension (1) :: v
  integer i

  forall (i=1:1,.false.)
    v(i)%p = v(i+1)%p
  end forall
end
$ gfortran forall_3.f90 -fbounds-check && ./a.out 
Fortran runtime error: Array reference out of bounds


-- 
           Summary: Bad interaction between bounds checking, forall and
                    derived types
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-checking
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fxcoudert at gcc dot gnu dot org
OtherBugsDependingO 27766
             nThis:


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

[Bug fortran/27874] Bad interaction between bounds checking, forall and derived types

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-06-02 16:39 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-02 16:39:07
               date|                            |


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

[Bug fortran/27874] Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

------- Comment #2 from fxcoudert at gcc dot gnu dot org  2006-06-03 11:41 -------
Created an attachment (id=11588)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11588&action=view)
Code generated for testcase

See the code generated for this testcase (with my recent patch for improved
out-of-bounds messages). In order to create a temporary, we first run the i=1:1
loop once, without the conditionnal mask (which in this case is .false.), to
count the total length needed for the temporary (variable num.5). When doing
this, we perform bounds checking on elements that will not be used in the final
loop.


-- 


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

[Bug fortran/27874] Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |fxcoudert at gcc dot gnu dot
                   |dot org                     |org
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |07/msg00140.html
             Status|NEW                         |ASSIGNED
           Keywords|                            |patch
   Last reconfirmed|2006-06-02 16:39:07         |2006-07-05 13:37:13
               date|                            |


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

[Bug fortran/27874] Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

------- Comment #3 from fxcoudert at gcc dot gnu dot org  2006-07-06 17:12 -------
Subject: Bug 27874

Author: fxcoudert
Date: Thu Jul  6 17:12:25 2006
New Revision: 115224

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115224
Log:
        PR fortran/27874
        * trans-stmt.c (compute_inner_temp_size): Don't perform bounds
        checking when calculating the bounds of scalarization.

Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-stmt.c


-- 


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

[Bug fortran/27874] [4.1 only] Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.1.2
      Known to work|                            |4.2.0
            Summary|Bad interaction between     |[4.1 only] Bad interaction
                   |bounds checking, forall and |between bounds checking,
                   |derived types               |forall and derived types
   Target Milestone|---                         |4.1.2


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

[Bug fortran/27874] [4.1 only] Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

------- Comment #4 from fxcoudert at gcc dot gnu dot org  2006-07-24 21:02 -------
Subject: Bug 27874

Author: fxcoudert
Date: Mon Jul 24 21:02:39 2006
New Revision: 115722

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115722
Log:
        PR fortran/28129
        * trans-array.c (gfc_trans_array_bound_check): Add a locus
        argument, and use it in the error messages.
        (gfc_conv_array_index_offset): Donc perform bounds checking on
        the last dimension of assumed-size arrays.
        * gfortran.dg/bounds_check_4.f90: New test.

        PR fortran/27874
        * trans-stmt.c (compute_inner_temp_size): Don't perform bounds
        checking when calculating the bounds of scalarization.

        PR fortran/20892
        * interface.c (gfc_match_interface): Don't allow dummy procedures
        to have a generic interface.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/bounds_check_4.f90
      - copied unchanged from r115231,
trunk/gcc/testsuite/gfortran.dg/bounds_check_4.f90
Modified:
    branches/gcc-4_1-branch/gcc/fortran/ChangeLog
    branches/gcc-4_1-branch/gcc/fortran/interface.c
    branches/gcc-4_1-branch/gcc/fortran/trans-array.c
    branches/gcc-4_1-branch/gcc/fortran/trans-stmt.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/27874] Bad interaction between bounds checking, forall and derived types

[fxcoudert at gcc dot gnu dot org]

------- Comment #5 from fxcoudert at gcc dot gnu dot org  2006-07-24 21:04 -------
Fixed.


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.1.2                       |
      Known to work|4.2.0                       |4.2.0 4.1.2
         Resolution|                            |FIXED
            Summary|[4.1 only] Bad interaction  |Bad interaction between
                   |between bounds checking,    |bounds checking, forall and
                   |forall and derived types    |derived types


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