[Bug fortran/23201] New: internal compiler error: verify_ssa failed

[Bug fortran/23201] New: internal compiler error: verify_ssa failed

[dir at lanl dot gov]

This error is showing up with several programs and it changes if I reduce the
program very much - I will add the second error that shows up as a seperate report-

[dranta:~/tests/gfortran-D] dir% gfortran -O2 -c zipp02.f
 In file zipp02.f:194

      IF(LTEMP(K)) 59,58,57                                             
                                                                       1
Warning: Obsolete: arithmetic IF statement at (1)
 In file zipp02.f:85

      COMMON /SUBSTR/ NPHASE,NSUB,IDUM1,NPHS2                           
                    1
Warning: Named COMMON block 'substr' at (1) shall be of the same size
 In file zipp02.f:86

      COMMON /IOSUBS/ IDUMMY(12),NWORDS,IBA,NBAXO,IPOS,                 
                    1
Warning: Named COMMON block 'iosubs' at (1) shall be of the same size
 In file zipp02.f:88

      COMMON /SIZ/ DUM4,IDUM4(4),NWPART                                 
                 1
Warning: Named COMMON block 'siz' at (1) shall be of the same size
zipp02.f: In function 'zipp':
zipp02.f:63: error: statement makes a memory store, but has no V_MAY_DEFS nor
V_MUST_DEFS
substr.nphs2 = 1;
zipp02.f:63: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: internal compiler error: verify_ssa failed
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dir at lanl dot gov
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: powerpc-apple-darwin7.9.0


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

[Bug fortran/23201] internal compiler error: verify_ssa failed

[dir at lanl dot gov]

------- Additional Comments From dir at lanl dot gov  2005-08-02 16:45 -------
Created an attachment (id=9415)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9415&action=view)
source that fails


-- 


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

[Bug tree-optimization/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org, dnovillo at gcc dot gnu
                   |                            |dot org
          Component|fortran                     |tree-optimization
           Keywords|                            |ice-on-valid-code
            Summary|internal compiler error:    |[4.1 Regression] internal
                   |verify_ssa failed           |compiler error: verify_ssa
                   |                            |failed
   Target Milestone|---                         |4.1.0
            Version|4.0.0                       |4.1.0


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

[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-02 17:08 -------
I am thinking this is a fortran front-end bug:
reduced testcase:
      COMMON /SUBSTR/ NPHASE,NSUB
      END
      SUBROUTINE ZIPP
      COMMON /SUBSTR/ NPHASE,NSUB,IDUM1,KURPA,KTBUF
      IF (NSUB.LT.0) THEN
        KTBUF=KTBUF-1
      END IF
      END

I think we get the wrong type for the common section, SUBSTR.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |fortran
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-02 17:09:00
               date|                            |


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

[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-02 17:10 -------
Another reduced testcase:
      COMMON /SUBSTR/ NPHASE,NSUB
      END
      SUBROUTINE ZIPP
      COMMON /SUBSTR/ NPHASE,NSUB,IDUM1,KURPA,KTBUF
      NSUB = 1
      KTBUF = 1
      END


-- 


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

[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-02 17:11 -------
We do get a warning:
 In file t.2.f:4

      COMMON /SUBSTR/ NPHASE,NSUB,IDUM1,KURPA,KTBUF                     
                    1
Warning: Named COMMON block 'substr' at (1) shall be of the same size

-- 


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

[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-09-08 19:30 -------

Definitely an FE oddity.  The operand scanner is told to get the operands of a
COMPONENT_REF that's accessing a non-existant field:

(gdb) ptu stmt
substr.ktbuf = D.485;
(gdb) ptu expr
substr.ktbuf;
(gdb) call debug_variable(ref)
substr, UID 475, struct
{
  int4 nphase;
  int4 nsub;
}, is global, call clobbered, sub-vars: { SFT.25 }
(gdb)

There is no field named 'ktbuf'.  This is confusing all the sub-var machinery,
leading to this ICE.

Paul, could you take a look?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dnovillo at gcc dot gnu dot |pbrook at gcc dot gnu dot
                   |org                         |org


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

[Bug fortran/23201] [4.1 Regression] internal compiler error: verify_ssa failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-08 19:41 -------
Fortran bug, moving target milestone to 4.2.0.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |4.2.0


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