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