tests/test-type-props.c

   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
  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
  36 main (void)
  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 }