]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2a8603) | patch
[analyzer] BranchNodeBuilder should not generate autotransitions.
authorAnna Zaks <ganna@apple.com>
Tue, 1 Nov 2011 22:41:06 +0000 (22:41 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 1 Nov 2011 22:41:06 +0000 (22:41 +0000)
commitcdcc653642d4ac9255c574fabe74a48149e06733
tree34d9f86920b9658e06738881b60fea825717e2f5tree | snapshot
parenta2a860306e3697fcf7a12c5ba59551ca60578968commit | diff
[analyzer] BranchNodeBuilder should not generate autotransitions.

This fixes radar://10367606

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@143514 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h diff | blob | history
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
test/Analysis/misc-ps.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.