t_assert.c revision 1.1 
1/* $NetBSD: t_assert.c,v 1.1 2011/06/14 05:25:21 jruoho Exp $ */
2
3/*-
4 * Copyright (c) 2011 The NetBSD Foundation, Inc.
5 * All rights reserved.
6 *
7 * This code is derived from software contributed to The NetBSD Foundation
8 * by Jukka Ruohonen.
9 *
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
12 * are met:
13 * 1. Redistributions of source code must retain the above copyright
14 *    notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 *    notice, this list of conditions and the following disclaimer in the
17 *    documentation and/or other materials provided with the distribution.
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 * POSSIBILITY OF SUCH DAMAGE.
30 */
31#include <sys/cdefs.h>
32__RCSID("$NetBSD: t_assert.c,v 1.1 2011/06/14 05:25:21 jruoho Exp $");
33
34#include <sys/wait.h>
35
36#include <assert.h>
37#include <atf-c.h>
38#include <signal.h>
39#include <stdlib.h>
40#include <string.h>
41#include <unistd.h>
42
43#include <stdio.h>
44
45static void		handler(int);
46
47static void
48handler(int signo)
49{
50	/* Nothing. */
51}
52
53ATF_TC(assert_false);
54ATF_TC_HEAD(assert_false, tc)
55{
56	atf_tc_set_md_var(tc, "descr", "Test that assert(3) works, #1");
57}
58
59ATF_TC_BODY(assert_false, tc)
60{
61	struct sigaction sa;
62	pid_t pid;
63	int sta;
64
65	pid = fork();
66	ATF_REQUIRE(pid >= 0);
67
68	if (pid == 0) {
69
70		(void)closefrom(0);
71		(void)memset(&sa, 0, sizeof(struct sigaction));
72
73		sa.sa_flags = 0;
74		sa.sa_handler = handler;
75
76		ATF_REQUIRE(sigemptyset(&sa.sa_mask) == 0);
77		ATF_REQUIRE(sigaction(SIGABRT, &sa, 0) == 0);
78
79		assert(1 == 1);
80
81		_exit(EXIT_SUCCESS);
82	}
83
84	(void)wait(&sta);
85
86	if (WIFSIGNALED(sta) != 0 || WIFEXITED(sta) == 0)
87		atf_tc_fail("assert(3) fired haphazardly");
88}
89
90ATF_TC(assert_true);
91ATF_TC_HEAD(assert_true, tc)
92{
93	atf_tc_set_md_var(tc, "descr", "Test that assert(3) works, #2");
94}
95
96ATF_TC_BODY(assert_true, tc)
97{
98	struct sigaction sa;
99	pid_t pid;
100	int sta;
101
102	pid = fork();
103	ATF_REQUIRE(pid >= 0);
104
105	if (pid == 0) {
106
107		(void)closefrom(0);
108		(void)memset(&sa, 0, sizeof(struct sigaction));
109
110		sa.sa_flags = 0;
111		sa.sa_handler = handler;
112
113		ATF_REQUIRE(sigemptyset(&sa.sa_mask) == 0);
114		ATF_REQUIRE(sigaction(SIGABRT, &sa, 0) == 0);
115
116		assert(1 == 2);
117
118		_exit(EXIT_SUCCESS);
119	}
120
121	(void)wait(&sta);
122
123	if (WIFSIGNALED(sta) == 0 || WTERMSIG(sta) != SIGABRT)
124		atf_tc_fail("assert(3) did not fire");
125}
126
127ATF_TP_ADD_TCS(tp)
128{
129
130	ATF_TP_ADD_TC(tp, assert_false);
131	ATF_TP_ADD_TC(tp, assert_true);
132
133	return atf_no_error();
134}
135