llvm-project/clang/test/CodeGenObjCXX
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
..
Inputs
2007-10-03-MetadataPointers.mm
2010-08-04-Template.mm
2010-08-06-X.Y-syntax.mm
address-safety-attr.mm Unify clang/llvm attributes for asan/tsan/msan (Clang part) 2013-02-26 06:58:27 +00:00
arc-attrs.mm Don't pass -O0 to clang_cc1, it is the default. 2013-09-04 04:12:25 +00:00
arc-blocks.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
arc-cxx11-member-init.mm Objective-C++ IRGen. Due to change to AST for initialization of c++11’s 2014-03-14 15:40:54 +00:00
arc-exceptions.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
arc-globals.mm Include translation unit filename in global ctor symbol names. 2014-05-06 20:32:45 +00:00
arc-mangle.mm Remove the -cxx-abi command-line flag. 2014-01-14 19:35:09 +00:00
arc-move.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
arc-new-delete.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
arc-pseudo-destructors.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
arc-references.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
arc-returns-inner-reference-ptr.mm
arc-special-member-functions.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
arc.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
block-in-template-inst.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
block-var-layout.mm Don't pass -O0 to clang_cc1, it is the default. 2013-09-04 04:12:25 +00:00
blocks.mm Don't try to do RVO on block variables that refer to an enclosing local. 2012-07-11 22:50:15 +00:00
catch-id-type.mm Introduce a new mangling for protocol-qualified ObjC types in C++. This allows 2013-06-18 22:41:37 +00:00
copy.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
copyable-property-object.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
debug-info.mm
encode.mm Use private linkage for globals we already name with \01L and \01l. 2014-02-27 19:01:11 +00:00
exceptions-legacy.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
exceptions.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
externally-initialized-selectors.mm Use private linkage for globals we already name with \01L and \01l. 2014-02-27 19:01:11 +00:00
foreach-statement.mm
gc.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
implementation-in-extern-c.mm objective-C IRGen: for @implementation nested in 2012-10-26 20:22:11 +00:00
implicit-copy-assign-operator.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
implicit-copy-constructor.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
ivar-objects.mm
lambda-expressions.mm Use private linkage for globals we already name with \01L and \01l. 2014-02-27 19:01:11 +00:00
literals.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
lvalue-reference-getter.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
mangle-blocks.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
mangle.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
message-reference.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
message.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
method-local-extern-mangle.mm
microsoft-abi-arc-param-order.mm [ms-cxxabi] Use inalloca on win32 when passing non-trivial C++ objects 2014-02-01 00:04:45 +00:00
nrvo.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
objc-container-subscripting-1.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
objc-container-subscripting.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
pr14474-gline-tables-only.mm Fix PR14474: don't emit debug info for interface types in -gline-tables-only mode. 2012-12-03 18:28:12 +00:00
property-derived-to-base-conv.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
property-dot-copy.mm
property-dot-reference.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
property-lvalue-capture.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
property-object-conditional-exp.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
property-object-reference-1.mm
property-object-reference-2.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
property-object-reference.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
property-objects.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
property-reference.mm Mark C++ reference parameters as dereferenceable 2014-07-18 15:52:10 +00:00
refence-assign-write-barrier.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
references.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
rtti.mm type_info objects are not unnamed_addr: the ABI requires us to 2014-02-08 03:26:05 +00:00
selector-expr-lvalue.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00
unknown-anytype.mm CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. 2013-08-15 06:47:53 +00:00
write-barrier-global-assign.mm Restructure how the driver communicates information about the 2012-06-20 06:18:46 +00:00