diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:22:31 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:23:38 +0200 |
commit | ffc03f2dcb24438d2900743848005c9a058e649c (patch) | |
tree | cc861e334a4dbd0990038e870d34ff185ecafe7c /test/clightgen/issue216.c | |
parent | 27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf (diff) | |
download | compcert-ffc03f2dcb24438d2900743848005c9a058e649c.tar.gz compcert-ffc03f2dcb24438d2900743848005c9a058e649c.zip |
Add tests for clightgen
Also: add "parallel" entry to test/Makefile for parallel execution of tests.
Diffstat (limited to 'test/clightgen/issue216.c')
-rw-r--r-- | test/clightgen/issue216.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/clightgen/issue216.c b/test/clightgen/issue216.c new file mode 100644 index 00000000..796b69b4 --- /dev/null +++ b/test/clightgen/issue216.c @@ -0,0 +1,5 @@ +#include <stddef.h> + +struct list {unsigned head; struct list *tail;}; +struct list three[] = { {1, three+1}, {2, three+2}, {3, NULL} }; +int f(int x) { return x;} |