]>
Commit | Line | Data |
---|---|---|
a14bc59f | 1 | /* |
0f395fd3 | 2 | * Copyright (c) 2008, 2009, 2011, 2015 Nicira, Inc. |
a14bc59f BP |
3 | * |
4 | * Licensed under the Apache License, Version 2.0 (the "License"); | |
5 | * you may not use this file except in compliance with the License. | |
6 | * You may obtain a copy of the License at: | |
7 | * | |
8 | * http://www.apache.org/licenses/LICENSE-2.0 | |
9 | * | |
10 | * Unless required by applicable law or agreed to in writing, software | |
11 | * distributed under the License is distributed on an "AS IS" BASIS, | |
12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
13 | * See the License for the specific language governing permissions and | |
14 | * limitations under the License. | |
15 | */ | |
16 | ||
064af421 | 17 | #include <config.h> |
ae06a561 | 18 | #include "openvswitch/type-props.h" |
67a51a1d | 19 | #include <inttypes.h> |
064af421 BP |
20 | #include <stdio.h> |
21 | #include <stdlib.h> | |
67a51a1d | 22 | #include <string.h> |
064af421 BP |
23 | |
24 | #define MUST_SUCCEED(EXPRESSION) \ | |
25 | if (!(EXPRESSION)) { \ | |
26 | fprintf(stderr, "%s:%d: %s failed\n", \ | |
27 | __FILE__, __LINE__, #EXPRESSION); \ | |
28 | exit(EXIT_FAILURE); \ | |
29 | } | |
30 | ||
31 | #define TEST_TYPE(type, minimum, maximum, is_signed) \ | |
32 | MUST_SUCCEED(TYPE_IS_INTEGER(type)); \ | |
33 | MUST_SUCCEED(TYPE_IS_SIGNED(type) == is_signed); \ | |
34 | MUST_SUCCEED(TYPE_MAXIMUM(type) == maximum); \ | |
67a51a1d BP |
35 | MUST_SUCCEED(TYPE_MINIMUM(type) == minimum); \ |
36 | sprintf(max_s, "%"PRIuMAX, (uintmax_t) (maximum)); \ | |
37 | MUST_SUCCEED(strlen(max_s) <= INT_STRLEN(type)); \ | |
38 | sprintf(min_s, "%"PRIdMAX, (intmax_t) (minimum)); \ | |
39 | MUST_SUCCEED(strlen(min_s) <= INT_STRLEN(type)); | |
064af421 BP |
40 | |
41 | int | |
d295e8e9 | 42 | main (void) |
064af421 | 43 | { |
67a51a1d BP |
44 | char max_s[128]; |
45 | char min_s[128]; | |
46 | ||
0f395fd3 BP |
47 | #ifndef __CHECKER__ /* sparse hates sizeof(bool). */ |
48 | TEST_TYPE(_Bool, 0, 1, 0); | |
49 | #endif | |
50 | ||
064af421 BP |
51 | TEST_TYPE(char, CHAR_MIN, CHAR_MAX, (CHAR_MIN < 0)); |
52 | ||
53 | TEST_TYPE(signed char, SCHAR_MIN, SCHAR_MAX, 1); | |
54 | TEST_TYPE(short int, SHRT_MIN, SHRT_MAX, 1); | |
55 | TEST_TYPE(int, INT_MIN, INT_MAX, 1); | |
56 | TEST_TYPE(long int, LONG_MIN, LONG_MAX, 1); | |
57 | TEST_TYPE(long long int, LLONG_MIN, LLONG_MAX, 1); | |
58 | ||
59 | TEST_TYPE(unsigned char, 0, UCHAR_MAX, 0); | |
60 | TEST_TYPE(unsigned short int, 0, USHRT_MAX, 0); | |
61 | TEST_TYPE(unsigned int, 0, UINT_MAX, 0); | |
62 | TEST_TYPE(unsigned long int, 0, ULONG_MAX, 0); | |
63 | TEST_TYPE(unsigned long long int, 0, ULLONG_MAX, 0); | |
64 | ||
65 | MUST_SUCCEED(!(TYPE_IS_INTEGER(float))); | |
66 | MUST_SUCCEED(!(TYPE_IS_INTEGER(double))); | |
67 | MUST_SUCCEED(!(TYPE_IS_INTEGER(long double))); | |
68 | ||
69 | return 0; | |
70 | } |