source: CIVL/examples/languageFeatures/undefPointer.cvl@ 79740cc

#include<civlc.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;
}