diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2016-10-31 13:13:11 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-02 19:12:39 +0100 |
| commit | 12e122908c3833ec86323354c31aa613fb40b8f6 (patch) | |
| tree | 94ac3af83e9cd7415024c054b7dedc3124daff47 | |
| parent | 1cd5d64b714ec97f2169ce59549ea1ff47da358f (diff) | |
| download | sparse-dev-12e122908c3833ec86323354c31aa613fb40b8f6.tar.gz | |
By default disable the warning flag '-Wunknown-attribute'
Generally, we're not interested by those warnings, but we
can always explicitly ask for them if needed.
So make the flag '-Wunknown-attribute' off by default.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | lib.c | 2 | ||||
| -rw-r--r-- | validation/Wunknown-attribute-def.c | 4 |
2 files changed, 1 insertions, 5 deletions
@@ -250,7 +250,7 @@ int Wtransparent_union = 0; int Wtypesign = 0; int Wundef = 0; int Wuninitialized = 1; -int Wunknown_attribute = 1; +int Wunknown_attribute = 0; int Wvla = 1; int dump_macro_defs = 0; diff --git a/validation/Wunknown-attribute-def.c b/validation/Wunknown-attribute-def.c index 0c0868d6..cccce357 100644 --- a/validation/Wunknown-attribute-def.c +++ b/validation/Wunknown-attribute-def.c @@ -2,8 +2,4 @@ static int foo(void) __attribute__((unknown_attribute)); /* * check-name: warn-unknown-attribute - * - * check-error-start -Wunknown-attribute-def.c:1:37: warning: attribute 'unknown_attribute': unknown attribute - * check-error-end */ |