validation/sm_implied.c

   1 struct ture {
   2         int a;
   3 };
   4
   5 struct ture *a;
   6 struct ture *b;
   7
   8 void func (void)
   9 {
  10         struct ture *aa;
  11
  12         b = 0;
  13         if (a)
  14                 goto x;
  15         aa = returns_nonnull();
  16         b = 1;
  17 x:
  18         if (b)
  19                 aa->a = 1;
  20         aa->a = 1;
  21         return;
  22 }