gcc/testsuite/c-c++-common/analyzer/malloc-paths-2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/* { dg-skip-if "requires hosted libstdc++ for stdlib free" { ! hostedlib } } */

/* 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'"  "warning" { target *-*-* } second_free } */
  /* { dg-message "\\(1\\) first 'free' here" "event 1" { target *-*-* } first_free } */
  /* { dg-message "\\(2\\) second 'free' here; first 'free' was at \\(1\\)" "event 2" { target *-*-* } second_free } */
}