safecode/test/mem_safety/use_after_free/use_after_free-029.c

/* Use after free resetting pointer value to itself. */
#include <stdlib.h>

int main()
{
  int *ptr = malloc(100);
  free(ptr);
  *ptr = *ptr;
  return 0;
}