From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 16361 invoked by alias); 8 Nov 2007 12:54:24 -0000 Received: (qmail 16268 invoked by uid 48); 8 Nov 2007 12:54:01 -0000 Date: Thu, 08 Nov 2007 12:54:00 -0000 Message-ID: <20071108125401.16267.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/32575] [4.2/4.3 regression] With -ftree-vrp miscompiles a single line of code in SQLite In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "jakub at gcc dot gnu dot org" 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: 2007-11/txt/msg00675.txt.bz2 ------- Comment #16 from jakub at gcc dot gnu dot org 2007-11-08 12:54 ------- Continuing after the #c11 .. #c15 unrelated PR32540 comments with the original bug: I've built -r127926 and -r127927 cc1 and it seems this wasn't fixed just by a side-effect. Although p can be either retval of foo or &q, we had in 127926: # pD.2027_1 = PHI # qD.2028_18 = VDEF { qD.2028 } pD.2027_1->s1D.2010 = aD.2023_6(D); while 127927 has: # pD.2027_1 = PHI # qD.2028_19 = VDEF # SMT.26D.2082_20 = VDEF { qD.2028 SMT.26D.2082 } pD.2027_1->s1D.2010 = aD.2023_6(D); -pD.2027_1, name memory tag: NMT.27D.2083, is dereferenced, points-to vars: { q } +pD.2027_1, name memory tag: NMT.27D.2083, is dereferenced, points-to vars: { q SMT.26 } So guess I'll just submit the testcase for inclusion on the trunk and then we can close this PR. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32575