blob: 5c4410deec85a18ef0882760e9a223a157728a89 (
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
38
39
40
|
/* { dg-do compile } */
/* { dg-options "-O -fno-ivopts -Wuninitialized" } */
int *e;
int f1 (void);
void f2 (int);
long f3 (void *, long, int *);
void f4 (void *);
int *fh;
void tst (void)
{
int status;
unsigned char badData[3][3] = { { 7 }, { 16 }, { 23 } };
int badDataSize[3] = { 1, 1, 1 };
int i;
for (i = 0; i < 3; i++)
{
int emax;
if (i == 2)
emax = f1 ();
status = f3 (&badData[i][0], badDataSize[i], fh);
if (status)
{
f1 ();
f1 ();
f1 ();
}
f4 (fh);
*e = 0;
f1 ();
/* When threading the following out of the loop uninit
analysis needs to pick up the loop exit condition
to match up with this guard.
??? This doesn't work reliably when IVOPTs is run. */
if (i == 2)
f2 (emax); /* { dg-bogus "uninitialized" } */
}
}
|
