[Bug java/24825] New: Standard runtime methods that are known to not return null should not trigger null checks.

[Bug java/24825] New: Standard runtime methods that are known to not return null should not trigger null checks.

[daney 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

[Bug java/24825] Standard runtime methods that are known to not return null should not trigger null checks.

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-11-12 22:14 -------
Confirmed, this one is harder than the new operator.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-11-12 22:14:44
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24825

[Bug java/24825] Standard runtime methods that are known to not return null should not trigger null checks.

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-11-13 00:16 -------
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).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24825

[Bug java/24825] Standard runtime methods that are known to not return null should not trigger null checks.

[glisse at gcc dot gnu.org]

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