xref: /minix3/external/bsd/llvm/dist/clang/test/Analysis/inline3.c (revision f4a2713ac843a11c696ec80c0a5e3e5d80b4d338) 
1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s
2 // expected-no-diagnostics
3 
4 // Test when entering f1(), we set the right AnalysisDeclContext to Environment.
5 // Otherwise, block-level expr '1 && a' would not be block-level.
6 int a;
7 
f1()8 void f1() {
9   if (1 && a)
10     return;
11 }
12 
f2()13 void f2() {
14   f1();
15 }
16