]> granicus.if.org Git - clang/commit
[analyzer] We were silently stopping exploring the path after
authorAnna Zaks <ganna@apple.com>
Fri, 24 Feb 2012 16:49:41 +0000 (16:49 +0000)
committerAnna Zaks <ganna@apple.com>
Fri, 24 Feb 2012 16:49:41 +0000 (16:49 +0000)
commite55b03a6e44b99c1cd77b8ea5e4d836c28948904
tree9c3aeadd8eb3774e7ced0e6fce0ac9167064c49e
parenta0889a8c3299b1950e0a2dfa1d1656e5aa60f193
[analyzer] We were silently stopping exploring the path after
visiting 'return;' statement!

This most likely caused us to skip a bunch of code when analyzing with
inlining.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@151368 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
test/Analysis/malloc-interprocedural.c