]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edfac03) | patch
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn...
authorTed Kremenek <kremenek@apple.com>
Sat, 10 Mar 2012 01:34:17 +0000 (01:34 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 10 Mar 2012 01:34:17 +0000 (01:34 +0000)
commit337e4dbc6859589b8878146a88bebf754e916702
tree0e9bbb7ec6df271803e321bd22fdd8d5d4970245tree | snapshot
parentedfac0302490d84419eb958c812c533b8df29785commit | diff
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand.  We registered
as aborted, but didn't treat such cases as sinks in the ExplodedGraph.

Along the way, add basic support for CXXCatchStmt, expanding the set of code we actually analyze (hopefully correctly).

Fixes: <rdar://problem/10892489>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152468 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h diff | blob | history
lib/Analysis/CFG.cpp diff | blob | history
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp diff | blob | history
lib/StaticAnalyzer/Core/SValBuilder.cpp diff | blob | history
test/Analysis/auto-obj-dtors-cfg-output.cpp diff | blob | history
test/Analysis/misc-ps-region-store.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.