https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108753
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Making this work should hopefully be fairly easy: add a tree walk on the operands of || and && and compare them to the previous condition?