1*7c3d14c8STreehugger Robot // RUN: %clangxx_msan %s -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t >%t.out 2>&1 2*7c3d14c8STreehugger Robot // RUN: FileCheck %s < %t.out 3*7c3d14c8STreehugger Robot 4*7c3d14c8STreehugger Robot // RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t >%t.out 2>&1 5*7c3d14c8STreehugger Robot // RUN: FileCheck %s < %t.out 6*7c3d14c8STreehugger Robot 7*7c3d14c8STreehugger Robot // RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t >%t.out 2>&1 8*7c3d14c8STreehugger Robot // RUN: FileCheck %s < %t.out 9*7c3d14c8STreehugger Robot 10*7c3d14c8STreehugger Robot // RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -fsanitize-memory-track-origins -o %t && MSAN_OPTIONS=poison_in_dtor=1 not %run %t >%t.out 2>&1 11*7c3d14c8STreehugger Robot // RUN: FileCheck %s --check-prefix=CHECK-ORIGINS < %t.out 12*7c3d14c8STreehugger Robot 13*7c3d14c8STreehugger Robot #include <sanitizer/msan_interface.h> 14*7c3d14c8STreehugger Robot #include <assert.h> 15*7c3d14c8STreehugger Robot #include <stdio.h> 16*7c3d14c8STreehugger Robot #include <new> 17*7c3d14c8STreehugger Robot 18*7c3d14c8STreehugger Robot struct Simple { 19*7c3d14c8STreehugger Robot int x_; SimpleSimple20*7c3d14c8STreehugger Robot Simple() { 21*7c3d14c8STreehugger Robot x_ = 5; 22*7c3d14c8STreehugger Robot } ~SimpleSimple23*7c3d14c8STreehugger Robot ~Simple() { 24*7c3d14c8STreehugger Robot x_ += 1; 25*7c3d14c8STreehugger Robot } 26*7c3d14c8STreehugger Robot }; 27*7c3d14c8STreehugger Robot main()28*7c3d14c8STreehugger Robotint main() { 29*7c3d14c8STreehugger Robot unsigned long buf[1]; 30*7c3d14c8STreehugger Robot assert(sizeof(Simple) <= sizeof(buf)); 31*7c3d14c8STreehugger Robot 32*7c3d14c8STreehugger Robot Simple *s = new(&buf) Simple(); 33*7c3d14c8STreehugger Robot s->~Simple(); 34*7c3d14c8STreehugger Robot 35*7c3d14c8STreehugger Robot return s->x_; 36*7c3d14c8STreehugger Robot 37*7c3d14c8STreehugger Robot // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value 38*7c3d14c8STreehugger Robot // CHECK: {{#0 0x.* in main.*use-after-dtor.cc:}}[[@LINE-3]] 39*7c3d14c8STreehugger Robot 40*7c3d14c8STreehugger Robot // CHECK-ORIGINS: Memory was marked as uninitialized 41*7c3d14c8STreehugger Robot // CHECK-ORIGINS: {{#0 0x.* in __sanitizer_dtor_callback}} 42*7c3d14c8STreehugger Robot // CHECK-ORIGINS: {{#1 0x.* in Simple::~Simple}} 43*7c3d14c8STreehugger Robot 44*7c3d14c8STreehugger Robot // CHECK: SUMMARY: MemorySanitizer: use-of-uninitialized-value {{.*main}} 45*7c3d14c8STreehugger Robot } 46