diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/analyzer/many-disabled-diagnostics.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/many-disabled-diagnostics.c | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/many-disabled-diagnostics.c b/gcc/testsuite/gcc.dg/analyzer/many-disabled-diagnostics.c new file mode 100644 index 0000000..48d4023 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/many-disabled-diagnostics.c @@ -0,0 +1,55 @@ +/* { dg-additional-options "-Wno-analyzer-double-free" } */ + +#define DOUBLE_FREE() \ + do { \ + void *p = __builtin_malloc (1024); \ + __builtin_free (p); \ + __builtin_free (p); \ + } while (0) + +#define DOUBLE_FREE_x_10() \ + do { \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + DOUBLE_FREE(); \ + } while (0) + +#define DOUBLE_FREE_x_100() \ + do { \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + DOUBLE_FREE_x_10(); \ + } while (0) + +#define DOUBLE_FREE_x_1000() \ + do { \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + DOUBLE_FREE_x_100(); \ + } while (0) + +void test_1 (void) +{ + DOUBLE_FREE_x_1000 (); +} |