16 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s2// expected-no-diagnostics3 4// Test when entering f1(), we set the right AnalysisDeclContext to Environment.5// Otherwise, block-level expr '1 && a' would not be block-level.6int a;7 8void f1(void) {9 if (1 && a)10 return;11}12 13void f2(void) {14 f1();15}16