test/regression/init3.c


1
2
3
4
5
6
7
8
9

/* Warning, not error */

#define NULL ((void *) 0)

int t[2] = { NULL, NULL };

/* But this is an error in CompCert */

/* char u = NULL; */