From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-215432-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 26734 invoked by alias); 11 Apr 2007 06:38:15 -0000
Received: (qmail 26700 invoked by uid 48); 11 Apr 2007 06:38:04 -0000
Date: Wed, 11 Apr 2007 06:38:00 -0000
Message-ID: <20070411063804.26699.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-31522-6528@http.gcc.gnu.org/bugzilla/>
Subject: [Bug tree-optimization/31522] False overflow warning with phi nodes
In-Reply-To: <bug-31522-6528@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2007-04/txt/msg00742.txt.bz2



------- Comment #7 from pinskia at gcc dot gnu dot org  2007-04-11 07:38 -------
> What do you think of this patch?
This patch makes cc1 go into an infinite loop for the following code (which you
semi already said why you needed the phi merge to do this):
int f(void)
{
  int i, bits = 0;
   for (i = 1; i > 0; ++i) ++bits;
  if (i > 0)  return 1;
  return bits;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31522