[PATCH] D11613: repress tail call optimization when performing use-after-dtor sanitization

Jonathan Roelofs jonathan at codesourcery.com
Thu Jul 30 11:29:06 PDT 2015


jroelofs added a subscriber: jroelofs.

================
Comment at: cfe/trunk/test/CodeGenCXX/sanitize-dtor-tail-call.cpp:17
@@ +16,3 @@
+// CHECK-LABEL: define {{.*}}SimpleD2Ev
+// CHECK: {{\s*}}call void @__sanitizer_dtor_callback
+// CHECK-NOT: {{\s*}}call void @__sanitizer_dtor_callback
----------------
I don't think this check verifies what you want it to verify... you need to order it like this:


```
// CHECK-NOT: {{\s*}}tail call void @__sanitizer_dtor_callback
// CHECK: {{\s*}}call void @__sanitizer_dtor_callback
// CHECK-NOT: {{\s*}}call void @__sanitizer_dtor_callback
```

or better yet:


```
// CHECK: {{^ +}}call void @__sanitizer_dtor_callback
// CHECK-NOT: call void @__sanitizer_dtor_callback
```


Repository:
  rL LLVM

http://reviews.llvm.org/D11613







More information about the cfe-commits mailing list