Andrew Pinski <[EMAIL PROTECTED]> writes: | > | > 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.
You have to explain me why a reference can be null. -- Gaby
