source: CIVL/examples/languageFeatures/mallocBad2.cvl@ d410676

#include <civlc.h>

// Uses pointer with no malloc.
void main() {
  $heap h;
  double *p; // = (double *) $malloc(&h, 5*sizeof(double));
  
  p[4]=3.14;
  $assert(p[4]==3.14);
  $free(&h, p);
}