1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-vrp1" } */ 3 f(_Bool a)4int f(_Bool a) 5 { 6 int t = a; 7 if (t != 2) 8 return 0; 9 return 1; 10 } 11 f1(unsigned char a)12int f1(unsigned char a) 13 { 14 int t = a; 15 if (t != 256) 16 return 0; 17 return 1; 18 } 19 f3(unsigned char c)20int f3 (unsigned char c) 21 { 22 int i = c; 23 if (i < 0 || i > 255) 24 return -1; 25 else 26 return 0; 27 } 28 29 /* { dg-final { scan-tree-dump-times "if " 0 "vrp1" } } */ 30 31 32