Diego Novillo writes: > On Saturday 12 November 2005 12:05, Per Bothner wrote: > > A "function-never-returns-null" attribute doesn't seem like > > the right mechanism. Instead, there should be a "never-null" > > attribute on pointer types. A "function-never-returns-null" is > > just a function whose return-type has the "never-null" attribute. > > > I disagree. We would have to prove that every possible instance of this > type is non-NULL.
Couldn't we attach an assertion to the tree? That way we could just use the inference logic we already have. Andrew.
