diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-14 22:03:21 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-14 22:03:21 +0200 |
| commit | 5db5a165533744781180ccea6d6150264e5b565c (patch) | |
| tree | af7e6c1a5d8b30a0d2dd33786b998e41a19cb547 /validation | |
| parent | a1fdab3688708c5ac2b4ae68bf920961355dc2de (diff) | |
| parent | bbeebf636d496c9d5f7a270cb00465dabe87cae5 (diff) | |
| download | sparse-dev-5db5a165533744781180ccea6d6150264e5b565c.tar.gz | |
Merge branch 'assert-opt-msg'
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/static_assert.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/validation/static_assert.c b/validation/static_assert.c index dd5e0c08..0ab5844e 100644 --- a/validation/static_assert.c +++ b/validation/static_assert.c @@ -53,6 +53,10 @@ _Static_assert(1, ); _Static_assert(, ""); _Static_assert(,); +// C2x's version: without message +_Static_assert(1); +_Static_assert(0); + /* * check-name: static assertion * @@ -67,5 +71,6 @@ static_assert.c:52:19: error: string literal expected for _Static_assert() static_assert.c:53:16: error: Expected constant expression static_assert.c:54:16: error: Expected constant expression static_assert.c:54:17: error: string literal expected for _Static_assert() +static_assert.c:58:16: error: static assertion failed * check-error-end */ |