2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-evrp" } */
5 __extension__
typedef __UINT32_TYPE__
uint32_t;
7 int funsigned (uint32_t a
)
9 return 0x1ffffffffL
/ a
== 0;
12 int funsigned2 (uint32_t a
)
15 return (-1 * 0x1ffffffffL
) / a
== 0;
18 /* { dg-final { scan-tree-dump ": \\\[2, 8589934591\\\]" "evrp" } } */
19 /* { dg-final { scan-tree-dump ": \\\[-8589934591, -2\\\]" "evrp" } } */