gcc/testsuite/c-c++-common/analyzer/pr96648.c

   1 /* { dg-additional-options "-O1" } */
   2
   3 struct vd {
   4   struct vd *rs;
   5 };
   6
   7 struct fh {
   8   struct vd cl;
   9 };
  10
  11 struct i3 {
  12   struct fh *h4;
  13 };
  14
  15 struct fh *
  16 gm (void);
  17
  18 void
  19 j7 (struct vd *);
  20
  21 inline void
  22 mb (struct vd *e7)
  23 {
  24   j7 (e7->rs);
  25 }
  26
  27 void
  28 po (struct i3 *d2)
  29 {
  30   struct i3 *s2;
  31
  32   d2->h4 = gm ();
  33   mb (&d2->h4->cl);
  34   s2 = ({ d2 - 1; });
  35   po (s2);
  36 }