1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wstrict-overflow=3" } */
4 volatile unsigned long *
5 sat_add(volatile unsigned long *ptr
, unsigned long i
, volatile unsigned long *end
)
7 if ((unsigned long)ptr
+ i
* sizeof(*ptr
) > (unsigned long)ptr
) /* { dg-bogus "pointer wraparound" } */