From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5246 invoked by alias); 8 Jul 2011 04:56:35 -0000 Received: (qmail 5233 invoked by uid 22791); 8 Jul 2011 04:56:34 -0000 X-SWARE-Spam-Status: No, hits=-2.9 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from localhost (HELO gcc.gnu.org) (127.0.0.1) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 08 Jul 2011 04:56:17 +0000 From: "spop at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/49632] ICE in compute_affine_dependence (tree-data-ref.c:4038) with -O3 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: minor X-Bugzilla-Who: spop at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P5 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Priority Status Last reconfirmed Ever Confirmed Severity 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 Date: Fri, 08 Jul 2011 04:56:00 -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 X-SW-Source: 2011-07/txt/msg00573.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49632 Sebastian Pop changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P5 Status|UNCONFIRMED |NEW Last reconfirmed| |2011.07.08 04:55:59 Ever Confirmed|0 |1 Severity|normal |minor --- Comment #2 from Sebastian Pop 2011-07-08 04:55:59 UTC --- Further reduced the testcase to: extern int k, A[7][7]; void f (void) { for (int i = 0; i < 5; ++i) for (int j = 0; j < 5; ++j) for (k = 4; k >= 0; --k) A[i][j] = A[i][j+1]; } And with this testcase, I have the following error: | (Number of distance vectors differ: Banerjee has 1, Omega has 2. | Banerjee dist vectors: | 0 1 0 | Omega dist vectors: | 0 1 0 | 0 -1 0 And here again, Omega is wrong: a distance vector has to be lexicographically positive: i.e., the first non zero component in a distance vector (lexicographically = from left to right) should be positive, and so the distance vector "0 -1 0" is wrong. As in PR46851, I will just lower the priority of this bug: Omega is not used elsewhere than in the implementation of -fcheck-data-deps.