> > Per Bothner <[EMAIL PROTECTED]> writes: > > | 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. > > We already have such mechanism: a reference type -- which morally is > implemented as a pointer type.
That was mentioned a way ago as being wrong. A reference type can be NULL. -- Pinski
