support/tst-test_compare.c

   1 /* Basic test for the TEST_COMPARE macro.
   2    Copyright (C) 2017-2023 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4
   5    The GNU C Library is free software; you can redistribute it and/or
   6    modify it under the terms of the GNU Lesser General Public
   7    License as published by the Free Software Foundation; either
   8    version 2.1 of the License, or (at your option) any later version.
   9
  10    The GNU C Library is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13    Lesser General Public License for more details.
  14
  15    You should have received a copy of the GNU Lesser General Public
  16    License along with the GNU C Library; if not, see
  17    <https://www.gnu.org/licenses/>.  */
  18
  19 #include <string.h>
  20 #include <support/check.h>
  21 #include <support/capture_subprocess.h>
  22
  23 static void
  24 subprocess (void *closure)
  25 {
  26   char ch = 1;
  27   /* These tests should fail.  */
  28   TEST_COMPARE (ch, -1);         /* Line 28.  */
  29   TEST_COMPARE (2LL, -2LL);      /* Line 29.  */
  30   TEST_COMPARE (3LL, (short) -3); /* Line 30.  */
  31 }
  32
  33 struct bitfield
  34 {
  35   int i2 : 2;
  36   int i3 : 3;
  37   unsigned int u2 : 2;
  38   unsigned int u3 : 3;
  39   int i31 : 31;
  40   unsigned int u31 : 31 ;
  41   long long int i63 : 63;
  42   unsigned long long int u63 : 63;
  43 };
  44
  45 /* Functions which return signed sizes are common, so test that these
  46    results can readily checked using TEST_COMPARE.  */
  47
  48 static int
  49 return_ssize_t (void)
  50 {
  51   return 4;
  52 }
  53
  54 static int
  55 return_int (void)
  56 {
  57   return 4;
  58 }
  59
  60
  61 static int
  62 do_test (void)
  63 {
  64   /* This should succeed.  */
  65   TEST_COMPARE (1, 1);
  66   TEST_COMPARE (2LL, 2U);
  67   {
  68     char i8 = 3;
  69     unsigned short u16 = 3;
  70     TEST_COMPARE (i8, u16);
  71   }
  72   TEST_COMPARE (return_ssize_t (), sizeof (char[4]));
  73   TEST_COMPARE (return_int (), sizeof (char[4]));
  74
  75   struct bitfield bitfield = { 0 };
  76   TEST_COMPARE (bitfield.i2, bitfield.i3);
  77   TEST_COMPARE (bitfield.u2, bitfield.u3);
  78   TEST_COMPARE (bitfield.u2, bitfield.i3);
  79   TEST_COMPARE (bitfield.u3, bitfield.i3);
  80   TEST_COMPARE (bitfield.i2, bitfield.u3);
  81   TEST_COMPARE (bitfield.i3, bitfield.u2);
  82   TEST_COMPARE (bitfield.i63, bitfield.i63);
  83   TEST_COMPARE (bitfield.u63, bitfield.u63);
  84   TEST_COMPARE (bitfield.i31, bitfield.i63);
  85   TEST_COMPARE (bitfield.i63, bitfield.i31);
  86
  87   struct support_capture_subprocess proc = support_capture_subprocess
  88     (&subprocess, NULL);
  89
  90   /* Discard the reported error.  */
  91   support_record_failure_reset ();
  92
  93   puts ("info: *** subprocess output starts ***");
  94   fputs (proc.out.buffer, stdout);
  95   puts ("info: *** subprocess output ends ***");
  96
  97   TEST_VERIFY
  98     (strcmp (proc.out.buffer,
  99              "tst-test_compare.c:28: numeric comparison failure\n"
 100              "   left: 1 (0x1); from: ch\n"
 101              "  right: -1 (0xffffffff); from: -1\n"
 102              "tst-test_compare.c:29: numeric comparison failure\n"
 103              "   left: 2 (0x2); from: 2LL\n"
 104              "  right: -2 (0xfffffffffffffffe); from: -2LL\n"
 105              "tst-test_compare.c:30: numeric comparison failure"
 106              " (widths 64 and 32)\n"
 107              "   left: 3 (0x3); from: 3LL\n"
 108              "  right: -3 (0xfffffffd); from: (short) -3\n") == 0);
 109
 110   /* Check that there is no output on standard error.  */
 111   support_capture_subprocess_check (&proc, "TEST_COMPARE", 0, sc_allow_stdout);
 112
 113   return 0;
 114 }
 115
 116 #include <support/test-driver.c>