diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-01-05 04:22:20 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:34:45 +0800 |
| commit | 5373460f30621c21c5557ea5c3eaf9f8f66adff7 (patch) | |
| tree | 83576c3342618ede82efc4d623d2301cf782aedc /validation | |
| parent | 0f89a2c57648682bb4c8c195feadcb750f10fd52 (diff) | |
| download | sparse-dev-5373460f30621c21c5557ea5c3eaf9f8f66adff7.tar.gz | |
C11: teach sparse about '--std={c11,gnu11}'
Now that support have been added for C11 new syntax we can accept
'--std={c11,gnu11}' no more dying with "Unsupported C dialect" message.
Also adjust __STDC_VERSION__ accordingly and define the few
associated feature macros (__STD_NO_ATOMICS__, ...).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/c11-stdc-version.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/validation/c11-stdc-version.c b/validation/c11-stdc-version.c new file mode 100644 index 00000000..3acedd19 --- /dev/null +++ b/validation/c11-stdc-version.c @@ -0,0 +1,11 @@ +__STDC_VERSION__ + +/* + * check-name: c11-stdc-version + * check-command: sparse -E -std=c11 $file + * + * check-output-start + +201112L + * check-output-end + */ |