User account creation filtered due to spam.

Bug 24825 - Standard runtime methods that are known to not return null should not trigger null checks.
Summary: Standard runtime methods that are known to not return null should not trigger...
Alias: None
Product: gcc
Classification: Unclassified
Component: java (show other bugs)
Version: 4.1.0
: P3 enhancement
Target Milestone: ---
Assignee: Not yet assigned to anyone
Keywords: missed-optimization
Depends on: 20318
Blocks: 58689
  Show dependency treegraph
Reported: 2005-11-12 20:55 UTC by David Daney
Modified: 2016-09-30 22:49 UTC (History)
3 users (show)

See Also:
Known to work:
Known to fail:
Last reconfirmed: 2006-02-13 03:43:47


Note You need to log in before you can comment on or make changes to this bug.
Description David Daney 2005-11-12 20:55:52 UTC
As pointed out in this thread:

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.
Comment 1 Andrew Pinski 2005-11-12 22:14:44 UTC
Confirmed, this one is harder than the new operator.
Comment 2 Andrew Pinski 2005-11-13 00:16:04 UTC
The way we can mark the function/function type is in build_method_invocation,
we have to change how BUILD_APPEND calls build_method_invocation and add a new argument or something like that (we build the real call expression later on).
Comment 3 Andrew Pinski 2016-09-30 22:49:19 UTC
Closing as won't fix as the Java front-end has been removed from the trunk.