From c3da376fbc567e1d9143bc1d908ddd07044a47e8 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 1 Jun 2012 20:04:04 +0000 Subject: static analyzer: add inlining support for directly called blocks. llvm-svn: 157833 --- clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp') diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index b9cfa27808c..a666de0c5ce 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -568,6 +568,16 @@ bool ScanReachableSymbols::scan(const MemRegion *R) { if (!scan(SR->getSuperRegion())) return false; + // Regions captured by a block are also implicitly reachable. + if (const BlockDataRegion *BDR = dyn_cast(R)) { + BlockDataRegion::referenced_vars_iterator I = BDR->referenced_vars_begin(), + E = BDR->referenced_vars_end(); + for ( ; I != E; ++I) { + if (!scan(I.getCapturedRegion())) + return false; + } + } + // Now look at the binding to this region (if any). if (!scan(state->getSValAsScalarOrLoc(R))) return false; -- cgit v1.2.3