blob: 8d847b54b275a46f33a7b138c20fda5f26d53ddb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// RUN: %clang_hwasan -O0 -DNEGATIVE %s -o %t && %run %t 2>&1
// RUN: %clang_hwasan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
// REQUIRES: stable-runtime
#include <stdlib.h>
#include <assert.h>
#include <sanitizer/hwasan_interface.h>
__attribute__((noinline))
int f(void *caller_frame) {
int z = 0;
int *volatile p = &z;
// Tag of local is never zero.
assert(__hwasan_tag_pointer(p, 0) != p);
#ifndef NEGATIVE
// This will destroy shadow of "z", and the following load will crash.
__hwasan_handle_longjmp(caller_frame);
#endif
return p[0];
}
int main() {
return f(__builtin_frame_address(0));
// CHECK: READ of size 8 at {{.*}} tags: {{.*}}/00 (ptr/mem)
}
|
