[Bug bootstrap/48158] New: [4.7 Regression] profiledbootstrap failure on x86_64-linux

[Bug bootstrap/48158] New: [4.7 Regression] profiledbootstrap failure on x86_64-linux

[jakub at gcc dot gnu.org]

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

           Summary: [4.7 Regression] profiledbootstrap failure on
                    x86_64-linux
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jakub@gcc.gnu.org
                CC: davidxl@gcc.gnu.org


Created attachment 23686
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23686
go.ii

profiledbootstrap on x86_64-linux fails while building go.
Attached is a distilled testcase:
./cc1plus -quiet -O2 -Wall -fprofile-use go.ii -w
go.ii: In function ‘std::basic_string<_CharT, <template-parameter-1-2>,
<template-parameter-1-3> >::~basic_string() [with _CharT =
std::allocator<char>, <template-parameter-1-2> =
std::char_traits<std::allocator<char> >, _Alloc =
std::allocator<std::allocator<char> >]’:
go.ii:116:1: note: file /usr/src/gcc/obj534a/gcc/go.gcda not found, execution
counts estimated
go.ii: In member function ‘Type* Parse::type()’:
go.ii:107:8: internal compiler error: vector VEC(use_pred_info_t,base) index
domain error, in pred_chain_length_cmp at tree-ssa-uninit.c:1626
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

go.gcda isn't needed...

[Bug bootstrap/48158] [4.7 Regression] profiledbootstrap failure on x86_64-linux

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

[Bug bootstrap/48158] [4.7 Regression] profiledbootstrap failure on x86_64-linux

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-17 14:10:39 UTC ---
The issue is that in one of the chains passed to
convert_control_dep_chain_into_preds contains just one edge, one where a
GIMPLE_CALL has more than one edge and so we skip it.  This means we end up
with some preds vectors containing no use_pred_info pointers at all (empty,
NULL).
The qsort comparison routine unconditionally looks at the first condition and
so it ICEs.

Following patchlet fixes it, but no idea whether it is the right thing to do,
or whether the problem is elsewhere.

--- gcc/tree-ssa-uninit.c.jj    2011-03-16 18:30:12.000000000 +0100
+++ gcc/tree-ssa-uninit.c    2011-03-17 15:07:04.000000000 +0100
@@ -414,6 +414,9 @@ convert_control_dep_chain_into_preds (VE
           VEC_safe_push (use_pred_info_t, heap, (*preds)[i], one_pred);
         }

+      if (VEC_empty (use_pred_info_t, (*preds)[i]))
+    has_valid_pred = false;
+
       if (!has_valid_pred)
         break;
     }

[Bug bootstrap/48158] [4.7 Regression] profiledbootstrap failure on x86_64-linux

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-06 17:22:39 UTC ---
Ping, just hit this during Ada LTO bootstrap, so it isn't limited to Go...

[Bug bootstrap/48158] [4.7 Regression] profiledbootstrap failure on x86_64-linux

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-13 07:22:08 UTC ---
Fixed by PR48484 fix.

*** This bug has been marked as a duplicate of bug 48484 ***