From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26486 invoked by alias); 26 Oct 2012 10:33:19 -0000 Received: (qmail 26339 invoked by uid 48); 26 Oct 2012 10:32:56 -0000 From: "rguenth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/54570] [4.8 Regression] FAIL: gcc.dg/builtin-object-size-8.c execution test Date: Fri, 26 Oct 2012 10:33: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-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: rguenth 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.8.0 X-Bugzilla-Changed-Fields: 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/msg02428.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54570 --- Comment #9 from Richard Biener 2012-10-26 10:32:53 UTC --- Note that attributes on __builtin_object_size are wrong - it is marked as pure which means that struct A { char a[4]; int i; } x; __builtin_object_size (&x, 1) == __builtin_object_size (&x.a[0], 1) this only does not "break" as we fold the individual object size calls to (different) constants before checking whether they are equivalent calls. Same effect if it were const instead of pure.