/*-
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Copyright 2021 Jan Kokemüller
 * Copyright 2021 Alex Richardson <arichardson@FreeBSD.org>
 *
 * This work was supported by Innovate UK project 105694, "Digital Security by
 * Design (DSbD) Technology Platform Prototype".
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 */
#include <sys/cdefs.h>
#include <sys/event.h>

#include <atf-c.h>
#include <errno.h>
#include <signal.h>

ATF_TC_WITHOUT_HEAD(main);

ATF_TC_BODY(main, tc)
{
	int rv;

	sigset_t set;
	rv = sigemptyset(&set);
	ATF_REQUIRE_EQ(0, rv);
	rv = sigaddset(&set, SIGUSR1);
	ATF_REQUIRE_EQ(0, rv);
	rv = sigprocmask(SIG_BLOCK, &set, NULL);
	ATF_REQUIRE_EQ(0, rv);

	int skq = kqueue();
	ATF_REQUIRE(skq >= 0);

	struct kevent kev;
	EV_SET(&kev, SIGUSR1, EVFILT_SIGNAL, EV_ADD, 0, 0, 0);
	rv = kevent(skq, &kev, 1, NULL, 0, NULL);
	ATF_REQUIRE_EQ(0, rv);

	int kq = kqueue();
	ATF_REQUIRE(kq >= 0);

	EV_SET(&kev, skq, EVFILT_READ, EV_ADD | EV_CLEAR, 0, 0, 0);
	rv = kevent(kq, &kev, 1, NULL, 0, NULL);
	ATF_REQUIRE_EQ(0, rv);

	/*
	 * It was previously not guaranteed that sending a signal to self would
	 * be immediately visible in the nested kqueue activation with a zero
	 * timeout. As of https://reviews.freebsd.org/D31858, the kqueue task
	 * queue will be processed in this case, so we are guaranteed to see the
	 * SIGUSR1 here even with a zero timeout. We run the code below in a
	 * loop to make it more likely that older kernels without the fix fail
	 * this test.
	 */
	for (int i = 0; i < 100; i++) {
		rv = kill(getpid(), SIGUSR1);
		ATF_REQUIRE_EQ(0, rv);

		rv = kevent(kq, NULL, 0, &kev, 1, &(struct timespec) { 0, 0 });
		ATF_REQUIRE_EQ_MSG(1, rv,
		    "Unexpected result %d from kevent() after %d iterations",
		    rv, i);
		rv = kevent(kq, NULL, 0, &kev, 1, &(struct timespec) { 0, 0 });
		ATF_REQUIRE_EQ(0, rv);

		rv = kevent(skq, NULL, 0, &kev, 1, &(struct timespec) { 0, 0 });
		ATF_REQUIRE_EQ(1, rv);
		rv = kevent(skq, NULL, 0, &kev, 1, &(struct timespec) { 0, 0 });
		ATF_REQUIRE_EQ(0, rv);

		siginfo_t siginfo;
		rv = sigtimedwait(&set, &siginfo, &(struct timespec) { 0, 0 });
		ATF_REQUIRE_EQ(SIGUSR1, rv);

		rv = sigtimedwait(&set, &siginfo, &(struct timespec) { 0, 0 });
		ATF_REQUIRE_ERRNO(EAGAIN, rv < 0);
	}
}

ATF_TP_ADD_TCS(tp)
{
	ATF_TP_ADD_TC(tp, main);

	return (atf_no_error());
}