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: Add overflow infinity handling to VRP

From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
To: iant at google dot com
Cc: duncan dot sands at math dot u-psud dot fr, gcc-patches at gcc dot gnu dot org
Date: Wed, 03 Jan 2007 13:02:29 EST
Subject: Re: Add overflow infinity handling to VRP
References: <m38xgloro6.fsf@localhost.localdomain> <200701031149.38926.duncan.sands@math.u-psud.fr> <m3irfom2f2.fsf@localhost.localdomain>

> I believe the middle-end can see integer types for which TYPE_MAX is
> some sort of expression, although I don't think those can come out of
> the C front-end.  That's why I was careful to run the Ada testsuite
> with my patch.

The Ada front end certainly doesn't generate types without bound info,
but I too recall seeing them somplace, though I'm perfectly well aware
that such a recollection isn't too useful ...

References:
- Add overflow infinity handling to VRP
  - From: Ian Lance Taylor
- Re: Add overflow infinity handling to VRP
  - From: Duncan Sands
- Re: Add overflow infinity handling to VRP
  - From: Ian Lance Taylor

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