diff options
| author | Adam Balogh <adam.balogh@ericsson.com> | 2019-04-23 11:18:50 +0000 |
|---|---|---|
| committer | Adam Balogh <adam.balogh@ericsson.com> | 2019-04-23 11:18:50 +0000 |
| commit | d2e2e20de36871b281439793c78aabd2bb8eeff9 (patch) | |
| tree | f40a5f6f81ac507acc0f8ddc2e026dc97fc810e3 | |
| parent | ddd225d1a92e7bf28a3185b269fa5911ea89123e (diff) | |
| download | bcm5719-llvm-d2e2e20de36871b281439793c78aabd2bb8eeff9.tar.gz bcm5719-llvm-d2e2e20de36871b281439793c78aabd2bb8eeff9.zip | |
[Analyzer] Second fix for last commit for IteratorChecker
A variable was redeclared instead of assigned in an internal
block, leaving the original uninitialized. This is fixed now.
llvm-svn: 358971
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp index e35bc2768a3..cfa408720c0 100644 --- a/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp @@ -825,7 +825,7 @@ void IteratorChecker::handleComparison(CheckerContext &C, const Expr *CE, SymbolRef Sym; if (!LPos || !RPos) { auto &SymMgr = C.getSymbolManager(); - auto Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), + Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), C.getASTContext().LongTy, C.blockCount()); State = assumeNoOverflow(State, Sym, 4); } |

