[Bug fortran/39994] New: Bounds checking (-fcheck=bounds): "A = [ constructor ]" does not work

[Bug fortran/39994] New: Bounds checking (-fcheck=bounds): "A = [ constructor ]" does not work

[burnus at gcc dot gnu dot org]

There are currently no checks for LHS = RHS where RHS is an array constructor,
if -fbounds-check / -fcheck=bounds is used. (Neither is it detected by NAG f95,
ifort, g95.)

Example:

integer :: a(2), b(5), i
b = 0
i = 2
a = [1, 2, b(1:i)] ! RHS too many items
i = 1
a = [ b(1:i)] ! RHS too few items
end


-- 
           Summary: Bounds checking (-fcheck=bounds): "A = [ constructor ]"
                    does not work
           Product: gcc
           Version: 4.4.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=39994

[Bug fortran/39994] Bounds checking (-fcheck=bounds): "A = [ constructor ]" does not work

[pault at gcc dot gnu dot org]

------- Comment #1 from pault at gcc dot gnu dot org  2009-12-18 05:27 -------
I bumped this up to "accepts-invalid" to make it a bit more prominent.  It is
even a correct designation because the "RHS too many items" is manifestly
invalid.

Cheers

Paul 


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|diagnostic                  |accepts-invalid
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-18 05:27:35
               date|                            |


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

[Bug fortran/39994] Bounds checking (-fcheck=bounds): "A = [ constructor ]" does not work

[kargl at gcc dot gnu dot org]

------- Comment #2 from kargl at gcc dot gnu dot org  2010-04-16 15:59 -------
I believe that this is a duplicate of PR 31059.


-- 


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

[Bug fortran/39994] Bounds checking (-fcheck=bounds): "A = [ constructor ]" does not work

[dfranke at gcc dot gnu dot org]

------- Comment #3 from dfranke at gcc dot gnu dot org  2010-05-20 19:19 -------
(In reply to comment #2)
> I believe that this is a duplicate of PR 31059.

Me too.

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


-- 

dfranke at gcc dot gnu dot org changed:

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


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