[Bug fortran/39286] Missing out-of-bounds diagnostic

[Bug fortran/39286] Missing out-of-bounds diagnostic

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |tkoenig at gcc dot gnu.org
         Resolution|---                         |DUPLICATE

--- Comment #4 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Closing as dup.

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

[Bug fortran/39286] Missing out-of-bounds diagnostic

[dominiq at lps dot ens dot fr]

------- Comment #3 from dominiq at lps dot ens dot fr  2009-04-29 14:19 -------
I have modified the code referenced in pr36683 as:

PROGRAM calls 
   IMPLICIT NONE 
   INTEGER :: a(2), b(3), c(6), n , i
   c = myfunc(a,b) 
   WRITE(*,*) "c:",c    !! gives "c: 1 2 3 4 5 6" 
   n = 5 
   c = 0 
   c(1:n) = (/(i+2,i=0,n)/)/myfunc(a,b)
   WRITE(*,*) "c:",c    !! gives "c: 1 2 3 4 5 0" 
CONTAINS 
FUNCTION myfunc(v1,v2) RESULT(v3) 
   IMPLICIT NONE 
   INTEGER, INTENT(IN) :: v1(:), v2(:) 
   INTEGER :: v3(SIZE(v1,1)*SIZE(v2,1)) 
   INTEGER :: i, j, k 
   DO i=1,SIZE(v1,1) 
      DO j=1,SIZE(v2,1) 
         k = (i-1)*SIZE(v2,1) + j 
         v3(k) = k 
      ENDDO 
   ENDDO 
   WRITE(*,*) "myfunc: v3:",v3    !! always gives "v3: 1 2 3 4 5 6" 
END FUNCTION myfunc 
END PROGRAM calls 

and I don't get any run time error even with '-fbounds-check'.
This confirms that this pr is a duplicate of pr36683.


-- 


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

[Bug fortran/39286] Missing out-of-bounds diagnostic

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2009-04-29 14:12 -------
I wonder if this not a duplicate of pr36683.


-- 


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

[Bug fortran/39286] Missing out-of-bounds diagnostic

[pault at gcc dot gnu dot org]

------- Comment #1 from pault at gcc dot gnu dot org  2009-03-08 16:07 -------
Confirmed.

For some reason, we have never added a bounds check to assignments.  The first
testcase uses a check internal to the function.  Once an extra expression is
added to the rhs, there is nothing to check against.

Cheers

Paul


-- 

pault 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         |2009-03-08 16:07:58
               date|                            |


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