style: use warning_is_enabled instead of duplicating it

[Akim Demaille]

commit 22a00cfbf2afc5544ed5aa9192131a17dd998fc2
Author: Akim Demaille <address@hidden>
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);
 }