[Bug lto/40410] New: [LTO] ICE verify_stmts failed

[Bug lto/40410] New: [LTO] ICE verify_stmts failed

[rmansfield at qnx dot com]

$ ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: powerpc-unknown-linux-gnu
Configured with: ../configure --target=powerpc-unknown-linux-gnu
--prefix=/home/ryan/cross/powerpc-unknown-linux-gnu/
--with-local-prefix=/home/ryan/cross/powerpc-unknown-linux-gnu/powerpc-unknown-linux-gnu/sys-root
--disable-multilib
--with-sysroot=/home/ryan/cross/powerpc-unknown-linux-gnu/powerpc-unknown-linux-gnu/sys-root
--enable-shared --with-gmp=/home/ryan/cross/powerpc-unknown-linux-gnu
--with-mpfr=/home/ryan/cross/powerpc-unknown-linux-gnu --enable-__cxa_atexit
--disable-nls --enable-symvers=gnu --enable-languages=c
--enable-target-optspace --enable-lto
Thread model: posix
gcc version 4.5.0 20090605 (experimental) (lto merged with rev 148228)



$ ./xgcc -B. -flto -shared ctanf.o ctanhl.o ctanh.o
In function 'ctanh':
lto1: error: invalid conversion in gimple call
const long double

<float:64>

tv_34 = tan (im.7_33);

lto1: error: invalid conversion in gimple call
const long double

<float:64>

sv_36 = _Sinh (re.3_35, 1.0e+0);

lto1: error: type mismatch in binary expression
<float:64>

const long double

const long double

D.2436_37 = tv_34 * tv_34;

lto1: error: type mismatch in binary expression
const long double

<float:64>

const long double

bv_39 = D.2437_38 * sv_36;

lto1: error: type mismatch in binary expression
<float:64>

const long double

const long double

D.2438_40 = bv_39 * sv_36;

lto1: error: type mismatch in binary expression
const long double

<float:64>

<float:64>

dv_41 = D.2438_40 + 1.0e+0;

lto1: error: type mismatch in comparison expression
<unnamed type>
<float:64>
const long double
if (D.2439_42 == dv_41)

lto1: error: type mismatch in binary expression
<float:64>

const long double

<float:64>

D.2447_46 = tv_34 * 0.0;

lto1: error: type mismatch in binary expression
<float:64>

const long double

const long double

D.2448_48 = sv_36 * sv_36;

lto1: error: type mismatch in binary expression
<float:64>

<float:64>

const long double

D.2451_51 = D.2450_50 * bv_39;

lto1: error: type mismatch in binary expression
<float:64>

<float:64>

const long double

D.2452_52 = D.2451_51 / dv_41;

lto1: error: type mismatch in binary expression
<float:64>

const long double

const long double

D.2453_53 = tv_34 / dv_41;

lto1: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: ././xgcc returned 1 exit status
collect2: lto-wrapper returned 1 exit status


-- 
           Summary: [LTO] ICE verify_stmts failed
           Product: gcc
           Version: lto
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rmansfield at qnx dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: powerpc-unknown-linux-gnu


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

[Bug lto/40410] [LTO] ICE verify_stmts failed

[rmansfield at qnx dot com]

------- Comment #1 from rmansfield at qnx dot com  2009-06-10 22:08 -------
Created an attachment (id=17978)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17978&action=view)
testcase


-- 


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

[Bug lto/40410] [LTO] ICE verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-06-13 13:58 -------
I guess the types used for builtins are not properly unified with the
streamed in types?


-- 


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

[Bug lto/40410] [LTO] ICE verify_stmts failed

[bje at gcc dot gnu dot org]

------- Comment #3 from bje at gcc dot gnu dot org  2009-07-09 05:38 -------
On powerpc-linux, the original ICE has been replaced with:

$ ./xgcc -B. -flto -shared ctanf.o ctanhl.o ctanh.o
lto1: internal compiler error: in lto_read_file_options, at lto-opts.c:348
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

(lto revision 149400)


-- 

bje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-07-09 05:38:27
               date|                            |


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

[Bug lto/40410] [LTO] ICE verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-09-16 13:28 -------
Object files are not useful as a testcase as the object format is not
transferable
between versions.  Please provide sources.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


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

[Bug lto/40410] [LTO] ICE verify_stmts failed

[rmansfield at qnx dot com]

------- Comment #5 from rmansfield at qnx dot com  2009-09-16 13:55 -------
I will have to reduce the source testcase before I can provide it. I tried to
reproduce this PR with gcc version 4.5.0 20090910 (experimental) [lto revision
151644] (lto merged with rev 150842) and I now hit the ICE reported in PR41173.

lto1: fatal error: internal error: builtin function to __builtin_bswap16
already processed.
compilation terminated.

Also, I had recently seen a couple of verify_stmts ICES on SH4 (using same rev
as the ppc toolchain)

Example #1.

In function 'inflateCopy':
lto1: error: non-trivial conversion at assignment
struct internal_state *
struct inflate_state *
# .MEM_82 = VDEF <.MEM_81>
dest_3(D)->state = copy_16;

lto1: internal compiler error: verify_stmts failed

Example #2.

lto1: error: type mismatch in indirect reference
const struct PtTerminalWidget_t

const struct PtTerminalWidget_t

# VUSE <.MEM_7(D)>
D.140180_2 = term_1(D)->cm.size;

Example #3:

lto1: error: non-trivial conversion at assignment
struct xmlDict *
struct _xmlDict *
# VUSE <.MEM_16(D)>
dict_6 = D.24482_5->dict;


Is one testcase for the sh ICEs enough or one for each ICE? 


-- 


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

[Bug lto/40410] [LTO] ICE verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2009-10-03 22:11 -------
One testcase is enough for each ICE, please use different bugs for different
ICEs.  Closing this one to start with clean bugs.


-- 

rguenth at gcc dot gnu dot org changed:

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


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