source: CIVL/mods/dev.civl.com/examples/languageFeatures/undefPointer.cvl@ cb4d4f4

#include<string.h>

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;
}