From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15063 invoked by alias); 23 Jul 2005 16:36:55 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 15047 invoked by uid 48); 23 Jul 2005 16:36:52 -0000 Date: Sat, 23 Jul 2005 16:38:00 -0000 Message-ID: <20050723163652.15045.qmail@sourceware.org> From: "pinskia at gcc dot gnu dot org" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050723162927.22630.belyshev@depni.sinp.msu.ru> References: <20050723162927.22630.belyshev@depni.sinp.msu.ru> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug tree-optimization/22630] [4.1 Regression] vrp produces wrong code X-Bugzilla-Reason: CC X-SW-Source: 2005-07/txt/msg02966.txt.bz2 List-Id: ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-23 16:36 ------- Confirmed. For some reason we fold: Folding predicate p_1 != r_2 to 0 Folded statement: if (p_1 != r_2) goto ; else goto ; into: if (0) goto ; else goto ; p_1: ~[0B, 0B] EQUIVALENCES: { r_2 } (1 elements) r_2: VARYING q_3: [r_2, r_2] EQUIVALENCES: { r_2 } (1 elements) p_4: [r_2, r_2] EQUIVALENCES: { r_2 } (1 elements) r_7: ~[0B, 0B] EQUIVALENCES: { r_2 } (1 elements) # p_1 = PHI ; :; -- What |Removed |Added ---------------------------------------------------------------------------- CC| |pinskia at gcc dot gnu dot | |org Status|UNCONFIRMED |NEW Ever Confirmed| |1 Last reconfirmed|0000-00-00 00:00:00 |2005-07-23 16:36:51 date| | Summary|vrp produces wrong code |[4.1 Regression] vrp | |produces wrong code Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22630