X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Ftest-byte-order.c;h=1c5bf388e5580007d23a3903dab254827e592c73;hb=264ecd63860eaf705669edac1bdc7292d8da0843;hp=187075457eb9901edf740f385f160a1e6444d7ad;hpb=10a24935c9d382e4d85b05d9616843f3d3bb4983;p=openvswitch

diff --git a/tests/test-byte-order.c b/tests/test-byte-order.c
index 18707545..1c5bf388 100644
--- a/tests/test-byte-order.c
+++ b/tests/test-byte-order.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010 Nicira Networks.
+ * Copyright (c) 2010, 2011 Nicira Networks.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -22,6 +22,7 @@
 int
 main(void)
 {
+#ifndef __CHECKER__
     /* I picked some random numbers. */
     const uint16_t s = 0xc9bd;
     const uint32_t l = 0xffe56ae8;
@@ -44,6 +45,9 @@ main(void)
     assert(ntohll(htonll(ll)) == ll);
     assert(CONSTANT_HTONLL(ntohll(ll)) == ll);
     assert(ntohll(CONSTANT_HTONLL(ll)));
+#else  /* __CHECKER__ */
+/* Making sparse happy with this code makes it unreadable, so don't bother. */
+#endif
 
     return 0;
 }