re PR tree-optimization/21001 (VRP is weak when the tested variable in a COND_EXPR...