diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c b/gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c new file mode 100644 index 0000000..a9bf7a9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-paths-2.c @@ -0,0 +1,13 @@ +/* Verify that we emit sane paths for state machine errors. */ + +#include <stdlib.h> + +void test_2 (void *ptr) +{ + free (ptr); /* { dg-line first_free } */ + free (ptr); /* { dg-line second_free } */ + + /* { dg-warning "double-'free' of 'ptr'" "" { target *-*-* } second_free } */ + /* { dg-message "\\(1\\) first 'free' here" "" { target *-*-* } first_free } */ + /* { dg-message "\\(2\\) second 'free' here; first 'free' was at \\(1\\)" "" { target *-*-* } second_free } */ +} |