1  /* { dg-do compile } */
       2  /* { dg-options "-O -fwrapv -fdump-tree-gimple" } */
       3  
       4  typedef __INT32_TYPE__ int32_t;
       5  typedef unsigned __INT32_TYPE__ uint32_t;
       6  
       7  int e(int32_t x){return 3*x==5;}
       8  int f(int32_t x){return 3*x==-5;}
       9  int g(int32_t x){return -3*x==5;}
      10  int h(int32_t x){return 7*x==3;}
      11  int i(uint32_t x){return 7*x==3;}
      12  
      13  /* { dg-final { scan-tree-dump-times "== 1431655767" 1 "gimple" } } */
      14  /* { dg-final { scan-tree-dump-times "== -1431655767" 2 "gimple" } } */
      15  /* { dg-final { scan-tree-dump-times "== 613566757" 2 "gimple" } } */