a88caeab6c
Teach FunctionAttr to infer the nonnull attribute on return values of functions which never return a potentially null value. This is done both via a conservative local analysis for the function itself and a optimistic per-SCC analysis. If no function in the SCC returns anything which could be null (other than values from other functions in the SCC), we can conclude no function returned a null pointer. Even if some function within the SCC returns a null pointer, we may be able to locally conclude that some don't. Differential Revision: http://reviews.llvm.org/D9688 llvm-svn: 246476 |
||
|---|---|---|
| .. | ||
| 2008-09-03-Mutual.ll | ||
| 2008-09-03-ReadNone.ll | ||
| 2008-09-03-ReadOnly.ll | ||
| 2008-09-13-VolatileRead.ll | ||
| 2008-12-29-Constant.ll | ||
| 2009-01-02-LocalStores.ll | ||
| 2009-01-04-Annotate.ll | ||
| 2010-10-30-volatile.ll | ||
| annotate-1.ll | ||
| atomic.ll | ||
| nocapture.ll | ||
| nonnull.ll | ||
| noreturn.ll | ||
| optnone-simple.ll | ||
| optnone.ll | ||
| readattrs.ll | ||
| readnone.ll | ||