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