From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23804 invoked by alias); 16 Apr 2014 18:32:35 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 23769 invoked by uid 48); 16 Apr 2014 18:32:31 -0000 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/60823] [4.9/4.10 Regression] ICE in gimple_expand_cfg, at cfgexpand.c:5644 Date: Wed, 16 Apr 2014 18:32:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization 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: ASSIGNED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.9.1 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_status assigned_to attachments.created Message-ID: In-Reply-To: References: 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: 2014-04/txt/msg01208.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60823 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #4 from Jakub Jelinek --- Created attachment 32618 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32618&action=edit gcc49-pr60823.patch Untested work in progress patch. We weren't adjusting PHIs (arguments or result vars), but what the code was doing was simply wrong anyway whenever there would be an overlap between SSA_NAMEs refering to the same PARM_DECL. This patch should fix that, and contains testcases for both ice-on-valid and wrong-code without the patch, but I'll still need to look at handling of addressable parameters that are requested to be vectorized plus write testcases for that.