From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24761 invoked by alias); 9 Mar 2010 03:49:01 -0000 Received: (qmail 24698 invoked by uid 48); 9 Mar 2010 03:48:49 -0000 Date: Tue, 09 Mar 2010 03:49:00 -0000 Message-ID: <20100309034849.24697.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/42181] [4.5 Regression][graphite] -fgraphite-identity miscompiles air.f90 In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "howarth at nitro dot med dot uc dot edu" 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: 2010-03/txt/msg00753.txt.bz2 ------- Comment #21 from howarth at nitro dot med dot uc dot edu 2010-03-09 03:48 ------- Interestingly, I get... gfortran -fgraphite-identity -O3 -Wstrict-overflow=5 -c spectop.f90 spectop.f90: In function ‘spectop’: spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 spectop.f90:5:0: warning: assuming signed overflow does not occur when reducing constant in comparison spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 spectop.f90:5:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 whereas without -fgraphite-identity, I get... gfortran -O3 -Wstrict-overflow=5 -c spectop.f90 spectop.f90: In function ‘spectop’: spectop.f90:23:0: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C1 +- C2 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181