1 #include <stdlib.h>
2 
test_1(int x,int y,int * out)3 void test_1 (int x, int y, int *out)
4 {
5   int *ptr = (int *)malloc (sizeof (int));
6   if (!ptr)
7     return;
8   *ptr = 19;
9 
10   free (ptr);
11   *out = *ptr; /* { dg-warning "use after 'free' of 'ptr'" } */
12 }
13