source: CIVL/examples/languageFeatures/mallocBad2.cvl@ 4b3c20f

/* Commandline execution:
 *              civl verify mallocBad2.cvl
 * */
#include <civlc.cvh>
void main() {
  $scope s=$root;
  double *p;
  
  // Uses pointer without malloc.
  p[4]=3.14;
  $assert(p[4]==3.14);
  $free(p);
}