diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2011-04-02 03:20:45 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2011-04-02 03:20:45 +0000 |
| commit | af2371e3686b1fcdf02f0dce64dfa93570016253 (patch) | |
| tree | a36fbd908e399d455c28f8d385431367113ce740 /clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
| parent | 8f89f7c89331594e308bbac9fc4220cba866a744 (diff) | |
| download | bcm5719-llvm-af2371e3686b1fcdf02f0dce64dfa93570016253.tar.gz bcm5719-llvm-af2371e3686b1fcdf02f0dce64dfa93570016253.zip | |
Remove a redundant method. We have a const version.
llvm-svn: 128762
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp index b10c80a266d..a7655c4fb9d 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp @@ -632,6 +632,7 @@ const GRState *MallocChecker::evalAssume(const GRState *state, SVal Cond, RegionStateTy RS = state->get<RegionState>(); for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) { + // If the symbol is assumed to NULL, this will return an APSInt*. if (state->getSymVal(I.getKey())) state = state->set<RegionState>(I.getKey(),RefState::getAllocateFailed()); } |
