This is the mail archive of the gcc-patches@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: [patch] tree-vrp.c: Compute a correct range when adding two pointers.

From: Diego Novillo <dnovillo at redhat dot com>
To: Jeffrey A Law <law at redhat dot com>
Cc: Kazu Hirata <kazu at codesourcery dot com>, gcc-patches at gcc dot gnu dot org
Date: Thu, 23 Jun 2005 11:45:17 -0400
Subject: Re: [patch] tree-vrp.c: Compute a correct range when adding two pointers.
References: <200506231511.j5NFBSrS029224@sethra.codesourcery.com> <1119540550.24580.60.camel@localhost.localdomain>

On Thu, Jun 23, 2005 at 09:29:09AM -0600, Jeffrey A Law wrote:

> Does this ever happen in practice?  While I can follow the reasoning
> which leads to a non-null result for R, I have a hard time seeing
> this happening often enough in real code to matter.
> 
The real fix was that VRP was thinking that NULL + NULL == ~NULL.


Diego.

References:
- [patch] tree-vrp.c: Compute a correct range when adding two pointers.
  - From: Kazu Hirata
- Re: [patch] tree-vrp.c: Compute a correct range when adding twopointers.
  - From: Jeffrey A Law

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