Re: Null pointer check elimination

[Diego Novillo]

On Saturday 12 November 2005 12:24, Laurent GUERBY wrote:
> Note that this correspond to the "not null" feature added to Ada 2006
> in various places, including pointer type definitions:
>
>    type Ptr is not null access Integer;
>
Ah, this is different and it would be very helpful.  If it's a language 
mandated thing, then VRP could just rely in this type attribute and 
default to 'non-zero' when it can't infer any other useful value.