[Bug ipa/59265] [4.9 Regression] Segmentation fault in ipa_note_param_call for -fprofile-use in SPEC CPU2006

["octoploid at yandex dot com" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #15 from Markus Trippelsdorf <octoploid at yandex dot com> ---
(In reply to Jan Hubicka from comment #14)
> Fixed. Thank you for testing it.  The Firefox ICE
> Seems to fix Mozilla build untill the next (unrelated) ICE:
> 
> /var/tmp/mozilla-central/js/src/vm/Stack.cpp: In member function
> ‘operator++’:
> /var/tmp/mozilla-central/js/src/vm/Stack.cpp:717:1: internal compiler error:
> in fixup_reorder_chain, at cfgrtl.c:3739
>  }
>  ^
> 0x5b594c fixup_reorder_chain
>         ../../gcc/gcc/cfgrtl.c:3738
> 0x5b594c cfg_layout_finalize()
>         ../../gcc/gcc/cfgrtl.c:4295
> 0xd42eb2 duplicate_computed_gotos
>         ../../gcc/gcc/bb-reorder.c:2492
> 0xd42eb2 execute
>         ../../gcc/gcc/bb-reorder.c:2524
> Please submit a full bug report,
> 
> is apparently related to Tereza's patch enabling
> -freroder-blocks-and-partition (and -fno-reorder-blocks-and-partition should
> be a workaround). Can you, please, open a new PR for it, if not reported
> already?

PR59527.

It looks like the fixes for this bug may be buggy, because with 
-fno-reorder-blocks-and-partition I get:

Executing: c++ -o js -Wall -Wpointer-arith -Woverloaded-virtual
-Werror=return-type -Wtype-limits -Wempty-body -Werror=conversion-null
-Wsign-compare -Wno-invalid-offsetof -Wcast-align -flto=4 -fprofile-use
-fprofile-correction -fno-reorder-blocks-and-partition -march=native -fno-rtti
-fno-exceptions -fno-math-errno -std=gnu++0x -pthread -pipe -DNDEBUG -DTRIMMED
-O3 -fomit-frame-pointer /var/tmp/moz-build-dir/js/src/shell/tmpD2q9gU.list
-lpthread -Wl,-z,noexecstack -Wl,-z,text -Wl,--build-id
-Wl,-rpath-link,../../../dist/bin
-Wl,-rpath-link,/var/tmp/moz-build-dir/dist/lib -L../../../dist/bin
-L../../../dist/lib -L/var/tmp/moz-build-dir/dist/lib -lnspr4 -lplc4 -lplds4
../libjs_static.a -lz -Wl,--whole-archive ../../../dist/lib/libmozglue.a
-Wl,--no-whole-archive -rdynamic -lm -ldl -lffi
/var/tmp/moz-build-dir/js/src/shell/tmpD2q9gU.list:
    INPUT("Unified_cpp_shell0.o")
    INPUT("../editline/Unified_c_editline0.o")

In member function ‘extractBetween’:
lto1: fatal error: Cgraph edge statement index out of range
compilation terminated.
>From gcc-bugs-return-437735-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Dec 16 15:08:24 2013
Return-Path: <gcc-bugs-return-437735-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15039 invoked by alias); 16 Dec 2013 15:08:23 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 14985 invoked by uid 48); 16 Dec 2013 15:08:18 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/59471] [4.9 Regression] ICE using vector extensions (non-top-level BIT_FIELD_REF, IMAGPART_EXPR or REALPART_EXPR)
Date: Mon, 16 Dec 2013 15:08:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-59471-4-tK5rUASbzu@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59471-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59471-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-12/txt/msg01390.txt.bz2
Content-length: 857

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY471

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jamborm at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This started failing when the assertion has been added:
http://gcc.gnu.org/ml/gcc-patches/2013-05/msg01265.html
There is no code to ensure that it won't happen though.
So, either the verification patch should be reverted and SRA adjusted to cope
with this, or something in gimple-expr.[ch] ? will need to be adjusted to
reject it (but e.g. making is_gimple_addressable more expensive might be a
problem).