Mercurial > hg > CbC > CbC_llvm

annotate compiler-rt/test/hwasan/TestCases/mem-intrinsics.c @ 266:00f31e85ec16 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1f2b6ac9f198
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_hwasan %s -DTEST_NO=1 -mllvm -hwasan-instrument-mem-intrinsics -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=WRITE
anatofuz
parents:
diff changeset
2 // RUN: %clang_hwasan %s -DTEST_NO=2 -mllvm -hwasan-instrument-mem-intrinsics -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=READ
anatofuz
parents:
diff changeset
3 // RUN: %clang_hwasan %s -DTEST_NO=3 -mllvm -hwasan-instrument-mem-intrinsics -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=WRITE
anatofuz
parents:
diff changeset
4 // RUN: %clang_hwasan %s -DTEST_NO=2 -mllvm -hwasan-instrument-mem-intrinsics -o %t && not %env_hwasan_opts=halt_on_error=0 %run %t 2>&1 | FileCheck %s --check-prefix=RECOVER
anatofuz
parents:
diff changeset
5
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
6 // REQUIRES: pointer-tagging
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
7
150
anatofuz
parents:
diff changeset
8 #include <stdio.h>
anatofuz
parents:
diff changeset
9 #include <stdlib.h>
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
10 #include <string.h>
150
anatofuz
parents:
diff changeset
11 #include <unistd.h>
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 int main() {
anatofuz
parents:
diff changeset
14 char Q[16] __attribute__((aligned(256)));
anatofuz
parents:
diff changeset
15 char P[16] __attribute__((aligned(256)));
anatofuz
parents:
diff changeset
16 #if TEST_NO == 1
anatofuz
parents:
diff changeset
17 memset(Q, 0, 32);
anatofuz
parents:
diff changeset
18 #elif TEST_NO == 2
anatofuz
parents:
diff changeset
19 memmove(Q, Q + 16, 16);
anatofuz
parents:
diff changeset
20 #elif TEST_NO == 3
anatofuz
parents:
diff changeset
21 memcpy(Q, P, 32);
anatofuz
parents:
diff changeset
22 #endif
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
23 write(STDOUT_FILENO, "recovered\n", 10);
150
anatofuz
parents:
diff changeset
24 // WRITE: ERROR: HWAddressSanitizer: tag-mismatch on address
anatofuz
parents:
diff changeset
25 // WRITE: WRITE of size 32 at {{.*}} tags: [[PTR_TAG:..]]/[[MEM_TAG:..]] (ptr/mem)
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
26 // WRITE: Invalid access starting at offset 16
150
anatofuz
parents:
diff changeset
27 // WRITE: Memory tags around the buggy address (one tag corresponds to 16 bytes):
anatofuz
parents:
diff changeset
28 // WRITE: =>{{.*}}[[PTR_TAG]]{{[[:space:]]\[}}[[MEM_TAG]]
anatofuz
parents:
diff changeset
29 // WRITE-NOT: recovered
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 // READ: ERROR: HWAddressSanitizer: tag-mismatch on address
anatofuz
parents:
diff changeset
32 // READ-NOT: Invalid access starting at offset
anatofuz
parents:
diff changeset
33 // READ: READ {{.*}} tags: [[PTR_TAG:..]]/[[MEM_TAG:..]] (ptr/mem)
anatofuz
parents:
diff changeset
34 // READ: Memory tags around the buggy address (one tag corresponds to 16 bytes):
anatofuz
parents:
diff changeset
35 // READ: =>{{.*}}[[PTR_TAG]]{{[[:space:]]\[}}[[MEM_TAG]]
anatofuz
parents:
diff changeset
36 // READ-NOT: recovered
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 // RECOVER: recovered
anatofuz
parents:
diff changeset
39 return 0;
anatofuz
parents:
diff changeset
40 }