[analyzer] Use a smarter algorithm to find the last block in an inlined call.
authorJordan Rose <jordan_rose@apple.com>
Thu, 6 Dec 2012 18:58:15 +0000 (18:58 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 6 Dec 2012 18:58:15 +0000 (18:58 +0000)
commit5e4e61ddf99da37f126dd180aef9d5fceb78e2c9
treed8db986869a93086245aae87197c0c13e845bff5
parenta64c6dbb9813b39174023c6ee123c3bf936f7fe5
[analyzer] Use a smarter algorithm to find the last block in an inlined call.

Previously we would search for the last statement, then back up to the
entrance of the block that contained that statement. Now, while we're
scanning for the statement, we just keep track of which blocks are being
exited (in reverse order).

llvm-svn: 169526
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp