source: CIVL/examples/library/civlc/freeBad2.cvl@ d87ec9c

#include <civlc.h>

void main(){
  int * a = (int*) $malloc($here, sizeof(int));
  
  
  $free(NULL);
  $free(a);
  $free(a); //a has already been deallocated and the call is error prone.
}