usr/src/lib/libbc/libc/gen/sys5/assert.c

   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"
  31
  32 /*LINTLIBRARY*/
  33 /*
  34  *      called from "assert" macro; prints without printf or stdio.
  35  */
  36
  37 #include <malloc.h>
  38
  39 #define WRITE(s, n)     (void) write(2, (s), (n))
  40 #define WRITESTR(s1, n, s2)     WRITE((s1), n), \
  41                                 WRITE((s2), (unsigned) strlen(s2))
  42
  43 #define LINESTR ", line NNNNN\n"
  44
  45 void
  46 _assert(char *assertion, char *filename, int line_num)
  47 {
  48         static char *linestr;
  49         char *p;
  50         int div, digit;
  51
  52         if (!linestr) {
  53                 linestr = malloc(strlen(LINESTR)+1);
  54                 strcpy(linestr, LINESTR);
  55         }
  56         p = &linestr[7];
  57
  58         WRITESTR("Assertion failed: ", 18, assertion);
  59         WRITESTR(", file ", 7, filename);
  60         for (div = 10000; div != 0; line_num %= div, div /= 10)
  61                 if ((digit = line_num/div) != 0 || p != &linestr[7] || div == 1)
  62                         *p++ = digit + '0';
  63         *p++ = '\n';
  64         *p = '\0';
  65         WRITE(linestr, (unsigned) strlen(linestr));
  66         (void) abort();
  67 }