diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-14 01:13:26 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-15 02:24:31 +0100 |
| commit | 0789c9a3eb450c5e140f61d35bf95043d2b37c94 (patch) | |
| tree | cb66816e5317e5ee8e07bd49475b72260a21ec67 /validation/arch | |
| parent | 47628528e22cc44e74604e45073c9e022b0472ca (diff) | |
| download | sparse-dev-0789c9a3eb450c5e140f61d35bf95043d2b37c94.tar.gz | |
arch: teach sparse about -fshort-wchar
This is useful in cgcc for supporting Cygwin which doesn't
use a 32-bit type for wchar_t.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
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 + */ |