]> granicus.if.org Git - clang/commit
[analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.
authorJordan Rose <jordan_rose@apple.com>
Fri, 7 Sep 2012 19:48:09 +0000 (19:48 +0000)
committerJordan Rose <jordan_rose@apple.com>
Fri, 7 Sep 2012 19:48:09 +0000 (19:48 +0000)
commit9198c71a626e2f0d29d92152832f3e80f4af59b3
treeff1d25900cc934772aab006ae078d5b61ddfe258
parent9366a5a8d0c5834cffda2c31c924605fb9dffc9b
[analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.

When adding the next statement to the CoreEngine's work list, we take care
of all the special cases first. We certainly shouldn't be building
PostStmts with null statements (the diagnostics machinery assumes such
StmtPoints do not exist), and we should find out sooner if we're missing
a special case.

A refinement of r163402 that should help prevent further issues like PR13760.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163409 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/CoreEngine.cpp