[PATCH] [IR] Introduce a dereferenceable_or_null(N) attribute.

[hfinkel at anl.gov]

LGTM.


================
Comment at: test/Bitcode/attributes.ll:249
@@ +248,3 @@
+; CHECK: define void @f42(i8* dereferenceable_or_null(8) %foo)
+define void @f42(i8* dereferenceable_or_null(8) %foo) {
+ entry:
----------------
Please add the attribute on the return value to provide coverage on that.

http://reviews.llvm.org/D8650

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/