1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  int f(_Bool a)
       5  {
       6    int t = a;
       7    if (t != 2)
       8     return 0;
       9    return 1;
      10  }
      11  
      12  int f1(unsigned char a)
      13  {
      14    int t = a;
      15    if (t != 256)
      16     return 0;
      17    return 1;
      18  }
      19  
      20  int 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