[Libosinfo] [libosinfo] Use gnulib's ignore-value.h to silence gcc

Christophe Fergeau cfergeau at redhat.com
Thu Jan 31 12:43:22 UTC 2013


osinfo_loader.c contains a few local hacks to avoid gcc warnings
about set-but-not-read variables. While they are good to silence
gcc, they also cause warnings from the Coverity checker.
Use the ignore_value() macro from gnulib to avoid these warnings
as they don't cause Coverity warnings.
---
 osinfo/ignore-value.h  | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 osinfo/osinfo_loader.c | 19 ++++++-------------
 2 files changed, 53 insertions(+), 13 deletions(-)
 create mode 100644 osinfo/ignore-value.h

diff --git a/osinfo/ignore-value.h b/osinfo/ignore-value.h
new file mode 100644
index 0000000..6bab971
--- /dev/null
+++ b/osinfo/ignore-value.h
@@ -0,0 +1,47 @@
+/* ignore a function return without a compiler warning
+
+   Copyright (C) 2008-2013 Free Software Foundation, Inc.
+
+   This program is free software: you can redistribute it and/or modify
+   it under the terms of the GNU Lesser General Public License as published by
+   the Free Software Foundation; either version 2.1 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
+
+/* Written by Jim Meyering, Eric Blake and Pádraig Brady.  */
+
+/* Use "ignore_value" to avoid a warning when using a function declared with
+   gcc's warn_unused_result attribute, but for which you really do want to
+   ignore the result.  Traditionally, people have used a "(void)" cast to
+   indicate that a function's return value is deliberately unused.  However,
+   if the function is declared with __attribute__((warn_unused_result)),
+   gcc issues a warning even with the cast.
+
+   Caution: most of the time, you really should heed gcc's warning, and
+   check the return value.  However, in those exceptional cases in which
+   you're sure you know what you're doing, use this function.
+
+   For the record, here's one of the ignorable warnings:
+   "copy.c:233: warning: ignoring return value of 'fchown',
+   declared with attribute warn_unused_result".  */
+
+#ifndef _GL_IGNORE_VALUE_H
+# define _GL_IGNORE_VALUE_H
+
+/* The __attribute__((__warn_unused_result__)) feature
+   is available in gcc versions 3.4 and newer,
+   while the typeof feature has been available since 2.7 at least.  */
+# if __GNUC__ < 3 || (__GNUC__ == 3 && __GNUC_MINOR__ < 4)
+#  define ignore_value(x) ((void) (x))
+# else
+#  define ignore_value(x) (({ __typeof__ (x) __x = (x); (void) __x; }))
+# endif
+
+#endif
diff --git a/osinfo/osinfo_loader.c b/osinfo/osinfo_loader.c
index d713767..76e9bc2 100644
--- a/osinfo/osinfo_loader.c
+++ b/osinfo/osinfo_loader.c
@@ -34,6 +34,7 @@
 #include <libxml/tree.h>
 #include <libxml/xpath.h>
 #include <libxml/xmlreader.h>
+#include "ignore-value.h"
 #include "osinfo_install_script_private.h"
 #include "osinfo_device_driver_private.h"
 
@@ -1486,20 +1487,15 @@ osinfo_loader_process_file_reg_ids(OsinfoLoader *loader,
                 WANT_ID(subvendor_id);
                 WANT_ID(subdevice_id);
                 WANT_REST(subsystem);
-
-                /* Pretend we 'use' these variables to get around
-                 * 'gcc' warnings about set-but-not-read vars */
-                if (subvendor_id || subdevice_id || subsystem)
-                    subsystem = subsystem;
+                ignore_value(subvendor_id);
+                ignore_value(subdevice_id);
+                ignore_value(subsystem);
             } else {
                 FREE_BUF(device_buf);
                 WANT_ID(device_id);
                 WANT_REST(device);
                 SAVE_BUF(device_buf);
-
-                /* Trick gcc set-by-not-read-vars warning */
-                if (device)
-                    device = device;
+                ignore_value(device);
 
                 gchar *id = g_strdup_printf("%s/%s/%s",
                                             baseURI, vendor_id, device_id);
@@ -1521,10 +1517,7 @@ osinfo_loader_process_file_reg_ids(OsinfoLoader *loader,
             WANT_ID(vendor_id);
             WANT_REST(vendor);
             SAVE_BUF(vendor_buf);
-
-            /* Trick gcc set-by-not-read-vars warning */
-            if (vendor)
-                vendor = vendor;
+            ignore_value(vendor);
         }
 
     done:
-- 
1.8.1




More information about the Libosinfo mailing list