]>
Commit | Line | Data |
---|---|---|
a14bc59f BP |
1 | /* |
2 | * Copyright (c) 2008, 2009 Nicira Networks. | |
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 BP |
17 | #include <config.h> |
18 | #include "type-props.h" | |
19 | #include <stdio.h> | |
20 | #include <stdlib.h> | |
21 | ||
22 | #define MUST_SUCCEED(EXPRESSION) \ | |
23 | if (!(EXPRESSION)) { \ | |
24 | fprintf(stderr, "%s:%d: %s failed\n", \ | |
25 | __FILE__, __LINE__, #EXPRESSION); \ | |
26 | exit(EXIT_FAILURE); \ | |
27 | } | |
28 | ||
29 | #define TEST_TYPE(type, minimum, maximum, is_signed) \ | |
30 | MUST_SUCCEED(TYPE_IS_INTEGER(type)); \ | |
31 | MUST_SUCCEED(TYPE_IS_SIGNED(type) == is_signed); \ | |
32 | MUST_SUCCEED(TYPE_MAXIMUM(type) == maximum); \ | |
33 | MUST_SUCCEED(TYPE_MINIMUM(type) == minimum); | |
34 | ||
35 | int | |
d295e8e9 | 36 | main (void) |
064af421 BP |
37 | { |
38 | TEST_TYPE(char, CHAR_MIN, CHAR_MAX, (CHAR_MIN < 0)); | |
39 | ||
40 | TEST_TYPE(signed char, SCHAR_MIN, SCHAR_MAX, 1); | |
41 | TEST_TYPE(short int, SHRT_MIN, SHRT_MAX, 1); | |
42 | TEST_TYPE(int, INT_MIN, INT_MAX, 1); | |
43 | TEST_TYPE(long int, LONG_MIN, LONG_MAX, 1); | |
44 | TEST_TYPE(long long int, LLONG_MIN, LLONG_MAX, 1); | |
45 | ||
46 | TEST_TYPE(unsigned char, 0, UCHAR_MAX, 0); | |
47 | TEST_TYPE(unsigned short int, 0, USHRT_MAX, 0); | |
48 | TEST_TYPE(unsigned int, 0, UINT_MAX, 0); | |
49 | TEST_TYPE(unsigned long int, 0, ULONG_MAX, 0); | |
50 | TEST_TYPE(unsigned long long int, 0, ULLONG_MAX, 0); | |
51 | ||
52 | MUST_SUCCEED(!(TYPE_IS_INTEGER(float))); | |
53 | MUST_SUCCEED(!(TYPE_IS_INTEGER(double))); | |
54 | MUST_SUCCEED(!(TYPE_IS_INTEGER(long double))); | |
55 | ||
56 | return 0; | |
57 | } |