HomePhabricator

[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it…

Authored by krememek on Mar 9 2012, 5:34 PM.

Description

[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
llvm-svn: 152468

Details

Committed
krememekMar 9 2012, 5:34 PM
Parents
rGb0f935416852: [asan] use O(log(N)) algorithm instead of O(N) in __asan_get_ownership
Branches
Unknown
Tags
Unknown