1 // RUN: %clangxx_asan -O1 -fsanitize-address-use-after-scope %s -o %t && \
2 // RUN: not %run %t 2>&1 | FileCheck %s
3
4 #include <stdio.h>
5
6 struct IntHolder {
IntHolderIntHolder7 explicit IntHolder(int *val = 0) : val_(val) { }
~IntHolderIntHolder8 ~IntHolder() {
9 printf("Value: %d\n", *val_); // BOOM
10 // CHECK: ERROR: AddressSanitizer: stack-use-after-scope
11 // CHECK: #0 0x{{.*}} in IntHolder::~IntHolder{{.*}}.cc:[[@LINE-2]]
12 }
setIntHolder13 void set(int *val) { val_ = val; }
getIntHolder14 int *get() { return val_; }
15
16 int *val_;
17 };
18
main(int argc,char * argv[])19 int main(int argc, char *argv[]) {
20 // It is incorrect to use "x" int IntHolder destructor, because "x" is
21 // "destroyed" earlier as it's declared later.
22 IntHolder holder;
23 int x = argc;
24 holder.set(&x);
25 return 0;
26 }
27