1  /* { dg-additional-options "-O2 -fno-analyzer-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  }