[Bug fortran/39872] New: Bounds check off by one

[Bug fortran/39872] New: Bounds check off by one

[burnus at gcc dot gnu dot org]

integer, allocatable :: a(:), b(:)
integer :: i, j
allocate(a(1:5), b(1:5))
b = 7
i = 4
j = 5
a(1:i) = b(1:j)
end

Produces (3/4) instead of (4/5):

At line 7 of file aff.f90
Fortran runtime error: Array bound mismatch, size mismatch for dimension 1 of
array 'a' (3/4)


-- 
           Summary: Bounds check off by one
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org
OtherBugsDependingO 27766
             nThis:


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

[Bug fortran/39872] Bounds check off by one

[dominiq at lps dot ens dot fr]

------- Comment #1 from dominiq at lps dot ens dot fr  2009-04-23 21:36 -------
Confirmed on 4.3.3, 4.4.0, and trunk.


-- 


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

[Bug fortran/39872] Bounds check off by one

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2009-04-26 19:52 -------
This is probably a duplicate of PR35732.


-- 


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

[Bug fortran/39872] Bounds check off by one

[dominiq at lps dot ens dot fr]

------- Comment #3 from dominiq at lps dot ens dot fr  2009-04-26 21:33 -------
Patch posted in PR35732.


-- 


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

[Bug fortran/39872] Bounds check off by one

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2009-04-26 21:51 -------


*** This bug has been marked as a duplicate of 35732 ***


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug fortran/39872] Bounds check off by one

[jb at gcc dot gnu dot org]

------- Comment #5 from jb at gcc dot gnu dot org  2009-05-15 23:45 -------
Subject: Bug 39872

Author: jb
Date: Fri May 15 23:45:08 2009
New Revision: 147601

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=147601
Log:
Backport fix for PR libfortran/39872 from trunk.

Modified:
    branches/gcc-4_4-branch/libgfortran/ChangeLog
    branches/gcc-4_4-branch/libgfortran/io/transfer.c


-- 


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

[Bug fortran/39872] Bounds check off by one

[jvdelisle at gcc dot gnu dot org]

------- Comment #6 from jvdelisle at gcc dot gnu dot org  2009-05-25 03:07 -------
Subject: Bug 39872

Author: jvdelisle
Date: Mon May 25 03:07:00 2009
New Revision: 147842

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=147842
Log:
2009-05-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
            Dominique Dhumieres

        PR fortran/35732
        PR fortran/39872
        * trans-array.c (gfc_conv_ss_startstride): Add one to index.
        * gfortran.dg/bounds_check_fail_3.f90: New test.
        * gfortran.dg/bounds_check_fail_4.f90: New test.
        * gfortran.dg/bounds_check_14.f90: Update test.
        * gfortran.dg/bound_4.f90: Update test.

Added:
    trunk/gcc/testsuite/gfortran.dg/bounds_check_fail_3.f90
    trunk/gcc/testsuite/gfortran.dg/bounds_check_fail_4.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/bound_4.f90
    trunk/gcc/testsuite/gfortran.dg/bounds_check_14.f90


-- 


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