common/include/test-array-size.c

   1 /* nbdkit
   2  * Copyright Red Hat
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions are
   6  * met:
   7  *
   8  * * Redistributions of source code must retain the above copyright
   9  * notice, this list of conditions and the following disclaimer.
  10  *
  11  * * Redistributions in binary form must reproduce the above copyright
  12  * notice, this list of conditions and the following disclaimer in the
  13  * documentation and/or other materials provided with the distribution.
  14  *
  15  * * Neither the name of Red Hat nor the names of its contributors may be
  16  * used to endorse or promote products derived from this software without
  17  * specific prior written permission.
  18  *
  19  * THIS SOFTWARE IS PROVIDED BY RED HAT AND CONTRIBUTORS ''AS IS'' AND
  20  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
  21  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
  22  * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL RED HAT OR
  23  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  24  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  25  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
  26  * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  27  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  28  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
  29  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  30  * SUCH DAMAGE.
  31  */
  32
  33 #include <config.h>
  34
  35 #include <stdio.h>
  36 #include <stdlib.h>
  37 #undef NDEBUG /* Keep test strong even for nbdkit built without assertions */
  38 #include <assert.h>
  39
  40 #include "array-size.h"
  41 #include "static-assert.h"
  42
  43 struct st { const char *s; int i; };
  44
  45 static const char *s0[] __attribute__ ((__unused__)) = { };
  46 static const char *s1[] __attribute__ ((__unused__)) = { "a" };
  47 static const char *s3[] __attribute__ ((__unused__)) = { "a", "b", "c" };
  48 static const char *s4[4] __attribute__ ((__unused__)) = { "a", "b", "c", "d" };
  49 static int i0[] __attribute__ ((__unused__)) = { };
  50 static int i1[] __attribute__ ((__unused__)) = { 1 };
  51 static int i3[] __attribute__ ((__unused__)) = { 1, 2, 3 };
  52 static int i4[4] __attribute__ ((__unused__)) = { 1, 2, 3, 4 };
  53 static struct st st0[] __attribute__ ((__unused__)) = { };
  54 static struct st st1[] __attribute__ ((__unused__)) = { { "a", 1 } };
  55 static struct st st3[] __attribute__ ((__unused__)) =
  56   { { "a", 1 }, { "b", 2 }, { "c", 3 } };
  57 static struct st st4[4] __attribute__ ((__unused__)) =
  58   { { "a", 1 }, { "b", 2 }, { "c", 3 }, { "d", 4 } };
  59 static struct st st4_0[4] __attribute__ ((__unused__));
  60
  61 int
  62 main (void)
  63 {
  64   STATIC_ASSERT (ARRAY_SIZE (s0) == 0, _array_size_macro_works);
  65   STATIC_ASSERT (ARRAY_SIZE (s1) == 1, _array_size_macro_works);
  66   STATIC_ASSERT (ARRAY_SIZE (s3) == 3, _array_size_macro_works);
  67   STATIC_ASSERT (ARRAY_SIZE (s4) == 4, _array_size_macro_works);
  68   STATIC_ASSERT (ARRAY_SIZE (i0) == 0, _array_size_macro_works);
  69   STATIC_ASSERT (ARRAY_SIZE (i1) == 1, _array_size_macro_works);
  70   STATIC_ASSERT (ARRAY_SIZE (i3) == 3, _array_size_macro_works);
  71   STATIC_ASSERT (ARRAY_SIZE (i4) == 4, _array_size_macro_works);
  72   STATIC_ASSERT (ARRAY_SIZE (st0) == 0, _array_size_macro_works);
  73   STATIC_ASSERT (ARRAY_SIZE (st1) == 1, _array_size_macro_works);
  74   STATIC_ASSERT (ARRAY_SIZE (st3) == 3, _array_size_macro_works);
  75   STATIC_ASSERT (ARRAY_SIZE (st4) == 4, _array_size_macro_works);
  76   STATIC_ASSERT (ARRAY_SIZE (st4_0) == 4, _array_size_macro_works);
  77
  78   /* You can uncomment this to test the negative case.  Unfortunately
  79    * it's difficult to automate this test.
  80    */
  81 #if 0
  82   int *p = i4;
  83   STATIC_ASSERT (ARRAY_SIZE (p) == 4, _array_size_macro_is_applied_to_array);
  84 #endif
  85
  86   exit (EXIT_SUCCESS);
  87 }