projects
/
cascardo
/
ovs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
netdev-dpdk: fix mbuf leaks
[cascardo/ovs.git]
/
tests
/
test-type-props.c
diff --git
a/tests/test-type-props.c
b/tests/test-type-props.c
index
3f24725
..
3c351eb
100644
(file)
--- a/
tests/test-type-props.c
+++ b/
tests/test-type-props.c
@@
-1,5
+1,5
@@
/*
/*
- * Copyright (c) 2008, 2009, 2011 Nicira, Inc.
+ * 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.
*
* 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];
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);
TEST_TYPE(char, CHAR_MIN, CHAR_MAX, (CHAR_MIN < 0));
TEST_TYPE(signed char, SCHAR_MIN, SCHAR_MAX, 1);