From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15567 invoked by alias); 17 Mar 2003 23:46:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 15519 invoked by uid 71); 17 Mar 2003 23:46:01 -0000 Resent-Date: 17 Mar 2003 23:46:01 -0000 Resent-Message-ID: <20030317234601.15518.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, mast@lysator.liu.se Received: (qmail 31477 invoked by uid 48); 17 Mar 2003 23:43:20 -0000 Message-Id: <20030317234320.31476.qmail@sources.redhat.com> Date: Mon, 17 Mar 2003 23:46:00 -0000 From: mast@lysator.liu.se Reply-To: mast@lysator.liu.se To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: optimization/10125: Infinite loop caused by -O2 X-SW-Source: 2003-03/txt/msg01177.txt.bz2 List-Id: >Number: 10125 >Category: optimization >Synopsis: Infinite loop caused by -O2 >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: wrong-code >Submitter-Id: net >Arrival-Date: Mon Mar 17 23:46:01 UTC 2003 >Closed-Date: >Last-Modified: >Originator: Martin Stjernholm >Release: gcc version 3.2.3 20030309 (Debian prerelease) >Organization: >Environment: Linux 2.4.20, i686, libc 2.3.1 Reading specs from /usr/lib/gcc-lib/i386-linux/3.2.3/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,proto,pascal,objc,ada --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.2 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --enable-__cxa_atexit --enable-clocale=gnu --enable-java-gc=boehm --enable-objc-gc i386-linux Thread model: posix >Description: The supplied program doesn't terminate with -O2. It works correctly without optimization, with -O and with -O3. It's a regression since gcc 2.95.4. >How-To-Repeat: Compile the following using "gcc -O2 bug.c". The resulting binary doesn't terminate when run. int *foo (void) __attribute__ ((__const)); int *foo (void) { static int arr[] = {1, 0}; return arr; } int main() { signed char *c = "\0\1"; signed char **s = &c; while (foo()[**(unsigned char **)s] & 1) ++*s; } >Fix: >Release-Note: >Audit-Trail: >Unformatted: