Mercurial > hg > CbC > CbC_llvm

annotate compiler-rt/test/hwasan/TestCases/global.c @ 236:c4bab56944e8 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 5f17cb93ff66
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_hwasan %s -o %t
anatofuz
parents:
diff changeset
2 // RUN: %run %t 0
anatofuz
parents:
diff changeset
3 // RUN: not %run %t 1 2>&1 | FileCheck --check-prefixes=CHECK,RSYM %s
anatofuz
parents:
diff changeset
4 // RUN: not %env_hwasan_opts=symbolize=0 %run %t 1 2>&1 | FileCheck --check-prefixes=CHECK,RNOSYM %s
anatofuz
parents:
diff changeset
5 // RUN: not %run %t -1 2>&1 | FileCheck --check-prefixes=CHECK,LSYM %s
anatofuz
parents:
diff changeset
6 // RUN: not %env_hwasan_opts=symbolize=0 %run %t -1 2>&1 | FileCheck --check-prefixes=CHECK,LNOSYM %s
anatofuz
parents:
diff changeset
7
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
8 // Test with and without optimizations, with and without PIC, since different
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
9 // backend passes run depending on these flags.
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
10 // RUN: %clang_hwasan -fno-pic %s -o %t
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
11 // RUN: not %run %t 1 2>&1 | FileCheck --check-prefixes=CHECK,RSYM %s
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
12 // RUN: %clang_hwasan -fno-pic -O2 %s -o %t
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
13 // RUN: not %run %t 1 2>&1 | FileCheck --check-prefixes=CHECK,RSYM %s
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
14 // RUN: %clang_hwasan -O2 %s -o %t
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
15 // RUN: not %run %t 1 2>&1 | FileCheck --check-prefixes=CHECK,RSYM %s
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
16
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
17 // RUN: %clang_hwasan -DUSE_NOSANITIZE %s -o %t && %run %t 0
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
18 // RUN: %clang_hwasan -DUSE_NOSANITIZE %s -o %t && %run %t 1
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
19 // RUN: %clang_hwasan -DUSE_NOSANITIZE %s -o %t -fno-pic && %run %t 1
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
20 // RUN: %clang_hwasan -DUSE_NOSANITIZE %s -o %t -O2 && %run %t 1
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
21 // RUN: %clang_hwasan -DUSE_NOSANITIZE %s -o %t -fno-pic -O2 && %run %t 1
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
22
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
23 // REQUIRES: pointer-tagging
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
24
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
25 #include <stdlib.h>
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
26
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
27 int a = 1;
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
28 #ifdef USE_NOSANITIZE
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
29 __attribute__((no_sanitize("hwaddress"))) int x = 1;
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
30 #else // USE_NOSANITIZE
150
anatofuz
parents:
diff changeset
31 int x = 1;
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
32 #endif // USE_NOSANITIZE
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
33 int b = 1;
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
34
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
35 int atoi(const char *);
150
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 int main(int argc, char **argv) {
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
38 // CHECK: Cause: global-overflow
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
39 // RSYM: is located 0 bytes after a 4-byte global variable x {{.*}} in {{.*}}global.c.tmp
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
40 // RNOSYM: is located after a 4-byte global variable in
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
41 // RNOSYM-NEXT: #0 0x{{.*}} ({{.*}}global.c.tmp+{{.*}})
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
42 // LSYM: is located 4 bytes before a 4-byte global variable x {{.*}} in {{.*}}global.c.tmp
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
43 // LNOSYM: is located before a 4-byte global variable in
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
44 // LNOSYM-NEXT: #0 0x{{.*}} ({{.*}}global.c.tmp+{{.*}})
150
anatofuz
parents:
diff changeset
45 // CHECK-NOT: can not describe
anatofuz
parents:
diff changeset
46 (&x)[atoi(argv[1])] = 1;
anatofuz
parents:
diff changeset
47 }