diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/preprocessor/freestanding.c | 11 | ||||
| -rw-r--r-- | validation/preprocessor/hosted.c | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/validation/preprocessor/freestanding.c b/validation/preprocessor/freestanding.c new file mode 100644 index 00000000..7ee35354 --- /dev/null +++ b/validation/preprocessor/freestanding.c @@ -0,0 +1,11 @@ +__STDC_HOSTED__ + +/* + * check-name: freestanding + * check-command: sparse -E -ffreestanding $file + * + * check-output-start + +0 + * check-output-end + */ diff --git a/validation/preprocessor/hosted.c b/validation/preprocessor/hosted.c new file mode 100644 index 00000000..e6b3d3c1 --- /dev/null +++ b/validation/preprocessor/hosted.c @@ -0,0 +1,11 @@ +__STDC_HOSTED__ + +/* + * check-name: hosted + * check-command: sparse -E -fhosted $file + * + * check-output-start + +1 + * check-output-end + */ |