1 // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=address -O3 -emit-llvm -fdebug-pass-manager -o - %s 2>&1 | FileCheck %s
2 // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=thread -O3 -emit-llvm -fdebug-pass-manager -o - %s 2>&1 | FileCheck %s
3 // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=memory -O3 -emit-llvm -fdebug-pass-manager -o - %s 2>&1 | FileCheck %s
4
5 // This is regression test for PR42877
6
7 typedef struct a *b;
8 struct a {
9 int c;
10 };
11 int d;
12 b e;
f(b g)13 static void f(b g) {
14 for (d = g->c;;)
15 ;
16 }
h(void)17 void h(void) { f(e); }
18
19 // CHECK: Running pass: {{.*}}SanitizerPass
20 // CHECK-NOT: Running pass: LoopSimplifyPass on {{.*}}san.module_ctor
21 // CHECK: Running analysis: DominatorTreeAnalysis on {{.*}}san.module_ctor
22