On Saturday 12 November 2005 12:27, Per Bothner wrote: > I think you're missing the point. The proposal is for a "type variant" > - not that different from say "constant". > Ah, yes, sorry about that. Yes, that would be useful as well. However, that is an orthogonal issue to having non-NULL function attributes. We can use both.
If the front end guarantees that all instances of a type are non-NULL, as in the Ada case just posted, then VRP can and should make use of that.
