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][PING] Teach VRP about range checks

From: Duncan Sands <duncan dot sands at math dot u-psud dot fr>
To: gcc-patches at gcc dot gnu dot org
Cc: Richard Guenther <rguenther at suse dot de>, Diego Novillo <dnovillo at google dot com>
Date: Fri, 28 Mar 2008 13:45:18 +0100
Subject: Re: [PATCH][PING] Teach VRP about range checks
References: <Pine.LNX.4.64.0803201538090.4133@zhemvz.fhfr.qr> <b798aad50803271741y432ca02en592c8d4623b90e44@mail.gmail.com> <Pine.LNX.4.64.0803281314150.4133@zhemvz.fhfr.qr>

Hi Richard, is VRP now making deductions based on
TYPE_MIN_VALUE/TYPE_MAX_VALUE?  The reason I ask is
that attempts to do this in the past caused problems,
because fold liked to perform transformations that
created values outside the type range (it should do
the transform in the base type rather than the type).
If you have fixed all this that would be great news!

Best wishes,

Duncan.

Follow-Ups:
- Re: [PATCH][PING] Teach VRP about range checks
  - From: Richard Guenther

References:
- [PATCH][PING] Teach VRP about range checks
  - From: Richard Guenther
- Re: [PATCH][PING] Teach VRP about range checks
  - From: Diego Novillo
- Re: [PATCH][PING] Teach VRP about range checks
  - From: Richard Guenther

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