re PR tree-optimization/15911 (VRP/DOM does not like TRUTH_AND_EXPR)