Blame stdlib/testrand.c

Packit Service 82fcde
/* Copyright (C) 1992-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 <stdlib.h>
Packit Service 82fcde
#include <stdio.h>
Packit Service 82fcde
Packit Service 82fcde
int
Packit Service 82fcde
main (void)
Packit Service 82fcde
{
Packit Service 82fcde
  int i1, i2;
Packit Service 82fcde
  int j1, j2;
Packit Service 82fcde
Packit Service 82fcde
  /* The C standard says that "If rand is called before any calls to
Packit Service 82fcde
     srand have been made, the same sequence shall be generated as
Packit Service 82fcde
     when srand is first called with a seed value of 1." */
Packit Service 82fcde
  i1 = rand();
Packit Service 82fcde
  i2 = rand();
Packit Service 82fcde
  srand (1);
Packit Service 82fcde
  j1 = rand();
Packit Service 82fcde
  j2 = rand();
Packit Service 82fcde
  if (i1 < 0 || i2 < 0 || j1 < 0 || j2 < 0) {
Packit Service 82fcde
      puts ("Test FAILED!");
Packit Service 82fcde
  }
Packit Service 82fcde
  if (j1 == i1 && j2 == i2)
Packit Service 82fcde
    {
Packit Service 82fcde
      puts ("Test succeeded.");
Packit Service 82fcde
      return 0;
Packit Service 82fcde
    }
Packit Service 82fcde
  else
Packit Service 82fcde
    {
Packit Service 82fcde
      if (j1 != i1)
Packit Service 82fcde
	printf ("%d != %d\n", j1, i1);
Packit Service 82fcde
      if (j2 != i2)
Packit Service 82fcde
	printf ("%d != %d\n", j2, i2);
Packit Service 82fcde
      puts ("Test FAILED!");
Packit Service 82fcde
      return 1;
Packit Service 82fcde
    }
Packit Service 82fcde
}