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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 9 20:04:09 PST 2018

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.


More information about the cfe-commits mailing list