This is the mail archive of the
java-prs@gcc.gnu.org
mailing list for the Java project.
[Bug java/24825] New: Standard runtime methods that are known to not return null should not trigger null checks.
- From: "daney at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: java-prs at gcc dot gnu dot org
- Date: 12 Nov 2005 20:55:52 -0000
- Subject: [Bug java/24825] New: Standard runtime methods that are known to not return null should not trigger null checks.
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
As pointed out in this thread:
http://gcc.gnu.org/ml/java/2005-11/msg00124.html
Once we have the capability to annotate methods as returning 'not null', we
have a win if standard runtime methods are so annotated as appropiate.
--
Summary: Standard runtime methods that are known to not return
null should not trigger null checks.
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: java
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: daney at gcc dot gnu dot org
BugsThisDependsOn: 20318
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24825