diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/enum-sign-extend.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/validation/enum-sign-extend.c b/validation/enum-sign-extend.c new file mode 100644 index 00000000..9dfbc5eb --- /dev/null +++ b/validation/enum-sign-extend.c @@ -0,0 +1,13 @@ +enum num { + a = 0x80000000, + b = -1, +}; + +_Static_assert([typeof(b)] == [long], "type"); +_Static_assert(b == -1L, "value"); + +/* + * check-name: enum-sign-extend + * check-command: sparse -m64 $file + * check-known-to-fail + */ |