[Bug fortran/35988] New: run-time abort for MATMUL of run-time zero sized array

[Bug fortran/35988] New: run-time abort for MATMUL of run-time zero sized array

[dick dot hendrickson at gmail dot com]

Two of the following three subroutines abort at run time.
They have run time zero sized arrays that have "different"
zero sizes as arguments to matmul.  If the zeroness is visible
at compile time or if the zeroness has the same "size", the
similar subroutines do not abort

Dick Hendrickson



       program try_gf1003

! fails on Windows XP
! gcc version 4.4.0 20080312 (experimental) [trunk revision 133139]

      call       gf1003a(  9,  8,  6)   
      call       gf1003b(  9,  8,  6)   
      call       gf1003c(  9,  8,  6)   !fails
      call       gf1003d(  9,  8,  6)   !fails
      end program


      SUBROUTINE GF1003a(nf9,nf8,nf6)
      REAL RDA(3,2)
      REAL RDA1(3,5)
      REAL RDA2(5,2)
      print *, 'gf1003a started'
      RDA = MATMUL(RDA1(:, 9:8),RDA2( 8:6,:))
      print *, 'gf1003a finished'
      END SUBROUTINE

      SUBROUTINE GF1003b(nf9,nf8,nf6)
      REAL RDA(3,2)
      REAL RDA1(3,0)
      REAL RDA2(0,2)
      print *, 'gf1003b started'
      RDA = MATMUL(RDA1(:,NF9:NF8),RDA2(NF9:NF8,:))
      print *, 'gf1003b finished'
      END SUBROUTINE

      SUBROUTINE GF1003c(nf9,nf8,nf6)
      REAL RDA(3,2)
      REAL RDA1(3,0)
      REAL RDA2(0,2)
      print *, 'gf1003c started'
      RDA = MATMUL(RDA1(:,NF9:NF8),RDA2(NF8:NF6,:))
      print *, 'gf1003c finished'
      END SUBROUTINE

      SUBROUTINE GF1003d(nf9,nf8,nf6)
      REAL RDA(3,2)
      REAL RDA1(3,5)
      REAL RDA2(5,2)
      print *, 'gf1003d started'
      RDA = MATMUL(RDA1(:,NF9:NF8),RDA2(NF8:NF6,:))
      print *, 'gf1003d finished'
      END SUBROUTINE

C:\gfortran:gfortran gf1003.f

C:\gfortran:a
 gf1003a started
 gf1003a finished
 gf1003b started
 gf1003b finished
 gf1003c started
Fortran runtime error: dimension of array B incorrect in MATMUL intrinsic


-- 
           Summary: run-time abort for MATMUL of run-time zero sized array
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dick dot hendrickson at gmail dot com


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

[Bug fortran/35988] run-time abort for MATMUL of run-time zero sized array

[burnus at gcc dot gnu dot org]

-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-04-20 18:55:16
               date|                            |


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

[Bug fortran/35988] run-time abort for MATMUL of run-time zero sized array

[tkoenig at gcc dot gnu dot org]

------- Comment #1 from tkoenig at gcc dot gnu dot org  2008-04-22 18:50 -------
Not a regression, 4.1 and 4.2 fail with the equally bogus
error message

a.out:
../../../../../gcc/branches/gcc-4_1-branch/libgfortran/generated/matmul_r4.c:152:
matmul_r4: Assertion `count == b->dim[0].ubound + 1 - b->dim[0].lbound' failed.


-- 


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

[Bug fortran/35988] run-time abort for MATMUL of run-time zero sized array

[tkoenig at gcc dot gnu dot org]

------- Comment #2 from tkoenig at gcc dot gnu dot org  2008-04-23 05:51 -------
Subject: Bug 35988

Author: tkoenig
Date: Wed Apr 23 05:50:54 2008
New Revision: 134579

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134579
Log:
2008-04-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR libfortran/35988
        * m4/matmul.m4:  Only issue a runtime error if extents are
        non-zero.
        * generated/matmul_i1.c:  Regenerated.
        * generated/matmul_i2.c:  Regenerated.
        * generated/matmul_i4.c:  Regenerated.
        * generated/matmul_i8.c:  Regenerated.
        * generated/matmul_i16.c:  Regenerated.
        * generated/matmul_r4.c:  Regenerated.
        * generated/matmul_r8.c:  Regenerated.
        * generated/matmul_r10.c:  Regenerated.
        * generated/matmul_r16.c:  Regenerated.
        * generated/matmul_c4.c:  Regenerated.
        * generated/matmul_c8.c:  Regenerated.
        * generated/matmul_c10.c:  Regenerated.
        * generated/matmul_c16.c:  Regenerated.

2008-04-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR libfortran/35988
        * gfortran.dg/matmul_7.f90:  New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/matmul_7.f90
Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/libgfortran/ChangeLog
    trunk/libgfortran/generated/matmul_c10.c
    trunk/libgfortran/generated/matmul_c16.c
    trunk/libgfortran/generated/matmul_c4.c
    trunk/libgfortran/generated/matmul_c8.c
    trunk/libgfortran/generated/matmul_i1.c
    trunk/libgfortran/generated/matmul_i16.c
    trunk/libgfortran/generated/matmul_i2.c
    trunk/libgfortran/generated/matmul_i4.c
    trunk/libgfortran/generated/matmul_i8.c
    trunk/libgfortran/generated/matmul_r10.c
    trunk/libgfortran/generated/matmul_r16.c
    trunk/libgfortran/generated/matmul_r4.c
    trunk/libgfortran/generated/matmul_r8.c
    trunk/libgfortran/m4/matmul.m4


-- 


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

[Bug fortran/35988] run-time abort for MATMUL of run-time zero sized array

[tkoenig at gcc dot gnu dot org]

------- Comment #3 from tkoenig at gcc dot gnu dot org  2008-04-23 05:53 -------
Fixed on trunk, closing.


-- 

tkoenig at gcc dot gnu dot org changed:

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


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