tests/lib/libc/gen/t_assert.c

   1 /* $NetBSD: t_assert.c,v 1.2 2011/06/14 05:28:00 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.2 2011/06/14 05:28:00 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 static void             handler(int);
  44
  45 static void
  46 handler(int signo)
  47 {
  48         /* Nothing. */
  49 }
  50
  51 ATF_TC(assert_false);
  52 ATF_TC_HEAD(assert_false, tc)
  53 {
  54         atf_tc_set_md_var(tc, "descr", "Test that assert(3) works, #1");
  55 }
  56
  57 ATF_TC_BODY(assert_false, tc)
  58 {
  59         struct sigaction sa;
  60         pid_t pid;
  61         int sta;
  62
  63         pid = fork();
  64         ATF_REQUIRE(pid >= 0);
  65
  66         if (pid == 0) {
  67
  68                 (void)closefrom(0);
  69                 (void)memset(&sa, 0, sizeof(struct sigaction));
  70
  71                 sa.sa_flags = 0;
  72                 sa.sa_handler = handler;
  73
  74                 (void)sigemptyset(&sa.sa_mask);
  75                 (void)sigaction(SIGABRT, &sa, 0);
  76
  77                 assert(1 == 1);
  78
  79                 _exit(EXIT_SUCCESS);
  80         }
  81
  82         (void)wait(&sta);
  83
  84         if (WIFSIGNALED(sta) != 0 || WIFEXITED(sta) == 0)
  85                 atf_tc_fail("assert(3) fired haphazardly");
  86 }
  87
  88 ATF_TC(assert_true);
  89 ATF_TC_HEAD(assert_true, tc)
  90 {
  91         atf_tc_set_md_var(tc, "descr", "Test that assert(3) works, #2");
  92 }
  93
  94 ATF_TC_BODY(assert_true, tc)
  95 {
  96         struct sigaction sa;
  97         pid_t pid;
  98         int sta;
  99
 100         pid = fork();
 101         ATF_REQUIRE(pid >= 0);
 102
 103         if (pid == 0) {
 104
 105                 (void)closefrom(0);
 106                 (void)memset(&sa, 0, sizeof(struct sigaction));
 107
 108                 sa.sa_flags = 0;
 109                 sa.sa_handler = handler;
 110
 111                 (void)sigemptyset(&sa.sa_mask);
 112                 (void)sigaction(SIGABRT, &sa, 0);
 113
 114                 assert(1 == 2);
 115
 116                 _exit(EXIT_SUCCESS);
 117         }
 118
 119         (void)wait(&sta);
 120
 121         if (WIFSIGNALED(sta) == 0 || WTERMSIG(sta) != SIGABRT)
 122                 atf_tc_fail("assert(3) did not fire");
 123 }
 124
 125 ATF_TP_ADD_TCS(tp)
 126 {
 127
 128         ATF_TP_ADD_TC(tp, assert_false);
 129         ATF_TP_ADD_TC(tp, assert_true);
 130
 131         return atf_no_error();
 132 }