X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.c;h=e9284809e34bbd956a0b892f67e188a97e70a95b;hb=36775dad3505929f8370166c33e8e0f04ca96c1c;hp=65cb36087dc71e752e68d4cde17698aae940870a;hpb=29d4af6016b5616ccac56c702c078e36189ef951;p=openvswitch

diff --git a/lib/util.c b/lib/util.c
index 65cb3608..e9284809 100644
--- a/lib/util.c
+++ b/lib/util.c
@@ -383,3 +383,9 @@ dir_name(const char *file_name)
         return xmemdup0(file_name, len);
     }
 }
+
+/* Pass a value to this function if it is marked with
+ * __attribute__((warn_unused_result)) and you genuinely want to ignore 
+ * its return value.  (Note that every scalar type can be implicitly 
+ * converted to bool.) */
+void ignore(bool x UNUSED) { }