1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// RUN: false // XFAIL: * // Test when entering f1(), we set the right AnalysisContext to Environment. // Otherwise, block-level expr '1 && a' would not be block-level. int a; void f1() { if (1 && a) return; } void f2() { f1(); }