source: CIVL/examples/sideEffects/malloc.cvl@ 30cc8b7

#include<civlc.h>
#include<stdlib.h>
#include<assert.h>

void main() {
  double *a;
  int m = 5;

  if ( (a=(double *)malloc(m*sizeof(double))) == NULL )
    assert(0);
}