X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.c;h=e9284809e34bbd956a0b892f67e188a97e70a95b;hb=40f0707cd9d105203c2b8b97a955b57aca426f13;hp=65cb36087dc71e752e68d4cde17698aae940870a;hpb=58fda1dab104041fc693032475ec4662c1a52849;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) { }