1*0Sstevel@tonic-gate /*
2*0Sstevel@tonic-gate  * CDDL HEADER START
3*0Sstevel@tonic-gate  *
4*0Sstevel@tonic-gate  * The contents of this file are subject to the terms of the
5*0Sstevel@tonic-gate  * Common Development and Distribution License, Version 1.0 only
6*0Sstevel@tonic-gate  * (the "License").  You may not use this file except in compliance
7*0Sstevel@tonic-gate  * with the License.
8*0Sstevel@tonic-gate  *
9*0Sstevel@tonic-gate  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
10*0Sstevel@tonic-gate  * or http://www.opensolaris.org/os/licensing.
11*0Sstevel@tonic-gate  * See the License for the specific language governing permissions
12*0Sstevel@tonic-gate  * and limitations under the License.
13*0Sstevel@tonic-gate  *
14*0Sstevel@tonic-gate  * When distributing Covered Code, include this CDDL HEADER in each
15*0Sstevel@tonic-gate  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
16*0Sstevel@tonic-gate  * If applicable, add the following below this CDDL HEADER, with the
17*0Sstevel@tonic-gate  * fields enclosed by brackets "[]" replaced with your own identifying
18*0Sstevel@tonic-gate  * information: Portions Copyright [yyyy] [name of copyright owner]
19*0Sstevel@tonic-gate  *
20*0Sstevel@tonic-gate  * CDDL HEADER END
21*0Sstevel@tonic-gate  */
22*0Sstevel@tonic-gate /*
23*0Sstevel@tonic-gate  * Copyright 1989 Sun Microsystems, Inc.  All rights reserved.
24*0Sstevel@tonic-gate  * Use is subject to license terms.
25*0Sstevel@tonic-gate  */
26*0Sstevel@tonic-gate 
27*0Sstevel@tonic-gate /*      Copyright (c) 1984 AT&T */
28*0Sstevel@tonic-gate /*        All Rights Reserved   */
29*0Sstevel@tonic-gate 
30*0Sstevel@tonic-gate #pragma ident	"%Z%%M%	%I%	%E% SMI"  /* from S5R2 1.2 */
31*0Sstevel@tonic-gate 
32*0Sstevel@tonic-gate /*LINTLIBRARY*/
33*0Sstevel@tonic-gate /*
34*0Sstevel@tonic-gate  *	called from "assert" macro; prints without printf or stdio.
35*0Sstevel@tonic-gate  */
36*0Sstevel@tonic-gate 
37*0Sstevel@tonic-gate #define WRITE(s, n)	(void) write(2, (s), (n))
38*0Sstevel@tonic-gate #define WRITESTR(s1, n, s2)	WRITE((s1), n), \
39*0Sstevel@tonic-gate 				WRITE((s2), (unsigned) strlen(s2))
40*0Sstevel@tonic-gate 
41*0Sstevel@tonic-gate #define	LINESTR ", line NNNNN\n"
42*0Sstevel@tonic-gate char	*malloc();
43*0Sstevel@tonic-gate 
44*0Sstevel@tonic-gate _assert(assertion, filename, line_num)
45*0Sstevel@tonic-gate char *assertion;
46*0Sstevel@tonic-gate char *filename;
47*0Sstevel@tonic-gate int line_num;
48*0Sstevel@tonic-gate {
49*0Sstevel@tonic-gate 	static char *linestr;
50*0Sstevel@tonic-gate 	register char *p;
51*0Sstevel@tonic-gate 	register int div, digit;
52*0Sstevel@tonic-gate 
53*0Sstevel@tonic-gate 	if (!linestr) {
54*0Sstevel@tonic-gate 		linestr = malloc(strlen(LINESTR)+1);
55*0Sstevel@tonic-gate 		strcpy(linestr, LINESTR);
56*0Sstevel@tonic-gate 	}
57*0Sstevel@tonic-gate 	p = &linestr[7];
58*0Sstevel@tonic-gate 
59*0Sstevel@tonic-gate 	WRITESTR("Assertion failed: ", 18, assertion);
60*0Sstevel@tonic-gate 	WRITESTR(", file ", 7, filename);
61*0Sstevel@tonic-gate 	for (div = 10000; div != 0; line_num %= div, div /= 10)
62*0Sstevel@tonic-gate 		if ((digit = line_num/div) != 0 || p != &linestr[7] || div == 1)
63*0Sstevel@tonic-gate 			*p++ = digit + '0';
64*0Sstevel@tonic-gate 	*p++ = '\n';
65*0Sstevel@tonic-gate 	*p = '\0';
66*0Sstevel@tonic-gate 	WRITE(linestr, (unsigned) strlen(linestr));
67*0Sstevel@tonic-gate 	(void) abort();
68*0Sstevel@tonic-gate }
69