[PATCH] Use dereferencable attribute in Clang for C++ references

[hfinkel at anl.gov]

Fixed up the remaining regression tests (now all pass), and added a new test for dereferenceable/nonnull on non-addrspace(0) references.

http://reviews.llvm.org/D4450

Files:
  lib/CodeGen/CGCall.cpp
  test/CXX/except/except.spec/p14-ir.cpp
  test/CodeGenCXX/address-space-ref.cpp
  test/CodeGenCXX/blocks-cxx11.cpp
  test/CodeGenCXX/blocks.cpp
  test/CodeGenCXX/catch-undef-behavior.cpp
  test/CodeGenCXX/conditional-gnu-ext.cpp
  test/CodeGenCXX/const-init-cxx11.cpp
  test/CodeGenCXX/constructor-direct-call.cpp
  test/CodeGenCXX/constructor-init.cpp
  test/CodeGenCXX/convert-to-fptr.cpp
  test/CodeGenCXX/copy-assign-synthesis-1.cpp
  test/CodeGenCXX/copy-constructor-elim-2.cpp
  test/CodeGenCXX/copy-constructor-synthesis-2.cpp
  test/CodeGenCXX/copy-constructor-synthesis.cpp
  test/CodeGenCXX/cxx11-initializer-aggregate.cpp
  test/CodeGenCXX/cxx11-thread-local-reference.cpp
  test/CodeGenCXX/decl-ref-init.cpp
  test/CodeGenCXX/default-arg-temps.cpp
  test/CodeGenCXX/derived-to-base-conv.cpp
  test/CodeGenCXX/derived-to-virtual-base-class-calls-final.cpp
  test/CodeGenCXX/dllexport-members.cpp
  test/CodeGenCXX/dllexport.cpp
  test/CodeGenCXX/dllimport-members.cpp
  test/CodeGenCXX/dllimport.cpp
  test/CodeGenCXX/eh.cpp
  test/CodeGenCXX/empty-nontrivially-copyable.cpp
  test/CodeGenCXX/exceptions.cpp
  test/CodeGenCXX/fastcall.cpp
  test/CodeGenCXX/goto.cpp
  test/CodeGenCXX/implicit-copy-assign-operator.cpp
  test/CodeGenCXX/implicit-copy-constructor.cpp
  test/CodeGenCXX/mangle-lambdas.cpp
  test/CodeGenCXX/mangle.cpp
  test/CodeGenCXX/microsoft-abi-sret-and-byval.cpp
  test/CodeGenCXX/microsoft-abi-static-initializers.cpp
  test/CodeGenCXX/nrvo.cpp
  test/CodeGenCXX/pod-member-memcpys.cpp
  test/CodeGenCXX/pointers-to-data-members.cpp
  test/CodeGenCXX/reference-cast.cpp
  test/CodeGenCXX/rvalue-references.cpp
  test/CodeGenCXX/temporaries.cpp
  test/CodeGenCXX/throw-expressions.cpp
  test/CodeGenCXX/volatile.cpp
  test/CodeGenObjC/return-objc-object.mm
  test/CodeGenObjCXX/arc-blocks.mm
  test/CodeGenObjCXX/arc-move.mm
  test/CodeGenObjCXX/arc-special-member-functions.mm
  test/CodeGenObjCXX/implicit-copy-assign-operator.mm
  test/CodeGenObjCXX/implicit-copy-constructor.mm
  test/CodeGenObjCXX/lvalue-reference-getter.mm
  test/CodeGenObjCXX/message-reference.mm
  test/CodeGenObjCXX/property-dot-reference.mm
  test/CodeGenObjCXX/property-lvalue-capture.mm
  test/CodeGenObjCXX/property-object-reference-2.mm
  test/CodeGenObjCXX/property-objects.mm
  test/CodeGenObjCXX/property-reference.mm
  test/Modules/templates.mm
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4450.11310.patch
Type: text/x-patch
Size: 116993 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140711/c892756d/attachment.bin>