1  /* Test assert.h and static_assert.
       2     Copyright 2022-2023 Free Software Foundation, Inc.
       3  
       4     This program is free software: you can redistribute it and/or modify
       5     it under the terms of the GNU General Public License as published by
       6     the Free Software Foundation, either version 3 of the License, or
       7     (at your option) any later version.
       8  
       9     This program is distributed in the hope that it will be useful,
      10     but WITHOUT ANY WARRANTY; without even the implied warranty of
      11     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      12     GNU General Public License for more details.
      13  
      14     You should have received a copy of the GNU General Public License
      15     along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
      16  
      17  /* Written by Paul Eggert.  */
      18  
      19  #include <config.h>
      20  
      21  #define STATIC_ASSERT_TESTS \
      22    static_assert (2 + 2 == 4, "arithmetic does not work"); \
      23    static_assert (2 + 2 == 4); \
      24    static_assert (sizeof (char) == 1, "sizeof does not work"); \
      25    static_assert (sizeof (char) == 1)
      26  
      27  STATIC_ASSERT_TESTS;
      28  
      29  static char const *
      30  assert (char const *p, int i)
      31  {
      32    return p + i;
      33  }
      34  
      35  static char const *
      36  f (char const *p)
      37  {
      38    return assert (p, 0);
      39  }
      40  
      41  #include <assert.h>
      42  
      43  STATIC_ASSERT_TESTS;
      44  
      45  static int
      46  g (void)
      47  {
      48    assert (f ("this should work"));
      49    return 0;
      50  }
      51  
      52  #define NDEBUG 1
      53  #include <assert.h>
      54  
      55  STATIC_ASSERT_TESTS;
      56  
      57  static int
      58  h (void)
      59  {
      60    assert (f ("this should work"));
      61    return 0;
      62  }
      63  
      64  int
      65  main (void)
      66  {
      67    STATIC_ASSERT_TESTS;
      68    f ("");
      69    g ();
      70    h ();
      71    return 0;
      72  }