diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-09 12:16:07 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-09 12:16:07 +0000 |
| commit | 8cca37fae0e6f05ba8987fcdc86a780175ae0121 (patch) | |
| tree | 144d7c49d4af13491dce9f2bf88c884c76d04ce9 /clang/lib/Analysis/PthreadLockChecker.cpp | |
| parent | 75017b7cef1603f87a5644b6b557ddc4f03dcf45 (diff) | |
| download | bcm5719-llvm-8cca37fae0e6f05ba8987fcdc86a780175ae0121.tar.gz bcm5719-llvm-8cca37fae0e6f05ba8987fcdc86a780175ae0121.zip | |
Use a temporary destination set such that we can clear fake auto transitions.
Otherwise, even when real evaluation occurs, the previous fake auto
transitions would still be in the destination set, causing fake state
bifurcation.
llvm-svn: 90967
Diffstat (limited to 'clang/lib/Analysis/PthreadLockChecker.cpp')
0 files changed, 0 insertions, 0 deletions
