Philip Reames bf9ec6af48 [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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246476 91177308-0d34-0410-b5e6-96231b3b80d8		2015-08-31 19:44:38 +00:00
..
ArgumentPromotion.cpp	Use foreach loops for StructType::elements(). NFC.	2015-07-24 18:55:49 +00:00
BarrierNoopPass.cpp	Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)	2015-06-23 09:49:53 +00:00
CMakeLists.txt	Convert SampleProfile pass into a Module pass.	2015-08-25 15:25:11 +00:00
ConstantMerge.cpp	Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)	2015-06-23 09:49:53 +00:00
DeadArgumentElimination.cpp	IR: Do not consider available_externally linkage to be linker-weak.	2015-07-05 20:52:35 +00:00
ElimAvailExtern.cpp	Remove unused variable.	2015-07-13 14:43:33 +00:00
ExtractGV.cpp	[llvm-extract] Drop comdats from declarations	2015-07-06 18:48:02 +00:00
FunctionAttrs.cpp	[FunctionAttr] Infer nonnull attributes on returns	2015-08-31 19:44:38 +00:00
GlobalDCE.cpp	Rangify for loops in GlobalDCE, NFC.	2015-07-18 19:57:34 +00:00
GlobalOpt.cpp	Assume intrinsic handling in global opt	2015-08-25 01:34:15 +00:00
InlineAlways.cpp	Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)	2015-06-23 09:49:53 +00:00
Inliner.cpp	Variable names should start with an upper case letter; NFC	2015-08-11 16:05:43 +00:00
InlineSimple.cpp	[PM] Split the AssumptionTracker immutable pass into two separate APIs:	2015-01-04 12:03:27 +00:00
Internalize.cpp	Internalize: internalize comdat members as a group, and drop comdat on such members.	2015-07-16 17:42:21 +00:00
IPConstantPropagation.cpp	Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)	2015-06-23 09:49:53 +00:00
IPO.cpp	Convert SampleProfile pass into a Module pass.	2015-08-25 15:25:11 +00:00
LLVMBuild.txt	Update libdeps in LLVMipo and LLVMScalarOpts, corresponding to r245940.	2015-08-25 17:11:17 +00:00
LoopExtractor.cpp	Drive-by fixes for LandingPad -> EHPad	2015-08-04 08:21:40 +00:00
LowerBitSets.cpp	LowerBitSets: Add debugging output.	2015-07-29 18:12:36 +00:00
Makefile	make -fno-rtti the default unless a directory builds with REQUIRES_RTTI.	2010-01-24 20:43:08 +00:00
MergeFunctions.cpp	Remove Merge Functions pointer comparisons	2015-08-28 16:49:09 +00:00
PartialInlining.cpp	Revert r240137 (Fixed/added namespace ending comments using clang-tidy. NFC)	2015-06-23 09:49:53 +00:00
PassManagerBuilder.cpp	Require Dominator Tree For SROA, improve compile-time	2015-08-23 22:15:49 +00:00
PruneEH.cpp	[PruneEH] A naked, noinline function can return via InlineAsm	2015-06-27 07:52:53 +00:00
SampleProfile.cpp	Fix memory leak in sample profile pass.	2015-08-26 20:00:27 +00:00
StripDeadPrototypes.cpp	[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE	2014-04-22 02:55:47 +00:00
StripSymbols.cpp	Use foreach loop over constant operands. NFC.	2015-06-25 20:51:38 +00:00