[Bug ipa/65087] New: [5 Regression] r220742 causes: ICE:

[Bug ipa/65087] New: [5 Regression] r220742 causes: ICE:

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

            Bug ID: 65087
           Summary: [5 Regression] r220742 causes: ICE:
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
                CC: hubicka at gcc dot gnu.org, jakub at gcc dot gnu.org,
                    jgreenhalgh at gcc dot gnu.org

Building Firefox with LTO on gcc112 fails during final libxul link
since r220742:

lto1: internal compiler error: in ipcp_verify_propagated_values, at
ipa-cp.c:1057
0x10d1202f ipcp_verify_propagated_values()
        ../../gcc/gcc/ipa-cp.c:1057
0x10d1415b ipcp_propagate_stage
        ../../gcc/gcc/ipa-cp.c:2758
0x10d1415b ipcp_driver
        ../../gcc/gcc/ipa-cp.c:4407
0x10d1415b execute
        ../../gcc/gcc/ipa-cp.c:4502
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: fatal error: ../../../gcc_test/usr/local/bin/c++ returned 1 exit
status

A similar issue was fixed a few days ago: PR64978

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 34786
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34786&action=edit
V491

Can you please try the change suggested by Honza, i.e. only copy over section
if it was user provided (if the flag reflects that?)?  ipa.exp and dg.exp=ipa/*
still pass with it.
If that doesn't help, I'm afraid I'll need to ask Honza or Martin for help.

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jamborm at gcc dot gnu.org
   Target Milestone|---                         |5.0

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Honza's suggested change works fine.

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-02-17
     Ever confirmed|0                           |1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Thanks.  The question is if it doesn't make just some issue latent, because the
section name will be copied over much less often.
But sure, I can bootstrap/regtest this and ask Honza for review.

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb 18 11:37:02 2015
New Revision: 220786

URL: https://gcc.gnu.org/viewcvs?rev=220786&root=gcc&view=rev
Log:
    PR ipa/65087
    * cgraphclones.c (cgraph_node::create_virtual_clone): Only copy
    section if !implicit_section.
    (cgraph_node::create_version_clone_with_body): Likewise.
    * trans-mem.c (ipa_tm_create_version): Likewise.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraphclones.c
    trunk/gcc/trans-mem.c

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Fixed. 
Testcase reduction takes ages. Will hopefully be able to post one tomorrow.

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #6 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
This issue still happens on ppc64le with -Os -flto -fdevirtualize-at-ltrans

trippels@gcc2-power8 library % cat minimal
/home/trippels/moz-build-dir/toolkit/library/../../gfx/2d/DrawTargetRecording.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/2d/FilterNodeSoftware.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/layers/ImageContainer.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/layers/Layers.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/layers/ImageLayers.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/layers/CompositorParent.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/layers/ImageBridgeChild.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/layers/LayerTransactionParent.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/thebes/gfxPangoFonts.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/thebes/gfxPlatform.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/thebes/gfxFont.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/thebes/gfxFontEntry.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/thebes/gfxPlatformFontList.o
/home/trippels/moz-build-dir/toolkit/library/../../gfx/thebes/gfxTextRun.o
trippels@gcc2-power8 library % ~/gcc_test/usr/local/bin/g++ -flto
-fdevirtualize-at-ltrans -shared @minimal
lto1: internal compiler error: in ipcp_verify_propagated_values, at
ipa-cp.c:1057
0x10d300cf ipcp_verify_propagated_values()
        ../../gcc/gcc/ipa-cp.c:1057
0x10d3221b ipcp_propagate_stage
        ../../gcc/gcc/ipa-cp.c:2757
0x10d3221b ipcp_driver
        ../../gcc/gcc/ipa-cp.c:4415
0x10d3221b execute
        ../../gcc/gcc/ipa-cp.c:4510
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: fatal error: /home/trippels/gcc_test/usr/local/bin/g++ returned 1
exit status

(I don't have the necessary motivation to reduce 14 files individually.)

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

--- Comment #7 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
-fno-ipa-icf fixes the issue from comment 6.

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[marxin at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 3023 bytes --]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
So the problem is caused by ICF which makes a symbol to have no direct calls
(and no references). As a result IPA CP triggers verification failure. I hope
the right solution is to append TODO_remove_function for ICF IPA pass.

I've been testing following patch:

diff --git a/gcc/ipa-icf.c b/gcc/ipa-icf.c
index 31fcbec..56f59a9 100644
--- a/gcc/ipa-icf.c
+++ b/gcc/ipa-icf.c
@@ -3049,7 +3049,7 @@ const pass_data pass_data_ipa_icf =
   0,                        /* properties_provided */
   0,                        /* properties_destroyed */
   0,                        /* todo_flags_start */
-  0,                        /* todo_flags_finish */
+  TODO_remove_functions,    /* todo_flags_finish */
 };

 class pass_ipa_icf : public ipa_opt_pass_d

Martin
>From gcc-bugs-return-479008-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Mar 02 16:10:36 2015
Return-Path: <gcc-bugs-return-479008-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 36753 invoked by alias); 2 Mar 2015 16:10:36 -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 36707 invoked by uid 48); 2 Mar 2015 16:10:32 -0000
From: "meissner at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65138] [5 Regression] testsuite ICEs on powerpc64le
Date: Mon, 02 Mar 2015 16:10:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: meissner 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: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-65138-4-u5tk91Bbk2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65138-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65138-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: 2015-03/txt/msg00152.txt.bz2
Content-length: 341

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide138

--- Comment #6 from Michael Meissner <meissner at gcc dot gnu.org> ---
Created attachment 34923
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id4923&actioníit
Proposed patch to fix the problem

I'm going to run full tests on this patch, but this patch appears to fix the
problem.

[Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057

[marxin at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 13408 bytes --]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Tue Mar  3 09:21:56 2015
New Revision: 221133

URL: https://gcc.gnu.org/viewcvs?rev=221133&root=gcc&view=rev
Log:
Fix PR ipa/65087.

    PR ipa/65087
    * ipa-icf.c (sem_item_optimizer::execute): Change function
    return value to boolean.
    (sem_item_optimizer::merge_classes): Likewise.
    (ipa_icf_driver): Return TODO_remove_functions in case there's
    a merge operation processed.
    * ipa-icf.h: Change function return value to boolean.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-icf.c
    trunk/gcc/ipa-icf.h
>From gcc-bugs-return-479117-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 03 09:26:58 2015
Return-Path: <gcc-bugs-return-479117-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 70364 invoked by alias); 3 Mar 2015 09:26:57 -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 70035 invoked by uid 55); 3 Mar 2015 09:26:54 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65263] [5 Regression] ICE (error: unrecognizable insn / in insn_min_length, at config/rs6000/rs6000.md) on powerpc64le-linux-gnu
Date: Tue, 03 Mar 2015 09:26:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-65263-4-RUJo5Rz9Kf@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65263-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65263-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg00261.txt.bz2
Content-length: 751

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65263

--- Comment #12 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Tue Mar  3 09:26:20 2015
New Revision: 221134

URL: https://gcc.gnu.org/viewcvs?rev=221134&root=gcc&view=rev
Log:
Fix PR ipa/65263.

    PR ipa/65263
    * cgraph.c (cgraph_node::has_thunk_p): New function.
    * cgraph.h (cgraph_node::has_thunk_p: Likewise.
    * ipa-icf.c (redirect_all_callers): Do not redirect thunks.
    (sem_function::merge): Assert is changed.
    * g++.dg/ipa/pr65263.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/ipa/pr65263.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraph.c
    trunk/gcc/cgraph.h
    trunk/gcc/ipa-icf.c
    trunk/gcc/testsuite/ChangeLog
>From gcc-bugs-return-479118-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 03 09:28:00 2015
Return-Path: <gcc-bugs-return-479118-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 75091 invoked by alias); 3 Mar 2015 09:27:59 -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 75018 invoked by uid 48); 3 Mar 2015 09:27:56 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/65087] [5 Regression] r220742 causes: ICE: in ipcp_verify_propagated_values, at ipa-cp.c:1057
Date: Tue, 03 Mar 2015 09:27:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-65087-4-rY6caMHqLG@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65087-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65087-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg00262.txt.bz2
Content-length: 441

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65087

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #10 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed in 5.0.
>From gcc-bugs-return-479119-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 03 09:28:26 2015
Return-Path: <gcc-bugs-return-479119-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 76762 invoked by alias); 3 Mar 2015 09:28:25 -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 76643 invoked by uid 48); 3 Mar 2015 09:28:22 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65263] [5 Regression] ICE (error: unrecognizable insn / in insn_min_length, at config/rs6000/rs6000.md) on powerpc64le-linux-gnu
Date: Tue, 03 Mar 2015 09:28:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-65263-4-FGuLexfG4Q@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65263-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65263-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg00263.txt.bz2
Content-length: 441

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65263

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #13 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed in 5.0.
>From gcc-bugs-return-479120-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 03 09:32:51 2015
Return-Path: <gcc-bugs-return-479120-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8662 invoked by alias); 3 Mar 2015 09:32:51 -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 4981 invoked by uid 48); 3 Mar 2015 09:32:47 -0000
From: "kariya_mitsuru at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/65295] New: [C++1y] constexpr function causes ICE if it returns a local variable bigger than 16 bytes
Date: Tue, 03 Mar 2015 09:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kariya_mitsuru at hotmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-65295-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: 2015-03/txt/msg00264.txt.bz2
Content-length: 3597

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide295

            Bug ID: 65295
           Summary: [C++1y] constexpr function causes ICE if it returns a
                    local variable bigger than 16 bytes
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kariya_mitsuru at hotmail dot com

Created attachment 34934
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id4934&actioníit
g++ -v

The sample code below causes ICE.

========================== sample code =========================struct arr {
    constexpr arr() : elem() {}
    char elem[17];
};

constexpr arr f()
{
    arr result;
    return result;
}

constexpr arr a{f()};

int main(){}
========================== sample code =========================
========================== ICE output =========================prog.cc:12:19:   in constexpr expansion of 'f()'
prog.cc:12:20: internal compiler error: in cxx_eval_constant_expression, at
cp/constexpr.c:2959
constexpr arr a{f()};
                   ^
0x6fac0e cxx_eval_constant_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:2959
0x6f86ed cxx_eval_constant_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:3117
0x6f84e2 cxx_eval_conditional_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:1678
0x6f84e2 cxx_eval_constant_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:3316
0x6fb451 cxx_eval_statement_list
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:2866
0x6f85ab cxx_eval_constant_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:3388
0x6f8ecc cxx_eval_constant_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:3394
0x6fde37 cxx_eval_call_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:1392
0x6f8eab cxx_eval_constant_expression
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:3021
0x6fb610 cxx_eval_outermost_constant_expr
    /home/heads/gcc/gcc-source/gcc/cp/constexpr.c:3529
0x639247 store_init_value(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
    /home/heads/gcc/gcc-source/gcc/cp/typeck2.c:833
0x60bde5 check_initializer
    /home/heads/gcc/gcc-source/gcc/cp/decl.c:6002
0x60cf3c cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
    /home/heads/gcc/gcc-source/gcc/cp/decl.c:6638
0x68108e cp_parser_init_declarator
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:17282
0x6826ec cp_parser_simple_declaration
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:11592
0x6829e3 cp_parser_block_declaration
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:11466
0x687db9 cp_parser_declaration
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:11363
0x68803a cp_parser_declaration_seq_opt
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:11249
0x68866f cp_parser_translation_unit
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:4100
0x68866f c_parse_file()
    /home/heads/gcc/gcc-source/gcc/cp/parser.c:33173
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
========================== ICE output =========================
cf. http://melpon.org/wandbox/permlink/GaYaqMrDUdWiU65i


It does not cause ICE if
  (1) sizeof(arr) is smaller than or equal to 16.
     cf. http://melpon.org/wandbox/permlink/lNwMp9fSmYG9vOzc
  or
  (2) it is compiled with -fno-elide-constructors.
     cf. http://melpon.org/wandbox/permlink/HK7UlzKRPmLTqmz7