[Bug fortran/41347] New: ICE with -O3

[Bug fortran/41347] New: ICE with -O3

[m dot a dot hulsen at tue dot nl]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 960 bytes --]

with attached source file

gfortran -c -O3 hsl_ma41.f90

gives

hsl_ma41.f90: In function ‘prinfo.1459’:
hsl_ma41.f90:616:0: error: type mismatch in component reference
integer(kind=4)[0:D.1496] * restrict

integer(kind=4)[0:D.2718] *

# VUSE <.MEM_56>
D.2523_12 = CHAIN.85_1(D)->info.0;

hsl_ma41.f90:616:0: error: type mismatch in component reference
real(kind=8)[0:D.1492] * restrict

real(kind=8)[0:D.2722] *

# VUSE <.MEM_75>
D.2535_28 = CHAIN.85_1(D)->rinfo.0;

hsl_ma41.f90:616:0: internal compiler error: verify_stmts failed


-- 
           Summary: ICE with -O3
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: m dot a dot hulsen at tue dot nl
  GCC host triplet: Linux x86_64
GCC target triplet: Linux x86_64


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

[Bug fortran/41347] ICE with -O3

[m dot a dot hulsen at tue dot nl]

------- Comment #1 from m dot a dot hulsen at tue dot nl  2009-09-13 06:53 -------
Created an attachment (id=18576)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18576&action=view)
source file exposing the bug 


-- 


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

[Bug fortran/41347] [middle-end, regression ] ICE with -O3

[kargl at gcc dot gnu dot org]

------- Comment #2 from kargl at gcc dot gnu dot org  2009-09-13 15:56 -------
Problem also occurs on *-*-freebsd.  This may be related to the
2009-08-18  Michael Matz  <matz@suse.de>
commit.


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |major
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.5.0
      Known to work|                            |4.3.4 4.4.2
           Priority|P3                          |P2
            Summary|ICE with -O3                |[middle-end, regression ]
                   |                            |ICE with -O3


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
            Summary|[regression ] ICE with -O3  |[4.5 Regression] ICE with -
                   |                            |O3
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3

[kargl at gcc dot gnu dot org]

------- Comment #3 from kargl at gcc dot gnu dot org  2009-09-15 20:42 -------
Created an attachment (id=18589)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18589&action=view)
Reduced testcase

This is reduced testcase from the original source.


-- 


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3 or '-O2 -finline-functions'

[kargl at gcc dot gnu dot org]

------- Comment #4 from kargl at gcc dot gnu dot org  2009-09-15 21:49 -------
troutmask:sgk[231] gfc4x -c -O2 -finline-functions reduced.f90
reduced.f90: In function '__hsl_ma41_m_MOD_prininfo':
reduced.f90:12:0: error: type mismatch in component reference
integer(kind=4)[0:D.1361] * restrict

integer(kind=4)[0:D.1449] *

# .MEM_25 = VDEF <.MEM_24>
FRAME.11.info.0 = D.1406_8;

reduced.f90:12:0: internal compiler error: verify_stmts failed


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.5 Regression] ICE with - |[4.5 Regression] ICE with -
                   |O3                          |O3 or '-O2 -finline-
                   |                            |functions'


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3 or '-O2 -finline-functions'

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-09-16 12:55 -------
it's the inliner that exposes this.  I didn't yet investigate further.


-- 


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3 or '-O2 -finline-functions'

[matz at gcc dot gnu dot org]

------- Comment #6 from matz at gcc dot gnu dot org  2009-09-16 17:03 -------
Mine.  The inliner remaps types (when they are variably modified)
without caring for qualifiers or attributes, resulting in these mismatches.
I have a patch.


-- 

matz at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |matz at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-09-16 17:03:59
               date|                            |


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3 or '-O2 -finline-functions'

[matz at gcc dot gnu dot org]

------- Comment #7 from matz at gcc dot gnu dot org  2009-09-17 11:12 -------
Subject: Bug 41347

Author: matz
Date: Thu Sep 17 11:11:58 2009
New Revision: 151799

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=151799
Log:
        PR middle-end/41347
        * tree.c (build_type_attribute_qual_variant): Export.
        * tree.h (build_type_attribute_qual_variant): Declare.
        * tree-inline.c (remap_type_1): Use it to build variants with
        the original qualifiers and attributes.

testsuite/
        * gfortran.dg/pr41347.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr41347.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-inline.c
    trunk/gcc/tree.c
    trunk/gcc/tree.h


-- 


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3 or '-O2 -finline-functions'

[matz at gcc dot gnu dot org]

------- Comment #8 from matz at gcc dot gnu dot org  2009-09-17 11:14 -------
Fixed.


-- 

matz at gcc dot gnu dot org changed:

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


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

[Bug middle-end/41347] [4.5 Regression] ICE with -O3 or '-O2 -finline-functions'

[hjl at gcc dot gnu dot org]

------- Comment #9 from hjl at gcc dot gnu dot org  2009-09-28 20:39 -------
Subject: Bug 41347

Author: hjl
Date: Mon Sep 28 20:38:53 2009
New Revision: 152250

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152250
Log:
2009-09-28  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-09-26  Andreas Schwab  <schwab@linux-m68k.org>

        PR c/41476
        * gcc.dg/cond-constqual-1.c: New test.

        2009-09-26  Michael Matz  <matz@suse.de>

        PR lto/40758
        PR middle-end/41470
        * gcc.dg/pr41470.c: New test.

        2009-09-23  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41248
        * gcc.dg/pr41248.c: New.

        2009-09-22  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41295
        * gcc.dg/pr41295.c: New.

        2009-09-20  Andrew Pinski  <pinskia@gcc.gnu.org>

        PR middle-end/40642
        * g++.dg/torture/pr40642.C: New testcase.

        2009-09-17  Michael Matz  <matz@suse.de>

        PR middle-end/41347
        * gfortran.dg/pr41347.f90: New test.

        2009-09-16  Michael Matz  <matz@suse.de>

        PR fortran/41212
        * gfortran.dg/pr41212.f90: New test.

        2009-09-11  Michael Matz  <matz@suse.de>

        PR middle-end/41275
        * g++.dg/tree-ssa/pr41275.C: New test.

        2009-09-11  Janus Weil  <janus@gcc.gnu.org>

        PR fortran/41242
        * gfortran.dg/proc_ptr_comp_21.f90: New.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr40642.C
      - copied unchanged from r152249,
trunk/gcc/testsuite/g++.dg/torture/pr40642.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/tree-ssa/pr41275.C
      - copied unchanged from r152249,
trunk/gcc/testsuite/g++.dg/tree-ssa/pr41275.C
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/cond-constqual-1.c
      - copied unchanged from r152248,
trunk/gcc/testsuite/gcc.dg/cond-constqual-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41248.c
      - copied unchanged from r152248, trunk/gcc/testsuite/gcc.dg/pr41248.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41295.c
      - copied unchanged from r152249, trunk/gcc/testsuite/gcc.dg/pr41295.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41470.c
      - copied unchanged from r152248, trunk/gcc/testsuite/gcc.dg/pr41470.c
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr41212.f90
      - copied unchanged from r152249,
trunk/gcc/testsuite/gfortran.dg/pr41212.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr41347.f90
      - copied unchanged from r152249,
trunk/gcc/testsuite/gfortran.dg/pr41347.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/proc_ptr_comp_21.f90
      - copied unchanged from r152249,
trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_21.f90
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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