[PATCH] D44347: [analyzer] symbol_iterator must iterate through the symbolic base.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> Because string length is for now only composed of `CStringChecker`-tagged metadata symbols and constants...

Even if this was not the case, it is stil certain that string length is a `NonLoc`. And as such it is either a plain `nonloc::SymbolVal` that is unaffected or a `nonloc::LocAsInteger` that is affected but isn't going to work, for a reason described in the `SymbolReaper::markElementIndicesLive()` section. This is a much more obvious way to demonstrate that `CStringChecker` is not affected by this patch.


https://reviews.llvm.org/D44347