diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-09-02 13:26:26 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-09-02 13:26:26 +0000 |
| commit | 6e4232c79cf0560b4bfeca4a122959def72c4ae9 (patch) | |
| tree | 43d9b9a21fa201defb1e87b1fceb3fbd583c566a /llvm/lib/Transforms/Instrumentation/OptimalEdgeProfiling.cpp | |
| parent | c707da6866d7a2a18a231f20b9a565f100634a69 (diff) | |
| download | bcm5719-llvm-6e4232c79cf0560b4bfeca4a122959def72c4ae9.tar.gz bcm5719-llvm-6e4232c79cf0560b4bfeca4a122959def72c4ae9.zip | |
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.
llvm-svn: 80786
Diffstat (limited to 'llvm/lib/Transforms/Instrumentation/OptimalEdgeProfiling.cpp')
0 files changed, 0 insertions, 0 deletions
