gcc/testsuite/c-c++-common/analyzer/pr96650-1-trans.c

   1 /* { dg-additional-options "-O2 -fanalyzer-transitivity" } */
   2
   3 int *wf;
   4
   5 void
   6 yd (void);
   7
   8 int
   9 cy (void);
  10
  11 int *
  12 ee (int hp)
  13 {
  14   if (hp != 0)
  15     yd ();
  16
  17   return 0;
  18 }
  19
  20 void
  21 z0 (int co)
  22 {
  23   int l4 = sizeof (int);
  24
  25  aq:
  26   wf = ee (l4);
  27   if (l4 < co)
  28     l4 = cy () + sizeof (int);
  29   goto aq;
  30 }