/*
 * Copyright (c) 2004, Bull S.A..  All rights reserved.
 * Created by: Sebastien Decugis

 * This program is free software; you can redistribute it and/or modify it
 * under the terms of version 2 of the GNU General Public License as
 * published by the Free Software Foundation.
 *
 * This program is distributed in the hope that it would be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 *
 * You should have received a copy of the GNU General Public License along
 * with this program; if not, write the Free Software Foundation, Inc.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

 * This sample test aims to check the following assertion:
 *
 * The new process' ID does not match any existing process or group ID.

 * The steps are:
 * -> create a child; then terminate this child.
 * -> check that no other process or group has the same ID.

 * The test fails if another object shares the same ID.

 */

 /* We are testing conformance to IEEE Std 1003.1, 2003 Edition */
#define _POSIX_C_SOURCE 200112L

#include <pthread.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

#include <sys/wait.h>
#include <errno.h>

#include <signal.h>

#include "../testfrmw/testfrmw.h"
#include "../testfrmw/testfrmw.c"

#ifndef VERBOSE
#define VERBOSE 1
#endif

int main(void)
{
	int ret, status;
	pid_t child, ctl;

	/* Initialize output */
	output_init();

	/* Create the child */
	child = fork();
	if (child == -1) {
		UNRESOLVED(errno, "Failed to fork");
	}

	/* child */
	if (child == 0) {
		/* The child stops immediatly */
		exit(PTS_PASS);
	}

	/* Parent joins the child */
	ctl = waitpid(child, &status, 0);
	if (ctl != child) {
		UNRESOLVED(errno, "Waitpid returned the wrong PID");
	}
	if ((!WIFEXITED(status)) || (WEXITSTATUS(status) != PTS_PASS)) {
		UNRESOLVED(status, "Child exited abnormally");
	}

	ret = kill(child, 0);
	if ((ret == 0) || (errno != ESRCH)) {
		output("Kill returned %d (%d: %s)\n", ret, errno,
		       strerror(errno));
		FAILED("Another process with the same PID as the child exists");
	}

	ret = kill((0 - (int)child), 0);
	if ((ret == 0) || (errno != ESRCH)) {
		output("Kill returned %d (%d: %s)\n", ret, errno,
		       strerror(errno));
		FAILED("A process group with the same PID as the child exists");
	}

#if VERBOSE > 0
	output("Test passed\n");
#endif

	PASSED;
}
