| /* PR middle-end/88273 - bogus warning: 'memcpy' offset [-527, -529] | |
| is out of the bounds [0, 16] | |
| { dg-do compile } | |
| { dg-options "-O2 -Wall" } */ | |
| typedef __SIZE_TYPE__ size_t; | |
| void *q; | |
| size_t x, y; | |
| inline void f (char *p, int i, size_t j) | |
| { | |
| size_t n = y ? y : j; | |
| p += x - i; | |
| __builtin_memcpy (q, p, n); /* { dg-bogus "bounds" } */ | |
| x = n; | |
| } | |
| void g (void) | |
| { | |
| struct { char a[16]; } s; | |
| f (q, 0, sizeof s); | |
| f (s.a, 33 * sizeof s, 1); | |
| } |