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 | |
| parent | 467d8d026c8b0a7eee93f31559cccf9157588d12 (diff) | |
| parent | 16a575e1758b49e0e0f6db6c26c6fbd44c2db98e (diff) | |
| download | sparse-dev-50438f45934d885aa00b126dd9359895e05fd056.tar.gz | |
Merge branch 'arch-cygwin' into master
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/arch/short-wchar.c | 6 | ||||
| -rw-r--r-- | validation/char-signed-native.c | 9 | ||||
| -rw-r--r-- | validation/char-unsigned-native.c | 11 | ||||
| -rw-r--r-- | validation/char-unsigned.c | 2 |
4 files changed, 27 insertions, 1 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 + */ diff --git a/validation/char-signed-native.c b/validation/char-signed-native.c new file mode 100644 index 00000000..5185fce9 --- /dev/null +++ b/validation/char-signed-native.c @@ -0,0 +1,9 @@ +void foo(void) +{ + _Static_assert((char) -1 == -1, "plain char is not signed"); +} + +/* + * check-name: char-signed-native + * check-command: sparse --arch=i386 -Wno-decl $file + */ diff --git a/validation/char-unsigned-native.c b/validation/char-unsigned-native.c new file mode 100644 index 00000000..b8645842 --- /dev/null +++ b/validation/char-unsigned-native.c @@ -0,0 +1,11 @@ +#define MASK ((1 << __CHAR_BIT__) - 1) + +void foo(void) +{ + _Static_assert((char) -1 == (-1 & MASK), "plain char is not unsigned"); +} + +/* + * check-name: char-unsigned-native + * check-command: sparse --arch=arm -Wno-decl $file + */ diff --git a/validation/char-unsigned.c b/validation/char-unsigned.c index 19cadbda..354aa40d 100644 --- a/validation/char-unsigned.c +++ b/validation/char-unsigned.c @@ -6,6 +6,6 @@ void foo(void) } /* - * check-name: fsigned-char + * check-name: funsigned-char * check-command: sparse -funsigned-char -Wno-decl $file */ |