This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: Null pointer check elimination
Diego Novillo <dnovillo@redhat.com> 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.
No, you don't have to. Just in the same way you don't have to prove
that a function with "function-never-returns-null" attributes never
returns null.
-- Gaby