inline3.c revision 66253352131e3e7a22b3bfd0e180607aa2bfb988
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-store region -verify %s 2 3// Test when entering f1(), we set the right AnalysisDeclContext to Environment. 4// Otherwise, block-level expr '1 && a' would not be block-level. 5int a; 6 7void f1() { 8 if (1 && a) 9 return; 10} 11 12void f2() { 13 f1(); 14} 15