From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31804 invoked by alias); 3 Oct 2012 16:40:37 -0000 Received: (qmail 31630 invoked by uid 48); 3 Oct 2012 16:40:08 -0000 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug debug/54796] [4.8 Regression] Non-addressable stack parameter debug quality regression Date: Wed, 03 Oct 2012 16:40:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: debug X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.8.0 X-Bugzilla-Changed-Fields: Target Milestone Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 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 X-SW-Source: 2012-10/txt/msg00220.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54796 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |4.8.0 --- Comment #1 from Jakub Jelinek 2012-10-03 16:40:04 UTC --- I think the problem is that by the time these vt_canon_true_dep calls are made, mloc's addr is some VALUE for which alias.c unfortunately no longer can figure out that they are sp based, as sp REG has been removed from all the VALUE locs. If we could somehow somewhere preserve the information that some VALUEs are sp based (i.e. find_base_term (val) == static_reg_base_value[STACK_POINTER_REGNUM]), then we could disambiguate at least that the sp based stores can't clobber global vars or hard frame pointer based MEMs.