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-02-15 21:30:09 +0100 |
| commit | bdf0e7cbb34b4d914366fe00063ce1da85ee2667 (patch) | |
| tree | 38aeed8c049430d9dfa288a702b183be06b81c1a | |
| parent | 513a6ecf20e6338fe45ff45a23499468b6ce9888 (diff) | |
| download | sparse-dev-bdf0e7cbb34b4d914366fe00063ce1da85ee2667.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
@@ -251,7 +251,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 */ |