Add __builtion_unreachable to vector::size(), vector::capacity()

[official-gcc.git] / gcc / testsuite / c-c++-common / analyzer / malloc-paths-6.c

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

#include <stdlib.h>

void test (void *ptr)
{
  void *q;
  q = ptr;
  free (ptr);
  free (q); /* { dg-warning "double-'free' of 'q'" } */
  /* The above case requires us to handle equivalence classes in
     state transitions.  */
}