gcc/testsuite/gcc.dg/analyzer/edges-2.c

#include <stdlib.h>

int foo ();
int bar ();

/* Verify that only significant edges are reported.  */

void test (int a, int b, int c)
{
  void *p = malloc (1024); /* { dg-message "allocated here" } */
  while (a) /* { dg-bogus "" } */
    foo ();
  if (b) /* { dg-bogus "" } */
    foo ();
  else
    bar ();
  if (c) /* { dg-message "following 'true' branch" } */
    free (p); /* { dg-message "first 'free' here" } */
  free (p); /* { dg-warning "double-'free' of 'p'" } */
}