X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsflow_receiver.c;h=019f38f7e22d5051a1697b4dc1685ec33e00725e;hb=268a95e009c4cc57e967e88f916932fac89fdf1c;hp=0e34959d6492a0608b020e6fadddbfb118cd8e6b;hpb=d295e8e97acae13552a5b220d3fbcff8201064a2;p=openvswitch

diff --git a/lib/sflow_receiver.c b/lib/sflow_receiver.c
index 0e34959d..019f38f7 100644
--- a/lib/sflow_receiver.c
+++ b/lib/sflow_receiver.c
@@ -1,6 +1,8 @@
 /* Copyright (c) 2002-2009 InMon Corp. Licensed under the terms of the InMon sFlow licence: */
 /* http://www.inmon.com/technology/sflowlicense.txt */
 
+#ifndef __CHECKER__            /* Don't run sparse on anything in this file. */
+
 #include <assert.h>
 #include "sflow_api.h"
 
@@ -830,3 +832,5 @@ static void sflError(SFLReceiver *receiver, char *msg)
     sfl_agent_error(receiver->agent, "receiver", msg);
     resetSampleCollector(receiver);
 }
+
+#endif  /* !__CHECKER__ */