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] Improve PR30911 and PR31023, Ada and VRP

From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
To: rguenther at suse dot de
Cc: ebotcazou at adacore dot com, gcc-patches at gcc dot gnu dot org
Date: Mon, 31 Mar 2008 09:54:34 EDT
Subject: Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
References: <Pine.LNX.4.64.0803291749290.4133@zhemvz.fhfr.qr> <200803292140.47048.ebotcazou@adacore.com> <Pine.LNX.4.64.0803292153000.4133@zhemvz.fhfr.qr> <10803301221.AA07945@vlsi1.ultra.nyu.edu> <Pine.LNX.4.64.0803301631030.4133@zhemvz.fhfr.qr> <10803311214.AA16925@vlsi1.ultra.nyu.edu> <Pine.LNX.4.64.0803311455320.4133@zhemvz.fhfr.qr> <10803311317.AA17473@vlsi1.ultra.nyu.edu> <Pine.LNX.4.64.0803311516370.4133@zhemvz.fhfr.qr>

> Please not.  If they are an attribute of a variable you could stick
> the information in its type as well.

No, because range information propagates through conversions.

Follow-Ups:
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther

References:
- [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Eric Botcazou
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Kenner
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Kenner
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Kenner
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther

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