1  #include <stdlib.h>
       2  
       3  void test (void *ptr)
       4  {
       5    void *q;
       6    q = ptr;
       7    free (ptr);
       8    free (q); /* { dg-warning "double-'free' of 'q'" } */
       9    /* The above case requires us to handle equivalence classes in
      10       state transitions.  */
      11  }