gcc/testsuite/c-c++-common/analyzer/many-disabled-diagnostics.c

   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 }