source: CIVL/examples/languageFeatures/undefPointer.cvl@ 8d298d8

#include<string.cvh>

typedef struct node_t {
  struct node_t *next;
} node_t;

void main() {
  node_t n;
  int x;
  
  if (n.next == NULL) // exception: reading undefined variable
    x==1;
}