1ee04959f88e26ed38dccf4aed2ff10cad1f703c9Jordan Rose// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s 28e8fb3be5bd78f0564444eca02b404566a5f3b5dAndy Gibbs// expected-no-diagnostics 357d3b76761bdba265769deb497afa784935602beZhongxing Xu 41d26f48dc2eea1c07431ca1519d7034a21b9bcffTed Kremenek// Test when entering f1(), we set the right AnalysisDeclContext to Environment. 557d3b76761bdba265769deb497afa784935602beZhongxing Xu// Otherwise, block-level expr '1 && a' would not be block-level. 657d3b76761bdba265769deb497afa784935602beZhongxing Xuint a; 757d3b76761bdba265769deb497afa784935602beZhongxing Xu 857d3b76761bdba265769deb497afa784935602beZhongxing Xuvoid f1() { 957d3b76761bdba265769deb497afa784935602beZhongxing Xu if (1 && a) 1057d3b76761bdba265769deb497afa784935602beZhongxing Xu return; 1157d3b76761bdba265769deb497afa784935602beZhongxing Xu} 1257d3b76761bdba265769deb497afa784935602beZhongxing Xu 1357d3b76761bdba265769deb497afa784935602beZhongxing Xuvoid f2() { 1457d3b76761bdba265769deb497afa784935602beZhongxing Xu f1(); 1557d3b76761bdba265769deb497afa784935602beZhongxing Xu} 16