llvm-project/clang/lib
Hal Finkel a2347baaec Mark C++ reference parameters as dereferenceable
Because references must be initialized using some evaluated expression, they
must point to something, and a callee can assume the reference parameter is
dereferenceable. Taking advantage of a new attribute just added to LLVM, mark
them as such.

Because dereferenceability in addrspace(0) implies nonnull in the backend, we
don't need both attributes. However, we need to know the size of the object to
use the dereferenceable attribute, so for incomplete types we still emit only
nonnull.

llvm-svn: 213386
2014-07-18 15:52:10 +00:00
..
ARCMigrate Revert "unique_ptr-ify ownership of ASTConsumers" 2014-07-17 22:34:12 +00:00
AST [OPENMP] Initial parsing and sema analysis for 'taskwait' directive. 2014-07-18 10:17:07 +00:00
ASTMatchers Revert "unique_ptr-ify ownership of ASTConsumers" 2014-07-17 22:34:12 +00:00
Analysis Prune Redundant libdeps in CMake's target_link_libraries and LLVMBuild.txt. 2014-07-15 11:37:03 +00:00
Basic [OPENMP] Initial parsing and sema analysis for 'taskwait' directive. 2014-07-18 10:17:07 +00:00
CodeGen Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
Driver [mips] Use Triple::getVendor() instead of Triple::getVendorName() to identify 'mti' vendor triples. 2014-07-18 15:05:38 +00:00
Edit [CMake] Reorder libdeps by alphabetical order. 2014-07-14 04:59:27 +00:00
Format clang-format: Fix parsing of conditional expressions. 2014-07-17 12:22:04 +00:00
Frontend Revert "unique_ptr-ify ownership of ASTConsumers" 2014-07-17 22:34:12 +00:00
FrontendTool Make clang's rewrite engine a core feature 2014-07-16 16:48:33 +00:00
Headers ARM: Add ACLE memory barrier intrinsic mapping 2014-07-17 12:45:17 +00:00
Index Make clang's rewrite engine a core feature 2014-07-16 16:48:33 +00:00
Lex Add dump() for MacroDirective and MacroInfo. 2014-07-18 04:54:02 +00:00
Parse [OPENMP] Initial parsing and sema analysis for 'taskwait' directive. 2014-07-18 10:17:07 +00:00
Rewrite Make clang's rewrite engine a core feature 2014-07-16 16:48:33 +00:00
Sema [OPENMP] Initial parsing and sema analysis for 'taskwait' directive. 2014-07-18 10:17:07 +00:00
Serialization [OPENMP] Initial parsing and sema analysis for 'taskwait' directive. 2014-07-18 10:17:07 +00:00
StaticAnalyzer [OPENMP] Initial parsing and sema analysis for 'taskwait' directive. 2014-07-18 10:17:07 +00:00
Tooling Make clang's rewrite engine a core feature 2014-07-16 16:48:33 +00:00
CMakeLists.txt Fix build with various feature flag combinations 2014-07-14 22:17:22 +00:00
Makefile Make clang's rewrite engine a core feature 2014-07-16 16:48:33 +00:00