[PATCH] D62688: [Analyzer] Iterator Checkers - Model `empty()` method of containers

sanaanajjar231288 added a comment. In D62688#1549574 , @Szelethus wrote: > Hmm, an idea just popped into my head. I'm not sure whether we have a single > checker that does so much complicated (and totally awesome) modeling as > `IteratorChecker`. What

[PATCH] D62611: [analyzer][Dominators] Add unittests

sanaanajjar231288 added a comment. In D62611#1521692 , @Szelethus wrote: > Fixes according to reviewer comments, thanks! :) CHANGES SINCE LAST ACTION https://reviews.llvm.org/D62611/new/ https://reviews.llvm.org/D62611