blob: 123ba1bc3c9aeb8035bc07a031aeb9aa6ef91b0e [file] [log] [blame]
/* Basic test for the TEST_COMPARE macro.
Copyright (C) 2017-2018 Free Software Foundation, Inc.
This file is part of the GNU C Library.
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with the GNU C Library; if not, see
<http://www.gnu.org/licenses/>. */
#include <string.h>
#include <support/check.h>
#include <support/capture_subprocess.h>
static void
subprocess (void *closure)
{
char ch = 1;
/* These tests should fail. */
TEST_COMPARE (ch, -1); /* Line 28. */
TEST_COMPARE (2LL, -2LL); /* Line 29. */
TEST_COMPARE (3LL, (short) -3); /* Line 30. */
}
struct bitfield
{
int i2 : 2;
int i3 : 3;
unsigned int u2 : 2;
unsigned int u3 : 3;
int i31 : 31;
unsigned int u31 : 31 ;
long long int i63 : 63;
unsigned long long int u63 : 63;
};
/* Functions which return signed sizes are common, so test that these
results can readily checked using TEST_COMPARE. */
static int
return_ssize_t (void)
{
return 4;
}
static int
return_int (void)
{
return 4;
}
static int
do_test (void)
{
/* This should succeed. */
TEST_COMPARE (1, 1);
TEST_COMPARE (2LL, 2U);
{
char i8 = 3;
unsigned short u16 = 3;
TEST_COMPARE (i8, u16);
}
TEST_COMPARE (return_ssize_t (), sizeof (char[4]));
TEST_COMPARE (return_int (), sizeof (char[4]));
struct bitfield bitfield = { 0 };
TEST_COMPARE (bitfield.i2, bitfield.i3);
TEST_COMPARE (bitfield.u2, bitfield.u3);
TEST_COMPARE (bitfield.u2, bitfield.i3);
TEST_COMPARE (bitfield.u3, bitfield.i3);
TEST_COMPARE (bitfield.i2, bitfield.u3);
TEST_COMPARE (bitfield.i3, bitfield.u2);
TEST_COMPARE (bitfield.i63, bitfield.i63);
TEST_COMPARE (bitfield.u63, bitfield.u63);
TEST_COMPARE (bitfield.i31, bitfield.i63);
TEST_COMPARE (bitfield.i63, bitfield.i31);
struct support_capture_subprocess proc = support_capture_subprocess
(&subprocess, NULL);
/* Discard the reported error. */
support_record_failure_reset ();
puts ("info: *** subprocess output starts ***");
fputs (proc.out.buffer, stdout);
puts ("info: *** subprocess output ends ***");
TEST_VERIFY
(strcmp (proc.out.buffer,
"tst-test_compare.c:28: numeric comparison failure\n"
" left: 1 (0x1); from: ch\n"
" right: -1 (0xffffffff); from: -1\n"
"tst-test_compare.c:29: numeric comparison failure\n"
" left: 2 (0x2); from: 2LL\n"
" right: -2 (0xfffffffffffffffe); from: -2LL\n"
"tst-test_compare.c:30: numeric comparison failure"
" (widths 64 and 32)\n"
" left: 3 (0x3); from: 3LL\n"
" right: -3 (0xfffffffd); from: (short) -3\n") == 0);
/* Check that there is no output on standard error. */
support_capture_subprocess_check (&proc, "TEST_COMPARE", 0, sc_allow_stdout);
return 0;
}
#include <support/test-driver.c>