annotate compiler-rt/test/msan/loop-scope.cpp @ 222:81f6424ef0e3 llvm-original

LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clangxx_msan -O2 %s -o %t && \
anatofuz
parents:
diff changeset
2 // RUN: not %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 #include <stdlib.h>
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 int *p;
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 int main() {
anatofuz
parents:
diff changeset
9 for (int i = 0; i < 3; i++) {
anatofuz
parents:
diff changeset
10 int x;
anatofuz
parents:
diff changeset
11 if (i == 0)
anatofuz
parents:
diff changeset
12 x = 0;
anatofuz
parents:
diff changeset
13 p = &x;
anatofuz
parents:
diff changeset
14 }
anatofuz
parents:
diff changeset
15 return *p; // BOOM
anatofuz
parents:
diff changeset
16 // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
anatofuz
parents:
diff changeset
17 // CHECK: #0 0x{{.*}} in main {{.*}}loop-scope.cpp:[[@LINE-2]]
anatofuz
parents:
diff changeset
18 }