1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// { dg-do compile } // { dg-options "-O2 -fdump-tree-evrp" } void gg(void); int f(unsigned t) { unsigned g = t*16; if (g==0) return 1; gg(); gg(); gg(); gg(); gg(); gg(); if (g<=4) return 1; return 0; } // { dg-final { scan-tree-dump-times " if " 1 "evrp" } }