1  /* Test for SEM_VALUE_MAX overflow detection: BZ #18434.
       2     Copyright (C) 2015-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 <errno.h>
      20  #include <limits.h>
      21  #include <semaphore.h>
      22  #include <stdio.h>
      23  #include <string.h>
      24  #include <unistd.h>
      25  
      26  
      27  static int
      28  do_test (void)
      29  {
      30    sem_t s;
      31  
      32    if (sem_init (&s, 0, SEM_VALUE_MAX))
      33      {
      34        printf ("sem_init: %m\n");
      35        return 1;
      36      }
      37  
      38    int result = 0;
      39  
      40    int value = 0xdeadbeef;
      41    if (sem_getvalue (&s, &value))
      42      {
      43        printf ("sem_getvalue: %m\n");
      44        result = 1;
      45      }
      46    else
      47      {
      48        printf ("sem_getvalue after init: %d\n", value);
      49        if (value != SEM_VALUE_MAX)
      50  	{
      51  	  printf ("\tshould be %d\n", SEM_VALUE_MAX);
      52  	  result = 1;
      53  	}
      54      }
      55  
      56    errno = 0;
      57    if (sem_post(&s) == 0)
      58      {
      59        puts ("sem_post at SEM_VALUE_MAX succeeded!");
      60        result = 1;
      61      }
      62    else
      63      {
      64        printf ("sem_post at SEM_VALUE_MAX: %m (%d)\n", errno);
      65        if (errno != EOVERFLOW)
      66  	{
      67  	  printf ("\tshould be %s (EOVERFLOW = %d)\n",
      68  		  strerror (EOVERFLOW), EOVERFLOW);
      69  	  result = 1;
      70  	}
      71      }
      72  
      73    value = 0xbad1d00d;
      74    if (sem_getvalue (&s, &value))
      75      {
      76        printf ("sem_getvalue: %m\n");
      77        result = 1;
      78      }
      79    else
      80      {
      81        printf ("sem_getvalue after post: %d\n", value);
      82        if (value != SEM_VALUE_MAX)
      83  	{
      84  	  printf ("\tshould be %d\n", SEM_VALUE_MAX);
      85  	  result = 1;
      86  	}
      87      }
      88  
      89    if (sem_destroy (&s))
      90      {
      91        printf ("sem_destroy: %m\n");
      92        result = 1;
      93      }
      94  
      95    return result;
      96  }
      97  
      98  #define TEST_FUNCTION do_test ()
      99  #include "../test-skeleton.c"