diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/analyzer/malloc-dce.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/malloc-dce.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/malloc-dce.c b/gcc/testsuite/gcc.dg/analyzer/malloc-dce.c new file mode 100644 index 0000000..1b4b878 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-dce.c @@ -0,0 +1,12 @@ +/* { dg-additional-options "-O2" } */ + +#include <stdlib.h> + +void test(void) +{ + void *ptr = malloc(512); + free(ptr); + free(ptr); /* { dg-warning "double-'free'" "" { xfail *-*-* } } */ +} +/* With optimization, the whole of test() goes away in the "cddce" pass + before the analysis pass sees it, and hence we get no error message. */ |