diff options
| author | Philip Reames <listmail@philipreames.com> | 2015-08-31 19:44:38 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2015-08-31 19:44:38 +0000 |
| commit | a88caeab6c20db6325b5fa4d80cc79830e7a278f (patch) | |
| tree | a769fe0b89103b330b2b9357c49b442c9b222b37 /llvm/lib/Analysis/LibCallSemantics.cpp | |
| parent | 35eebe13fc81dc7e6e9b543b0e4e46eb9ab57595 (diff) | |
| download | bcm5719-llvm-a88caeab6c20db6325b5fa4d80cc79830e7a278f.tar.gz bcm5719-llvm-a88caeab6c20db6325b5fa4d80cc79830e7a278f.zip | |
[FunctionAttr] Infer nonnull attributes on returns
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
Diffstat (limited to 'llvm/lib/Analysis/LibCallSemantics.cpp')
0 files changed, 0 insertions, 0 deletions
