commit 22a00cfbf2afc5544ed5aa9192131a17dd998fc2
Author: Akim Demaille <[email protected]>
Date: Sat May 4 17:50:57 2019 +0200
style: use warning_is_enabled instead of duplicating it
* src/complain.c (deprecated_directive): Here.
diff --git a/src/complain.c b/src/complain.c
index 99f400e6..8a6d8c57 100644
--- a/src/complain.c
+++ b/src/complain.c
@@ -521,7 +521,7 @@ deprecated_directive (location const *loc, char const *old,
char const *upd)
_("deprecated directive: %s, use %s"),
quote (old), quote_n (1, upd));
/* Register updates only if -Wdeprecated is enabled. */
- if (warnings_flag[warning_deprecated] != severity_disabled)
+ if (warning_is_enabled (Wdeprecated))
fixits_register (loc, upd);
}