https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80548
--- Comment #11 from Jeffrey A. Law <law at gcc dot gnu.org> --- Thanks! So the change in question improves the decisions in the predicate analysis code, which can be best thought of as a filter for the false positives that are still in the IL. As I said in my previous comment, the best way forward is to get those two new instances filed as distinct bugs in BZ.
