Null pointer check elimination

Sat Nov 12 18:38:00 GMT 2005

>> Per Bothner <per@bothner.com> 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