llir 0.2.2

LLVM IR Binding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

int main() {
  char *p1 = (char *) malloc(sizeof(char) * 10);
  char *p2 = (char *) malloc(sizeof(char) * 10);

  // p1 is checked
  if (p1 != 0) {
    p1[0] = 10;
  }

  // p2 is not
  p2[0] = 10;
}