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

On Mon, 31 Mar 2008, Richard Kenner wrote:

> > 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.

Only after it is generated.  And how is this not an issue if it were
on the decl?  Range information is still propagated through conversions.

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