[PATCH] D83190: [analyzer] Model iterator random incrementation symmetrically

[Balázs Kéri via Phabricator via cfe-commits]

balazske added a comment.

Maybe the assert `b.hasValue()` is related to the problems in D83115 <https://reviews.llvm.org/D83115>  or D83961 <https://reviews.llvm.org/D83961>? The changes in those affect the same functions.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83190/new/

https://reviews.llvm.org/D83190