exp-ptrcheck/tests/hp_dangle.c

#include <stdlib.h>

int* mk_dangle(void)
{
   int* x = malloc(400);
   free(x);

   return x;
}

int main(void)
{
   int  y;
   int* x = mk_dangle();

   y = x[5];
   y = x[-1];
   
   return 0;
}