diff options
| author | Anna Zaks <ganna@apple.com> | 2011-11-01 22:41:06 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-11-01 22:41:06 +0000 |
| commit | 6d319489df0a0baa358cc42a9be9261af22101af (patch) | |
| tree | 66cae2d25e9bd35e71ebaad232621873f21b85fe /clang/lib | |
| parent | 1c887b35fb02fd6970f3eb0b2366a9eee0740509 (diff) | |
| download | bcm5719-llvm-6d319489df0a0baa358cc42a9be9261af22101af.tar.gz bcm5719-llvm-6d319489df0a0baa358cc42a9be9261af22101af.zip | |
[analyzer] BranchNodeBuilder should not generate autotransitions.
This fixes radar://10367606
llvm-svn: 143514
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/CoreEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp index 5ab55b5ee39..db007feafb8 100644 --- a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp @@ -456,6 +456,7 @@ void CoreEngine::generateNode(const ProgramPoint &Loc, void CoreEngine::enqueueStmtNode(ExplodedNode *N, const CFGBlock *Block, unsigned Idx) { + assert(Block); assert (!N->isSink()); // Check if this node entered a callee. |
