27 lines · cpp
1// RUN: %clangxx_asan -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s2 3#include "defines.h"4#include <stdio.h>5 6struct IntHolder {7 explicit IntHolder(int *val = 0) : val_(val) { }8 ATTRIBUTE_NOINLINE ~IntHolder() {9 printf("Value: %d\n", *val_); // BOOM10 // CHECK: ERROR: AddressSanitizer: stack-use-after-scope11 // CHECK: #0 0x{{.*}} in IntHolder::~IntHolder{{.*}}.cpp:[[@LINE-2]]12 }13 void set(int *val) { val_ = val; }14 int *get() { return val_; }15 16 int *val_;17};18 19int main(int argc, char *argv[]) {20 // It is incorrect to use "x" int IntHolder destructor, because "x" is21 // "destroyed" earlier as it's declared later.22 IntHolder holder;23 int x = argc;24 holder.set(&x);25 return 0;26}27