[PATCH] D48764: [Analyzer] Hotfix for iterator checkers: Mark left-hand side of `SymIntExpr` objects as live in the program state maps.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

That's right. You only need to mark "atomic" symbols (`SymbolData`) as live, and expressions that contain them would automatically become live. So i think you should just iterate through a `symbol_iterator` and mark all `SymbolData` symbols you encounter as live.

Is this a hotfix for a test failure? Otherwise it'd be great to have tests.


https://reviews.llvm.org/D48764