gcc/testsuite/gcc.dg/analyzer/pr96650-1-trans.c


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

/* { dg-additional-options "-O2 -fanalyzer-transitivity" } */

int *wf;

void
yd (void);

int
cy (void);

int *
ee (int hp)
{
  if (hp != 0)
    yd ();

  return 0;
}

void
z0 (int co)
{
  int l4 = sizeof (int);

 aq:
  wf = ee (l4);
  if (l4 < co)
    l4 = cy () + sizeof (int);
  goto aq;
}