gcc/testsuite/gcc.dg/tree-ssa/pr64130.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp-details" } */
   3
   4 __extension__ typedef __UINT32_TYPE__ uint32_t;
   5
   6 int funsigned (uint32_t a)
   7 {
   8   return 0x1ffffffffL / a == 0;
   9 }
  10
  11 int funsigned2 (uint32_t a)
  12 {
  13   if (a < 1) return 1;
  14   return (-1 * 0x1ffffffffL) / a == 0;
  15 }
  16
  17 /* { dg-final { scan-tree-dump "int \\\[2, 8589934591\\\]" "evrp" } } */
  18 /* { dg-final { scan-tree-dump "int \\\[-8589934591, -2\\\]" "evrp" } } */
  19