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