This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Possible bug in tree-vrp.c:vrp_visit_phi_node

From: Diego Novillo <dnovillo at redhat dot com>
To: law at redhat dot com
Cc: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, gcc at gcc dot gnu dot org
Date: Thu, 08 Sep 2005 11:33:34 -0400
Subject: Re: Possible bug in tree-vrp.c:vrp_visit_phi_node
References: <10509052139.AA02473@vlsi1.ultra.nyu.edu> <1126124318.22491.53.camel@localhost.localdomain>

On 09/07/05 16:18, Jeffrey A Law wrote:

Are you getting something different?

We'd probably trigger a problem if

   lhs_vr = [0, max]
   vr_result = ~[max, max]

in that case, the code at the end of vrp_visit_phi_node would erroneously set VR_RESULT to ~[-INF, max], which I can see causing problems.

References:
- Possible bug in tree-vrp.c:vrp_visit_phi_node
  - From: Richard Kenner
- Re: Possible bug in tree-vrp.c:vrp_visit_phi_node
  - From: Jeffrey A Law

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]