rsmith added a comment.

Thanks! We should also have a test for the behavior when targeting the MS ABI, 
where we sometimes don't emit the `nonnull dereferenceable` because the 
"`this`" pointer might actually point outside the object, but otherwise I think 
this is ready to go.

Please can you also put together a patch for the release notes? This seems 
worth mentioning there.



================
Comment at: clang/test/CodeGenCXX/this-nonnull.cpp:1-2
+// RUN: %clang -S -emit-llvm -o - -fdelete-null-pointer-checks %s | FileCheck 
%s -check-prefix=CHECK-YES
+// RUN: %clang -S -emit-llvm -o - -fno-delete-null-pointer-checks %s | 
FileCheck %s -check-prefix=CHECK-NO
+
----------------
This test needs a `-triple` or it will fail on (at least) non-Itanium hosts.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D17993/new/

https://reviews.llvm.org/D17993

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to