statictest/simple/basic_double_free.c

#include <memory.h>
#include <stdlib.h>
#include <stdio.h>

int main(void) {
  int* i_ptr = malloc(sizeof(int));
  if (i_ptr) {
    (void)printf("malloc() success...\n");
    // Double free
    free(i_ptr);
    free(i_ptr);
  }
}