1  /* Implementation of the TEST_VERIFY and TEST_VERIFY_EXIT macros.
       2     Copyright (C) 2016-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 <support/check.h>
      20  
      21  #include <errno.h>
      22  #include <stdio.h>
      23  #include <stdlib.h>
      24  
      25  void
      26  support_test_verify_impl (const char *file, int line, const char *expr)
      27  {
      28    int saved_errno = errno;
      29    support_record_failure ();
      30    printf ("error: %s:%d: not true: %s\n", file, line, expr);
      31    errno = saved_errno;
      32  }
      33  
      34  void
      35  support_test_verify_exit_impl (int status, const char *file, int line,
      36                                 const char *expr)
      37  {
      38    support_test_verify_impl (file, line, expr);
      39    exit (status);
      40  }