blob: 9ec49b4231ada862d988a5cfc83aef563c8e6867 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
/* PR middle-end/30286 */
/* { dg-do run } */
/* { dg-options "-O2 -ftrapv" } */
extern void abort (void);
struct S { struct S *s; };
struct T { struct S *t[25]; };
void
__attribute__((noinline))
foo (int i, struct T *x, struct S *y)
{
int j;
for (j = 14; j > i; j--)
x->t[j] = y->s;
}
int
main (void)
{
struct S s;
struct T t;
int i;
s.s = &s;
__builtin_memset (&t, 0, sizeof (t));
foo (6, &t, &s);
for (i = 0; i < 25; i++)
if (t.t[i] != ((i > 6 && i <= 14) ? &s : (struct S *) 0))
abort ();
__builtin_memset (&t, 0, sizeof (t));
foo (-1, &t, &s);
for (i = 0; i < 25; i++)
if (t.t[i] != ((i >= 0 && i <= 14) ? &s : (struct S *) 0))
abort ();
return 0;
}
|