source: CIVL/examples/languageFeatures/pointers.cvl@ 1258be5

/* Commandline execution:
 *              civl verify pointers.cvl
 * */
#include<civlc.h>

void passByRef(int * array) {
  *array = 42;
}

void main() {
  int a;
  int* b;
  int c[2];
  int* d;
  int** g;
  int* f;
    
  f = &a;
  a = 1;
  b = &a;
  c[0] = 0;
  c[1] = 1;
  d = &c[1];
  g = &d;
  $assert *b == 1;
  $assert *d == 1;
  $assert **g == 1;
  $assert g == &d;
  passByRef(f);
  $assert *f == 42;
}