X-Git-Url: http://git.cascardo.eti.br/?a=blobdiff_plain;f=tests%2Ftest-type-props.c;h=3c351ebae6f6ccb9c94baba199a7bf9be3be5bde;hb=600766e877efa2713b9c87d127f7190d8ab48da9;hp=3c5ff6aeaba77b5133d9881e414bcbf02a3c2545;hpb=67a51a1d851df25eebc676cf24bbb0f821d1c736;p=cascardo%2Fovs.git

diff --git a/tests/test-type-props.c b/tests/test-type-props.c
index 3c5ff6aea..3c351ebae 100644
--- a/tests/test-type-props.c
+++ b/tests/test-type-props.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009, 2011 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2011, 2015 Nicira, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -44,6 +44,10 @@ main (void)
     char max_s[128];
     char min_s[128];
 
+#ifndef __CHECKER__             /* sparse hates sizeof(bool). */
+    TEST_TYPE(_Bool, 0, 1, 0);
+#endif
+
     TEST_TYPE(char, CHAR_MIN, CHAR_MAX, (CHAR_MIN < 0));
 
     TEST_TYPE(signed char, SCHAR_MIN, SCHAR_MAX, 1);