tests/test-type-props.c

   1 /*
   2  * Copyright (c) 2008, 2009, 2011, 2015 Nicira, Inc.
   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
  17 #include <config.h>
  18 #include "type-props.h"
  19 #include <inttypes.h>
  20 #include <stdio.h>
  21 #include <stdlib.h>
  22 #include <string.h>
  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);        \
  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));
  40
  41 int
  42 main (void)
  43 {
  44     char max_s[128];
  45     char min_s[128];
  46
  47 #ifndef __CHECKER__             /* sparse hates sizeof(bool). */
  48     TEST_TYPE(_Bool, 0, 1, 0);
  49 #endif
  50
  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 }