diff options
Diffstat (limited to 'test/regression/init3.c')
-rw-r--r-- | test/regression/init3.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/regression/init3.c b/test/regression/init3.c index 00a36e28..3a15243e 100644 --- a/test/regression/init3.c +++ b/test/regression/init3.c @@ -2,5 +2,8 @@ #define NULL ((void *) 0) -char x = NULL; int t[2] = { NULL, NULL }; + +/* But this is an error in CompCert */ + +/* char u = NULL; */ |