| commit | 6403b57eda05a22273d920ad0bd2991d11eaa7b8 | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Wed Sep 02 13:26:26 2009 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Wed Sep 02 13:26:26 2009 +0000 |
| tree | ab637a053e55c1442059e9fba282eae561ff113f | |
| parent | de18d1264ea01234ca864606a8717272b2c7c5fb [diff] |
Refactor the check for bad divide into a checker. Also fix a checker context bug: the Dst set is not always empty initially. Because in GRExprEngine::CheckerVisit(), *CurrSet is used repeatedly. So we removed the Dst.empty() condition in ~CheckerContext() when deciding whether to do autotransision. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@80786 91177308-0d34-0410-b5e6-96231b3b80d8