2 * Copyright (c) 2008, 2009, 2011 Nicira, Inc.
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:
8 * http://www.apache.org/licenses/LICENSE-2.0
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.
18 #include "type-props.h"
24 #define MUST_SUCCEED(EXPRESSION) \
25 if (!(EXPRESSION)) { \
26 fprintf(stderr, "%s:%d: %s failed\n", \
27 __FILE__, __LINE__, #EXPRESSION); \
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); \
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));
47 TEST_TYPE(char, CHAR_MIN, CHAR_MAX, (CHAR_MIN < 0));
49 TEST_TYPE(signed char, SCHAR_MIN, SCHAR_MAX, 1);
50 TEST_TYPE(short int, SHRT_MIN, SHRT_MAX, 1);
51 TEST_TYPE(int, INT_MIN, INT_MAX, 1);
52 TEST_TYPE(long int, LONG_MIN, LONG_MAX, 1);
53 TEST_TYPE(long long int, LLONG_MIN, LLONG_MAX, 1);
55 TEST_TYPE(unsigned char, 0, UCHAR_MAX, 0);
56 TEST_TYPE(unsigned short int, 0, USHRT_MAX, 0);
57 TEST_TYPE(unsigned int, 0, UINT_MAX, 0);
58 TEST_TYPE(unsigned long int, 0, ULONG_MAX, 0);
59 TEST_TYPE(unsigned long long int, 0, ULLONG_MAX, 0);
61 MUST_SUCCEED(!(TYPE_IS_INTEGER(float)));
62 MUST_SUCCEED(!(TYPE_IS_INTEGER(double)));
63 MUST_SUCCEED(!(TYPE_IS_INTEGER(long double)));