[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
This commit is contained in:
parent
ddd225d1a9
commit
d2e2e20de3
|
@ -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);
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue