1  #include "analyzer-decls.h"
       2  #define NULL ((void *)0)
       3  
       4  void *x, *y;
       5  
       6  void test_1 (int flag)
       7  {
       8    void *p = __builtin_malloc (1024);
       9    if (flag)
      10      x = p;
      11    else
      12      y = p;
      13  } /* { dg-bogus "leak" } */
      14  
      15  struct s2
      16  {
      17    void *f1;
      18    void *f2;
      19  };
      20  
      21  struct s2 test_2 (int flag)
      22  {
      23    struct s2 r;
      24    r.f1 = NULL;
      25    r.f2 = NULL;
      26    void *p = __builtin_malloc (1024);
      27    if (flag)
      28      r.f1 = p;
      29    else
      30      r.f2 = p;
      31    return r;
      32  }