xref: /freebsd/contrib/netbsd-tests/lib/libc/stdlib/h_atexit.c (revision d899be7d43d8df9cb485af5705e2724165a461c7)
157718be8SEnji Cooper /* $NetBSD: h_atexit.c,v 1.1 2011/01/12 19:44:08 pgoyette Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2011 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code was contributed to The NetBSD Foundation by Jason R. Thorpe.
857718be8SEnji Cooper  *
957718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1057718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1157718be8SEnji Cooper  * are met:
1257718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1357718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1457718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1557718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1657718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1757718be8SEnji Cooper  *
1857718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
1957718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2057718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2157718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2257718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2357718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2457718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2557718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2657718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2757718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2857718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
2957718be8SEnji Cooper  */
3057718be8SEnji Cooper 
3157718be8SEnji Cooper #include <sys/cdefs.h>
3257718be8SEnji Cooper __COPYRIGHT("@(#) Copyright (c) 2011\
3357718be8SEnji Cooper  The NetBSD Foundation, inc. All rights reserved.");
3457718be8SEnji Cooper __RCSID("$NetBSD: h_atexit.c,v 1.1 2011/01/12 19:44:08 pgoyette Exp $");
3557718be8SEnji Cooper 
3657718be8SEnji Cooper #include <stdio.h>
3757718be8SEnji Cooper #include <stdlib.h>
3857718be8SEnji Cooper #include <signal.h>
3957718be8SEnji Cooper #include <string.h>
4057718be8SEnji Cooper #include <unistd.h>
4157718be8SEnji Cooper 
4257718be8SEnji Cooper extern int __cxa_atexit(void (*func)(void *), void *, void *);
4357718be8SEnji Cooper extern void __cxa_finalize(void *);
4457718be8SEnji Cooper 
45*ff0ba872SEnji Cooper #ifdef __FreeBSD__
46d57c6b5eSEnji Cooper /*
47d57c6b5eSEnji Cooper  * On shared object unload, in __cxa_finalize, call and clear all installed
48d57c6b5eSEnji Cooper  * atexit and __cxa_atexit handlers that are either installed by unloaded
49d57c6b5eSEnji Cooper  * dso, or points to the functions provided by the dso.
50d57c6b5eSEnji Cooper  *
51d57c6b5eSEnji Cooper  * The reason of the change is to ensure that there is no lingering pointers
52d57c6b5eSEnji Cooper  * to the unloaded code after the dlclose(3).  It is known reason for infinite
53d57c6b5eSEnji Cooper  * stream of the crash reports for many programs which use loadable modules
54d57c6b5eSEnji Cooper  * and fail to properly clean on module unload.  Examples are apache, php,
55d57c6b5eSEnji Cooper  * perl etc.
56d57c6b5eSEnji Cooper  *
57d57c6b5eSEnji Cooper  * You pass the &dso_handle_1 and &dso_handle_2, which points inside the
58d57c6b5eSEnji Cooper  * main binary, to the registration function.  The code from r211706,
59d57c6b5eSEnji Cooper  * correctly detects that they are for the main binary, and on the first
60d57c6b5eSEnji Cooper  * call to __cxa_finalize(), which also pass pointer to main binary, all
61d57c6b5eSEnji Cooper  * registered functions from the main binary are executed.
62d57c6b5eSEnji Cooper  */
63d57c6b5eSEnji Cooper 
64d57c6b5eSEnji Cooper static void *dso_handle_1 = (void *)1;
65d57c6b5eSEnji Cooper static void *dso_handle_2 = (void *)2;
66d57c6b5eSEnji Cooper static void *dso_handle_3 = (void *)3;
67d57c6b5eSEnji Cooper #else
6857718be8SEnji Cooper static int dso_handle_1;
6957718be8SEnji Cooper static int dso_handle_2;
7057718be8SEnji Cooper static int dso_handle_3;
71d57c6b5eSEnji Cooper #endif
7257718be8SEnji Cooper 
7357718be8SEnji Cooper static int arg_1;
7457718be8SEnji Cooper static int arg_2;
7557718be8SEnji Cooper static int arg_3;
7657718be8SEnji Cooper 
7757718be8SEnji Cooper static int exiting_state;
7857718be8SEnji Cooper 
7957718be8SEnji Cooper #define	ASSERT(expr)							\
8057718be8SEnji Cooper do {									\
8157718be8SEnji Cooper 	if ((expr) == 0) {						\
8257718be8SEnji Cooper 		write(STDERR_FILENO, __func__, strlen(__func__));	\
8357718be8SEnji Cooper 		write(STDERR_FILENO, ": ", 2);				\
8457718be8SEnji Cooper 		write(STDERR_FILENO, __STRING(expr),			\
8557718be8SEnji Cooper 		      strlen(__STRING(expr)));				\
8657718be8SEnji Cooper 		write(STDERR_FILENO, "\n", 1);				\
8757718be8SEnji Cooper 		my_abort();						\
8857718be8SEnji Cooper 	}								\
8957718be8SEnji Cooper } while (/*CONSTCOND*/0)
9057718be8SEnji Cooper 
9157718be8SEnji Cooper #define	SUCCESS()							\
9257718be8SEnji Cooper do {									\
9357718be8SEnji Cooper 	write(STDOUT_FILENO, __func__, strlen(__func__));		\
9457718be8SEnji Cooper 	write(STDOUT_FILENO, "\n", 1);					\
9557718be8SEnji Cooper } while (/*CONSTCOND*/0)
9657718be8SEnji Cooper 
9757718be8SEnji Cooper static void
my_abort(void)9857718be8SEnji Cooper my_abort(void)
9957718be8SEnji Cooper {
10057718be8SEnji Cooper 
10157718be8SEnji Cooper 	kill(getpid(), SIGABRT);
10257718be8SEnji Cooper 	/* NOTREACHED */
10357718be8SEnji Cooper }
10457718be8SEnji Cooper 
10557718be8SEnji Cooper static void
cxa_handler_5(void * arg)10657718be8SEnji Cooper cxa_handler_5(void *arg)
10757718be8SEnji Cooper {
10857718be8SEnji Cooper 	static int cxa_handler_5_called;
10957718be8SEnji Cooper 
11057718be8SEnji Cooper 	ASSERT(arg == (void *)&arg_1);
11157718be8SEnji Cooper 	ASSERT(cxa_handler_5_called == 0);
11257718be8SEnji Cooper 	ASSERT(exiting_state == 5);
11357718be8SEnji Cooper 
11457718be8SEnji Cooper 	exiting_state--;
11557718be8SEnji Cooper 	cxa_handler_5_called = 1;
11657718be8SEnji Cooper 	SUCCESS();
11757718be8SEnji Cooper }
11857718be8SEnji Cooper 
11957718be8SEnji Cooper static void
cxa_handler_4(void * arg)12057718be8SEnji Cooper cxa_handler_4(void *arg)
12157718be8SEnji Cooper {
12257718be8SEnji Cooper 	static int cxa_handler_4_called;
12357718be8SEnji Cooper 
12457718be8SEnji Cooper 	ASSERT(arg == (void *)&arg_1);
12557718be8SEnji Cooper 	ASSERT(cxa_handler_4_called == 0);
12657718be8SEnji Cooper 	ASSERT(exiting_state == 4);
12757718be8SEnji Cooper 
12857718be8SEnji Cooper 	exiting_state--;
12957718be8SEnji Cooper 	cxa_handler_4_called = 1;
13057718be8SEnji Cooper 	SUCCESS();
13157718be8SEnji Cooper }
13257718be8SEnji Cooper 
13357718be8SEnji Cooper static void
cxa_handler_3(void * arg)13457718be8SEnji Cooper cxa_handler_3(void *arg)
13557718be8SEnji Cooper {
13657718be8SEnji Cooper 	static int cxa_handler_3_called;
13757718be8SEnji Cooper 
13857718be8SEnji Cooper 	ASSERT(arg == (void *)&arg_2);
13957718be8SEnji Cooper 	ASSERT(cxa_handler_3_called == 0);
14057718be8SEnji Cooper 	ASSERT(exiting_state == 3);
14157718be8SEnji Cooper 
14257718be8SEnji Cooper 	exiting_state--;
14357718be8SEnji Cooper 	cxa_handler_3_called = 1;
14457718be8SEnji Cooper 	SUCCESS();
14557718be8SEnji Cooper }
14657718be8SEnji Cooper 
14757718be8SEnji Cooper static void
cxa_handler_2(void * arg)14857718be8SEnji Cooper cxa_handler_2(void *arg)
14957718be8SEnji Cooper {
15057718be8SEnji Cooper 	static int cxa_handler_2_called;
15157718be8SEnji Cooper 
15257718be8SEnji Cooper 	ASSERT(arg == (void *)&arg_3);
15357718be8SEnji Cooper 	ASSERT(cxa_handler_2_called == 0);
15457718be8SEnji Cooper 	ASSERT(exiting_state == 2);
15557718be8SEnji Cooper 
15657718be8SEnji Cooper 	exiting_state--;
15757718be8SEnji Cooper 	cxa_handler_2_called = 1;
15857718be8SEnji Cooper 	SUCCESS();
15957718be8SEnji Cooper }
16057718be8SEnji Cooper 
16157718be8SEnji Cooper static void
normal_handler_1(void)16257718be8SEnji Cooper normal_handler_1(void)
16357718be8SEnji Cooper {
16457718be8SEnji Cooper 	static int normal_handler_1_called;
16557718be8SEnji Cooper 
16657718be8SEnji Cooper 	ASSERT(normal_handler_1_called == 0);
16757718be8SEnji Cooper 	ASSERT(exiting_state == 1);
16857718be8SEnji Cooper 
16957718be8SEnji Cooper 	exiting_state--;
17057718be8SEnji Cooper 	normal_handler_1_called = 1;
17157718be8SEnji Cooper 	SUCCESS();
17257718be8SEnji Cooper }
17357718be8SEnji Cooper 
17457718be8SEnji Cooper static void
normal_handler_0(void)17557718be8SEnji Cooper normal_handler_0(void)
17657718be8SEnji Cooper {
17757718be8SEnji Cooper 	static int normal_handler_0_called;
17857718be8SEnji Cooper 
17957718be8SEnji Cooper 	ASSERT(normal_handler_0_called == 0);
18057718be8SEnji Cooper 	ASSERT(exiting_state == 0);
18157718be8SEnji Cooper 
18257718be8SEnji Cooper 	normal_handler_0_called = 1;
18357718be8SEnji Cooper 	SUCCESS();
18457718be8SEnji Cooper }
18557718be8SEnji Cooper 
18657718be8SEnji Cooper int
main(int argc,char * argv[])18757718be8SEnji Cooper main(int argc, char *argv[])
18857718be8SEnji Cooper {
18957718be8SEnji Cooper 
19057718be8SEnji Cooper 	exiting_state = 5;
19157718be8SEnji Cooper 
19257718be8SEnji Cooper 	ASSERT(0 == atexit(normal_handler_0));
19357718be8SEnji Cooper 	ASSERT(0 == atexit(normal_handler_1));
194*ff0ba872SEnji Cooper #ifdef __FreeBSD__
195d57c6b5eSEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_4, &arg_1, dso_handle_1));
196d57c6b5eSEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_5, &arg_1, dso_handle_1));
197d57c6b5eSEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_3, &arg_2, dso_handle_2));
198d57c6b5eSEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_2, &arg_3, dso_handle_3));
199d57c6b5eSEnji Cooper 
200d57c6b5eSEnji Cooper 	__cxa_finalize(dso_handle_1);
201d57c6b5eSEnji Cooper 	__cxa_finalize(dso_handle_2);
202d57c6b5eSEnji Cooper #else
20357718be8SEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_4, &arg_1, &dso_handle_1));
20457718be8SEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_5, &arg_1, &dso_handle_1));
20557718be8SEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_3, &arg_2, &dso_handle_2));
20657718be8SEnji Cooper 	ASSERT(0 == __cxa_atexit(cxa_handler_2, &arg_3, &dso_handle_3));
20757718be8SEnji Cooper 
20857718be8SEnji Cooper 	__cxa_finalize(&dso_handle_1);
20957718be8SEnji Cooper 	__cxa_finalize(&dso_handle_2);
210d57c6b5eSEnji Cooper #endif
21157718be8SEnji Cooper 	exit(0);
21257718be8SEnji Cooper }
213