[PATCH] D47417: [analyzer] Add missing state transition in IteratorChecker

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

Did the tests execute? I am not sure. First problem is the the container may become dead before the iterator, so its `Begin` and `End` symbols may be inaccessible. This is easy to solve by marking the container of the iterator as live. However, there is a second problem that disables correct tracking of iterators: memory regions are marked as dead, however there are `LazyCompoundVal`s referring to them. Is this maybe a bug in `SymbolReaper`?


Repository:
  rC Clang

https://reviews.llvm.org/D47417