Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
void some_function() {
  int *a = 0;
  if (a == 0)
    return;
  a[0] = 10;
}

int main() {
  int *ptr = (int *) malloc(sizeof(int) * 4);
  some_function();
  if (ptr != 0) {
    ptr[3] = 5;
  }
}