]> gcc.gnu.org Git - gcc.git/blob - gcc/testsuite/gcc.dg/pr99578-2.c
Allow (void *) 0xdeadbeef accesses without warnings [PR99578]
[gcc.git] / gcc / testsuite / gcc.dg / pr99578-2.c
1 /* PR middle-end/99578 */
2 /* { dg-do compile { target int32 } } */
3 /* { dg-options "-O2 -Wstringop-overflow" } */
4
5 struct S { int a, b[4]; };
6 struct T { int a, b[8192], c[4]; };
7
8 void
9 foo (struct S *p)
10 {
11 if (p) return;
12 __builtin_memset (p->b, 0, sizeof p->b); /* { dg-warning "writing 16 bytes into a region of size 0 overflows the destination" } */
13 }
14
15 void
16 bar (struct T *p)
17 {
18 if (p) return;
19 __builtin_memset (p->c, 0, sizeof p->c); /* { dg-warning "writing 16 bytes into a region of size 0 overflows the destination" "" { xfail *-*-* } } */
20 }
21
22 void
23 baz (void)
24 {
25 __builtin_memset ((void *) 0x8004, 0, 16); /* { dg-bogus "overflows the destination" } */
26 }
This page took 0.036988 seconds and 5 git commands to generate.