diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-26 23:59:30 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-26 23:59:30 +0100 |
| commit | 50438f45934d885aa00b126dd9359895e05fd056 (patch) | |
| tree | f8cc5177c314fa48c551ec2c02093dabd153a7d4 /validation/arch | |
| parent | 467d8d026c8b0a7eee93f31559cccf9157588d12 (diff) | |
| parent | 16a575e1758b49e0e0f6db6c26c6fbd44c2db98e (diff) | |
| download | sparse-dev-50438f45934d885aa00b126dd9359895e05fd056.tar.gz | |
Merge branch 'arch-cygwin' into master
Diffstat (limited to 'validation/arch')
| -rw-r--r-- | validation/arch/short-wchar.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/validation/arch/short-wchar.c b/validation/arch/short-wchar.c new file mode 100644 index 00000000..de05313c --- /dev/null +++ b/validation/arch/short-wchar.c @@ -0,0 +1,6 @@ +_Static_assert([__WCHAR_TYPE__] == [unsigned short], "short wchar"); + +/* + * check-name: short-wchar + * check-command: sparse -fshort-wchar $file + */ |