[Bug bootstrap/48964] New: [4.7 Regression] LTO profiledbootstrap failure

[Bug bootstrap/48964] New: [4.7 Regression] LTO profiledbootstrap failure

[hjl.tools at gmail dot com]

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

           Summary: [4.7 Regression] LTO profiledbootstrap failure
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: hjl.tools@gmail.com
                CC: rguenth@gcc.gnu.org


On Linux/x86-64, revision 173650 gave

make[3]: *** [profiledbootstrap] Error 2
make[2]: *** [profiledbootstrap] Error 2
In file included from :241:0:
../../src-trunk/gcc/config/i386/i386.c: In function
'ix86_expand_special_args_builtin.isra.11':
../../src-trunk/gcc/config/i386/i386.c:27051:1: error: type mismatch in array
reference
const struct insn_data_d

const struct insn_data_d

insn_p_3 = &insn_data[icode_2];

../../src-trunk/gcc/config/i386/i386.c:27051:1: internal compiler error:
verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[7]: *** [/tmp/ccvmsPXS.ltrans4.ltrans.o] Error 1
make[7]: *** Waiting for unfinished jobs....
lto-wrapper: make returned 2 exit status
/usr/local/x86_64-unknown-linux-gnu/bin/ld: lto-wrapper failed
collect2: ld returned 1 exit status
make[6]: *** [f951] Error 1
../../src-trunk/gcc/recog.h:249:26: warning: type of 'recog_data' does not
match original declaration [enabled by default]
../../src-trunk/gcc/recog.h:249:0: warning: type of 'recog_data' does not match
original declaration [enabled by default]
../../src-trunk/gcc/recog.c:84:19: note: previously declared here
../../src-trunk/gcc/langhooks.h:481:0: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:0: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/langhooks.h:481:26: warning: type of 'lang_hooks' does not
match original declaration [enabled by default]
../../src-trunk/gcc/java/lang.c:177:19: note: previously declared here
In file included from :862:0:
../../src-trunk/gcc/config/i386/i386.c: In function
'ix86_expand_special_args_builtin.isra.11':
../../src-trunk/gcc/config/i386/i386.c:27051:1: error: type mismatch in array
reference
const struct insn_data_d

const struct insn_data_d

insn_p_3 = &insn_data[icode_2];

../../src-trunk/gcc/config/i386/i386.c:27051:1: internal compiler error:
verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[7]: *** [/tmp/ccBas4kP.ltrans3.ltrans.o] Error 1
make[7]: *** Waiting for unfinished jobs....
In file included from :477:0:
../../src-trunk/gcc/config/i386/i386.c: In function 'ix86_expand_builtin':
../../src-trunk/gcc/config/i386/i386.c:27379:1: error: type mismatch in array
reference
const struct insn_data_d

const struct insn_data_d

insn_p_937 = &insn_data[icode_936];

../../src-trunk/gcc/config/i386/i386.c:27379:1: internal compiler error:
verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[7]: *** [/tmp/ccBas4kP.ltrans2.ltrans.o] Error 1
lto-wrapper: make returned 2 exit status
/usr/local/x86_64-unknown-linux-gnu/bin/ld: lto-wrapper failed
collect2: ld returned 1 exit status
make[6]: *** [jc1] Error 1

Revision 173648 is OK.

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-11 13:43:26 UTC ---
I suspect it's http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173653, maybe
also causing some SPEC2k6 issues that I now run into.

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2011-05-11 13:55:22 UTC ---
It is caused by revision 173649:

http://gcc.gnu.org/ml/gcc-cvs/2011-05/msg00427.html

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.05.11 15:03:29
     Ever Confirmed|0                           |1

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-11 15:03:29 UTC ---
Btw, the refered patch should at most cause more types to be considered
equal by the type verifier, not less ... at least I can't see the obvious
difference.  Hmm.

But, confirmed.

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-11 15:23:28 UTC ---
Index: gcc/gimple.c
===================================================================
--- gcc/gimple.c        (revision 173655)
+++ gcc/gimple.c        (working copy)
@@ -4304,7 +4304,7 @@ iterative_hash_canonical_type (tree type
   m.base.from = type;
   if ((slot = htab_find_slot (canonical_type_hash_cache, &m, INSERT))
       && *slot)
-    return iterative_hash_hashval_t (((struct tree_int_map *) *slot)->to, 0);
+    return iterative_hash_hashval_t (((struct tree_int_map *) *slot)->to,
val);

   /* Combine a few common features of types so that types are grouped into
      smaller sets; when searching for existing matching types to merge,

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-11 15:22:28 UTC ---
Argh.  I have an obvious patch.

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-11 15:45:02 UTC ---
Author: rguenth
Date: Wed May 11 15:44:59 2011
New Revision: 173663

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173663
Log:
2011-05-11  Richard Guenther  <rguenther@suse.de>

    PR middle-end/48964
    * gimple.c (iterative_hash_canonical_type): Fix typo.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple.c

[Bug bootstrap/48964] [4.7 Regression] LTO profiledbootstrap failure

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-11 15:46:29 UTC ---
Fixed.