annotate compiler-rt/test/hwasan/TestCases/stack-oob.c @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 1d019706d866
children 5f17cb93ff66
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_hwasan_oldrt -DSIZE=2 -O0 %s -o %t && %run %t
anatofuz
parents:
diff changeset
2 // RUN: %clang_hwasan -DSIZE=2 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
3 // RUN: %clang_hwasan_oldrt -DSIZE=15 -O0 %s -o %t && %run %t
anatofuz
parents:
diff changeset
4 // RUN: %clang_hwasan -DSIZE=15 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
5 // RUN: %clang_hwasan_oldrt -DSIZE=16 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
6 // RUN: %clang_hwasan -DSIZE=16 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
7 // RUN: %clang_hwasan -DSIZE=64 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
8 // RUN: %clang_hwasan -DSIZE=0x1000 -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 // REQUIRES: stable-runtime
anatofuz
parents:
diff changeset
11
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
12 // Stack aliasing is not implemented on x86.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
13 // XFAIL: x86_64
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
14
150
anatofuz
parents:
diff changeset
15 #include <stdlib.h>
anatofuz
parents:
diff changeset
16 #include <sanitizer/hwasan_interface.h>
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 __attribute__((noinline))
anatofuz
parents:
diff changeset
19 int f() {
anatofuz
parents:
diff changeset
20 char z[SIZE];
anatofuz
parents:
diff changeset
21 char *volatile p = z;
anatofuz
parents:
diff changeset
22 return p[SIZE];
anatofuz
parents:
diff changeset
23 }
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 int main() {
anatofuz
parents:
diff changeset
26 f();
anatofuz
parents:
diff changeset
27 // CHECK: READ of size 1 at
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
28 // CHECK: #0 {{.*}} in f{{.*}}stack-oob.c:[[@LINE-6]]
150
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 // CHECK: is located in stack of threa
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 // CHECK: SUMMARY: HWAddressSanitizer: tag-mismatch {{.*}} in f
anatofuz
parents:
diff changeset
33 }