OpenE2K
/
glibc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
glibc/support/support_test_compare_failure.c

59 lines
2.2 KiB
C
Raw Normal View History

support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
/* Reporting a numeric comparison failure.
Update copyright dates with scripts/update-copyrights. * All files with FSF copyright notices: Update copyright dates using scripts/update-copyrights. * locale/programs/charmap-kw.h: Regenerated. * locale/programs/locfile-kw.h: Likewise.
2018-01-01 01:32:25 +01:00
Copyright (C) 2017-2018 Free Software Foundation, Inc.
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
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/>. */
support: Preserve errno in write_message, TEST_VERIFY and other checks These facilities could clobber errno, which makes it difficult to write certain checks because a specific order has to be used.
2018-01-12 08:18:30 +01:00
#include <errno.h>
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
#include <stdio.h>
#include <support/check.h>
static void
support: Increase usability of TEST_COMPARE The previous implementation of the TEST_COMPARE macro would fail to compile code like this: int ret = res_send (query, sizeof (query), buf, sizeof (buf)); TEST_COMPARE (ret, sizeof (query) + 2 /* Compression reference. */ + 2 + 2 + 4 + 2 /* Type, class, TTL, RDATA length. */ + 1 /* Pascal-style string length. */ + strlen (expected_name)); This resulted in a failed static assertion, "integer conversions may alter sign of operands". A user of the TEST_COMPARE would have to add a cast to fix this. This patch reverts to the original proposed solution of a run-time check, making TEST_COMPARE usable for comparisons of numbers with types with different signedness in more contexts.
2018-01-08 13:01:36 +01:00
report (const char *which, const char *expr, long long value, int positive,
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
int size)
{
printf (" %s: ", which);
support: Increase usability of TEST_COMPARE The previous implementation of the TEST_COMPARE macro would fail to compile code like this: int ret = res_send (query, sizeof (query), buf, sizeof (buf)); TEST_COMPARE (ret, sizeof (query) + 2 /* Compression reference. */ + 2 + 2 + 4 + 2 /* Type, class, TTL, RDATA length. */ + 1 /* Pascal-style string length. */ + strlen (expected_name)); This resulted in a failed static assertion, "integer conversions may alter sign of operands". A user of the TEST_COMPARE would have to add a cast to fix this. This patch reverts to the original proposed solution of a run-time check, making TEST_COMPARE usable for comparisons of numbers with types with different signedness in more contexts.
2018-01-08 13:01:36 +01:00
if (positive)
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
printf ("%llu", (unsigned long long) value);
support: Increase usability of TEST_COMPARE The previous implementation of the TEST_COMPARE macro would fail to compile code like this: int ret = res_send (query, sizeof (query), buf, sizeof (buf)); TEST_COMPARE (ret, sizeof (query) + 2 /* Compression reference. */ + 2 + 2 + 4 + 2 /* Type, class, TTL, RDATA length. */ + 1 /* Pascal-style string length. */ + strlen (expected_name)); This resulted in a failed static assertion, "integer conversions may alter sign of operands". A user of the TEST_COMPARE would have to add a cast to fix this. This patch reverts to the original proposed solution of a run-time check, making TEST_COMPARE usable for comparisons of numbers with types with different signedness in more contexts.
2018-01-08 13:01:36 +01:00
else
printf ("%lld", value);
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
unsigned long long mask
= (~0ULL) >> (8 * (sizeof (unsigned long long) - size));
printf (" (0x%llx); from: %s\n", (unsigned long long) value & mask, expr);
}
void
support_test_compare_failure (const char *file, int line,
const char *left_expr,
long long left_value,
support: Increase usability of TEST_COMPARE The previous implementation of the TEST_COMPARE macro would fail to compile code like this: int ret = res_send (query, sizeof (query), buf, sizeof (buf)); TEST_COMPARE (ret, sizeof (query) + 2 /* Compression reference. */ + 2 + 2 + 4 + 2 /* Type, class, TTL, RDATA length. */ + 1 /* Pascal-style string length. */ + strlen (expected_name)); This resulted in a failed static assertion, "integer conversions may alter sign of operands". A user of the TEST_COMPARE would have to add a cast to fix this. This patch reverts to the original proposed solution of a run-time check, making TEST_COMPARE usable for comparisons of numbers with types with different signedness in more contexts.
2018-01-08 13:01:36 +01:00
int left_positive,
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
int left_size,
const char *right_expr,
long long right_value,
support: Increase usability of TEST_COMPARE The previous implementation of the TEST_COMPARE macro would fail to compile code like this: int ret = res_send (query, sizeof (query), buf, sizeof (buf)); TEST_COMPARE (ret, sizeof (query) + 2 /* Compression reference. */ + 2 + 2 + 4 + 2 /* Type, class, TTL, RDATA length. */ + 1 /* Pascal-style string length. */ + strlen (expected_name)); This resulted in a failed static assertion, "integer conversions may alter sign of operands". A user of the TEST_COMPARE would have to add a cast to fix this. This patch reverts to the original proposed solution of a run-time check, making TEST_COMPARE usable for comparisons of numbers with types with different signedness in more contexts.
2018-01-08 13:01:36 +01:00
int right_positive,
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
int right_size)
{
support: Preserve errno in write_message, TEST_VERIFY and other checks These facilities could clobber errno, which makes it difficult to write certain checks because a specific order has to be used.
2018-01-12 08:18:30 +01:00
int saved_errno = errno;
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
support_record_failure ();
if (left_size != right_size)
printf ("%s:%d: numeric comparison failure (widths %d and %d)\n",
file, line, left_size * 8, right_size * 8);
else
printf ("%s:%d: numeric comparison failure\n", file, line);
support: Increase usability of TEST_COMPARE The previous implementation of the TEST_COMPARE macro would fail to compile code like this: int ret = res_send (query, sizeof (query), buf, sizeof (buf)); TEST_COMPARE (ret, sizeof (query) + 2 /* Compression reference. */ + 2 + 2 + 4 + 2 /* Type, class, TTL, RDATA length. */ + 1 /* Pascal-style string length. */ + strlen (expected_name)); This resulted in a failed static assertion, "integer conversions may alter sign of operands". A user of the TEST_COMPARE would have to add a cast to fix this. This patch reverts to the original proposed solution of a run-time check, making TEST_COMPARE usable for comparisons of numbers with types with different signedness in more contexts.
2018-01-08 13:01:36 +01:00
report (" left", left_expr, left_value, left_positive, left_size);
report ("right", right_expr, right_value, right_positive, right_size);
support: Preserve errno in write_message, TEST_VERIFY and other checks These facilities could clobber errno, which makes it difficult to write certain checks because a specific order has to be used.
2018-01-12 08:18:30 +01:00
errno = saved_errno;
support: Add TEST_COMPARE macro
2017-12-04 20:54:24 +01:00
}