This is the mail archive of the
java-prs@gcc.gnu.org
mailing list for the Java project.
[Bug java/24825] Standard runtime methods that are known to not return null should not trigger null checks.
- From: "glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: java-prs at gcc dot gnu dot org
- Date: Fri, 11 Oct 2013 11:48:10 +0000
- Subject: [Bug java/24825] Standard runtime methods that are known to not return null should not trigger null checks.
- Auto-submitted: auto-generated
- References: <bug-24825-8172 at http dot gcc dot gnu dot org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24825
Bug 24825 depends on bug 20318, which changed state.
Bug 20318 Summary: RFE: add attribute to specify that a function never returns NULL
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20318
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED