cgrammar 0.9.1

A comprehensive C language grammar parser library written in Rust, implementing the C23 standard (ISO/IEC 9899:2023).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#pragma safety enable



int* make1();
int* make2();
void free(void * p);


void f(int condition)
{
  int * p = 0;
  static_state(p, "null");

  if (condition)
  {
       static_state(p, "null");
       p = make1();
       static_state(p, "not-null ");
       free(p);
       p = make2();
       static_state(p, "null | not-null ");
  }
  else
  {
    static_state(p, "null");
  }
  free(p);
}