Diffusion LLVM Github Monorepo 8fdb59f97901

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

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

krememek

Mar 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

Event Timeline

krememek committed rG8fdb59f97901: [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it… (authored by krememek).Mar 9 2012, 5:34 PM

Changes (9)

Path

Size

clang/

include/

clang/

StaticAnalyzer/

Core/

PathSensitive/

ExprEngine.h

SValBuilder.h

lib/

Analysis/

CFG.cpp

StaticAnalyzer/

Core/

test/

Analysis/

auto-obj-dtors-cfg-output.cpp

misc-ps-region-store.cpp

rG8fdb59f97901

View Options

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

View Options

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

View Options

clang/lib/Analysis/CFG.cpp

View Options

clang/lib/StaticAnalyzer/Core/CoreEngine.cpp

View Options

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

View Options

clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

View Options

clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

View Options

clang/test/Analysis/auto-obj-dtors-cfg-output.cpp

View Options

clang/test/Analysis/misc-ps-region-store.cpp

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

Description

Details

Event Timeline

Changes (9)

rG8fdb59f97901

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

clang/lib/Analysis/CFG.cpp

clang/lib/StaticAnalyzer/Core/CoreEngine.cpp

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

clang/test/Analysis/auto-obj-dtors-cfg-output.cpp

clang/test/Analysis/misc-ps-region-store.cpp

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