Szelethus added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp:1099
reportOutOfRangeBug("Iterator decremented ahead of its valid range.", LHS,
- C, N);
+ C, N, Pos, false);
}
----------------
`/*PastTheEnd=*/ false`
================
Comment at: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp:1277-1292
+ State = setContainerData(State, ContReg, CData->newEnd(OldEndSym));
} else {
State = setContainerData(State, ContReg,
- ContainerData::fromEnd(NewEndSym));
+ ContainerData::fromEnd(OldEndSym));
}
+ // Then generate and assign a new "end" symbol for the old container.
+ auto NewEndSym =
----------------
I'm confused, are these changes related to this patch? It doesn't seem to be.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62525/new/
https://reviews.llvm.org/D62525
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
