]>
git.proxmox.com Git - mirror_ovs.git/blob - tests/test-type-props.c
2 * Copyright (c) 2008, 2009, 2011, 2015 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 "openvswitch/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 #ifndef __CHECKER__ /* sparse hates sizeof(bool). */
48 TEST_TYPE(_Bool
, 0, 1, 0);
51 TEST_TYPE(char, CHAR_MIN
, CHAR_MAX
, (CHAR_MIN
< 0));
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);
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);
65 MUST_SUCCEED(!(TYPE_IS_INTEGER(float)));
66 MUST_SUCCEED(!(TYPE_IS_INTEGER(double)));
67 MUST_SUCCEED(!(TYPE_IS_INTEGER(long double)));