[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