[rustc.git] / src / compiler-rt / test / asan / TestCases / Windows / stack_use_after_return.cc

// RUN: %clang_cl_asan -O0 %s -Fe%t
// RUN: %env_asan_opts=detect_stack_use_after_return=1 not %run %t 2>&1 | FileCheck %s

char *x;

void foo() {
  char stack_buffer[42];
  x = &stack_buffer[13];
}

int main() {
  foo();
  *x = 42;
// CHECK: AddressSanitizer: stack-use-after-return
// CHECK: WRITE of size 1 at {{.*}} thread T0
// CHECK-NEXT: {{#0 0x.* in main .*stack_use_after_return.cc}}:[[@LINE-3]]
//
// CHECK: is located in stack of thread T0 at offset [[OFFSET:.*]] in frame
// CHECK-NEXT: {{#0 0x.* in foo.*stack_use_after_return.cc}}
//
// CHECK: 'stack_buffer' <== Memory access at offset [[OFFSET]] is inside this variable
}
Commit	Line	Data
92a42be0 SL	1	// RUN: %clang_cl_asan -O0 %s -Fe%t
	2	// RUN: %env_asan_opts=detect_stack_use_after_return=1 not %run %t 2>&1 \| FileCheck %s
	3
	4	char *x;
	5
	6	void foo() {
	7	char stack_buffer[42];
	8	x = &stack_buffer[13];
	9	}
	10
	11	int main() {
	12	foo();
	13	*x = 42;
	14	// CHECK: AddressSanitizer: stack-use-after-return
	15	// CHECK: WRITE of size 1 at {{.*}} thread T0
	16	// CHECK-NEXT: {{#0 0x.* in main .*stack_use_after_return.cc}}:[[@LINE-3]]
	17	//
	18	// CHECK: is located in stack of thread T0 at offset [[OFFSET:.*]] in frame
	19	// CHECK-NEXT: {{#0 0x.* in foo.*stack_use_after_return.cc}}
	20	//
	21	// CHECK: 'stack_buffer' <== Memory access at offset [[OFFSET]] is inside this variable
	22	}