source: CIVL/examples/languageFeatures/pointerAddBad2.cvl@ b67507f

#include <civlc.h>
#include <stdio.h>
void main(){

  int **p;
  int ret;

  p = (int **)$malloc($root, sizeof(int *) * 10);
  for(int i=0; i<10; i++){
    p[i] = (int *)$malloc($root, sizeof(int) * 10);
    for(int j = 0; j<10; j++)
     p[i][j] = i;
  }
  
  ret = *(&p[0][0] + 10);
  for(int i=0; i<10; i++)
   $free(p[i]);
  $free(p);
}