[Bug fortran/23209] New: array shape conformance not checked

[Bug fortran/23209] New: array shape conformance not checked

[uttamp at us dot ibm dot com]

Compiler doesn't produce valid error message for the following test case, where
two arrays are not comformable.

program test
integer ::a(2,2)
real :: b(4,4)
a=1
b=2.0
b = b + a
end program test

There is a PR #19754 and a patch in this regard but the patch emits the correct
 error message only when both arrays are of same type but with different shapes
but not in the above case.

-- 
           Summary: array shape conformance not checked
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uttamp at us dot ibm dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-linux
  GCC host triplet: powerpc-linux
GCC target triplet: powerpc-linux


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

[Bug fortran/23209] array shape conformance not checked

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-02 23:37 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |accepts-invalid
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-02 23:37:05
               date|                            |


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

[Bug fortran/23209] array shape conformance not checked

[tkoenig at gcc dot gnu dot org]

------- Additional Comments From tkoenig at gcc dot gnu dot org  2005-08-05 20:17 -------
At least it's caught at runtime with -fbounds-check:

$ gfortran -fbounds-check conform.f90
$ ./a.out
Fortran runtime error: Array bound mismatch

I agree that a compile-time check would be better.

-- 


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

[Bug fortran/23209] array shape conformance not checked

[fxcoudert at gcc dot gnu dot org]

------- Comment #4 from fxcoudert at gcc dot gnu dot org  2006-06-04 10:04 -------
It's been fixed:

$ gfortran a.f90            
 In file a.f90:6

b = b + a
   1    2
Error: Shapes for operands at (1) and (2) are not conformable


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org
             Status|NEW                         |RESOLVED
  GCC build triplet|powerpc-linux               |
   GCC host triplet|powerpc-linux               |
 GCC target triplet|powerpc-linux               |
         Resolution|                            |FIXED
   Target Milestone|---                         |4.1.2


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

[Bug fortran/23209] array shape conformance not checked

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2005-12-12 20:52 -------
*** Bug 25321 has been marked as a duplicate of this bug. ***


-- 


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