Blame support/support_test_compare_failure.c

Packit Service 82fcde
/* Reporting a numeric comparison failure.
Packit Service 82fcde
   Copyright (C) 2017-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include <errno.h>
Packit Service 82fcde
#include <stdio.h>
Packit Service 82fcde
#include <support/check.h>
Packit Service 82fcde
Packit Service 82fcde
static void
Packit Service 82fcde
report (const char *which, const char *expr, long long value, int positive,
Packit Service 82fcde
        int size)
Packit Service 82fcde
{
Packit Service 82fcde
  printf ("  %s: ", which);
Packit Service 82fcde
  if (positive)
Packit Service 82fcde
    printf ("%llu", (unsigned long long) value);
Packit Service 82fcde
  else
Packit Service 82fcde
    printf ("%lld", value);
Packit Service 82fcde
  unsigned long long mask
Packit Service 82fcde
    = (~0ULL) >> (8 * (sizeof (unsigned long long) - size));
Packit Service 82fcde
  printf (" (0x%llx); from: %s\n", (unsigned long long) value & mask, expr);
Packit Service 82fcde
}
Packit Service 82fcde
Packit Service 82fcde
void
Packit Service 82fcde
support_test_compare_failure (const char *file, int line,
Packit Service 82fcde
                              const char *left_expr,
Packit Service 82fcde
                              long long left_value,
Packit Service 82fcde
                              int left_positive,
Packit Service 82fcde
                              int left_size,
Packit Service 82fcde
                              const char *right_expr,
Packit Service 82fcde
                              long long right_value,
Packit Service 82fcde
                              int right_positive,
Packit Service 82fcde
                              int right_size)
Packit Service 82fcde
{
Packit Service 82fcde
  int saved_errno = errno;
Packit Service 82fcde
  support_record_failure ();
Packit Service 82fcde
  if (left_size != right_size)
Packit Service 82fcde
    printf ("%s:%d: numeric comparison failure (widths %d and %d)\n",
Packit Service 82fcde
            file, line, left_size * 8, right_size * 8);
Packit Service 82fcde
  else
Packit Service 82fcde
    printf ("%s:%d: numeric comparison failure\n", file, line);
Packit Service 82fcde
  report (" left", left_expr, left_value, left_positive, left_size);
Packit Service 82fcde
  report ("right", right_expr, right_value, right_positive, right_size);
Packit Service 82fcde
  errno = saved_errno;
Packit Service 82fcde
}