1  /* { dg-additional-options "-Wno-analyzer-double-free" } */
       2  
       3  #define DOUBLE_FREE()				\
       4    do {						\
       5      void *p = __builtin_malloc (1024);		\
       6      __builtin_free (p);				\
       7      __builtin_free (p);				\
       8    } while (0)
       9  
      10  #define DOUBLE_FREE_x_10()			\
      11    do {						\
      12      DOUBLE_FREE();				\
      13      DOUBLE_FREE();				\
      14      DOUBLE_FREE();				\
      15      DOUBLE_FREE();				\
      16      DOUBLE_FREE();				\
      17      DOUBLE_FREE();				\
      18      DOUBLE_FREE();				\
      19      DOUBLE_FREE();				\
      20      DOUBLE_FREE();				\
      21      DOUBLE_FREE();				\
      22    } while (0)
      23  
      24  #define DOUBLE_FREE_x_100()			\
      25    do {						\
      26      DOUBLE_FREE_x_10();				\
      27      DOUBLE_FREE_x_10();				\
      28      DOUBLE_FREE_x_10();				\
      29      DOUBLE_FREE_x_10();				\
      30      DOUBLE_FREE_x_10();				\
      31      DOUBLE_FREE_x_10();				\
      32      DOUBLE_FREE_x_10();				\
      33      DOUBLE_FREE_x_10();				\
      34      DOUBLE_FREE_x_10();				\
      35      DOUBLE_FREE_x_10();				\
      36    } while (0)
      37  
      38  #define DOUBLE_FREE_x_1000()			\
      39    do {						\
      40      DOUBLE_FREE_x_100();			\
      41      DOUBLE_FREE_x_100();			\
      42      DOUBLE_FREE_x_100();			\
      43      DOUBLE_FREE_x_100();			\
      44      DOUBLE_FREE_x_100();			\
      45      DOUBLE_FREE_x_100();			\
      46      DOUBLE_FREE_x_100();			\
      47      DOUBLE_FREE_x_100();			\
      48      DOUBLE_FREE_x_100();			\
      49      DOUBLE_FREE_x_100();			\
      50    } while (0)
      51  
      52  void test_1 (void)
      53  {
      54    DOUBLE_FREE_x_1000 (); 
      55  }