Systemnahe Programmierung in C: assert.h |
1/* Copyright (C) 1991,1992,1994-2001,2003,2004,2007
2 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
9
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
14
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, write to the Free
17 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
18 02111-1307 USA. */
19
20/*
21 * ISO C99 Standard: 7.2 Diagnostics <assert.h>
22 */
23
24#ifdef _ASSERT_H
25
26# undef _ASSERT_H
27# undef assert
28# undef __ASSERT_VOID_CAST
29
30# ifdef __USE_GNU
31# undef assert_perror
32# endif
33
34#endif /* assert.h */
35
36#define _ASSERT_H 1
37#include <features.h>
38
39#if defined __cplusplus && __GNUC_PREREQ (2,95)
40# define __ASSERT_VOID_CAST static_cast<void>
41#else
42# define __ASSERT_VOID_CAST (void)
43#endif
44
45/* void assert (int expression);
46
47 If NDEBUG is defined, do nothing.
48 If not, and EXPRESSION is zero, print an error message and abort. */
49
50#ifdef NDEBUG
51
52# define assert(expr) (__ASSERT_VOID_CAST (0))
53
54/* void assert_perror (int errnum);
55
56 If NDEBUG is defined, do nothing. If not, and ERRNUM is not zero, print an
57 error message with the error text for ERRNUM and abort.
58 (This is a GNU extension.) */
59
60# ifdef __USE_GNU
61# define assert_perror(errnum) (__ASSERT_VOID_CAST (0))
62# endif
63
64#else /* Not NDEBUG. */
65
66#ifndef _ASSERT_H_DECLS
67#define _ASSERT_H_DECLS
68__BEGIN_DECLS
69
70/* This prints an "Assertion failed" message and aborts. */
71extern void __assert_fail (__const char *__assertion, __const char *__file,
72 unsigned int __line, __const char *__function)
73 __THROW __attribute__ ((__noreturn__));
74
75/* Likewise, but prints the error text for ERRNUM. */
76extern void __assert_perror_fail (int __errnum, __const char *__file,
77 unsigned int __line,
78 __const char *__function)
79 __THROW __attribute__ ((__noreturn__));
80
81
82/* The following is not at all used here but needed for standard
83 compliance. */
84extern void __assert (const char *__assertion, const char *__file, int __line)
85 __THROW __attribute__ ((__noreturn__));
86
87
88__END_DECLS
89#endif /* Not _ASSERT_H_DECLS */
90
91# define assert(expr) \
92 ((expr) \
93 ? __ASSERT_VOID_CAST (0) \
94 : __assert_fail (__STRING(expr), __FILE__, __LINE__, __ASSERT_FUNCTION))
95
96# ifdef __USE_GNU
97# define assert_perror(errnum) \
98 (!(errnum) \
99 ? __ASSERT_VOID_CAST (0) \
100 : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))
101# endif
102
103/* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
104 which contains the name of the function currently being defined.
105 This is broken in G++ before version 2.6.
106 C9x has a similar variable called __func__, but prefer the GCC one since
107 it demangles C++ function names. */
108# if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)
109# define __ASSERT_FUNCTION __PRETTY_FUNCTION__
110# else
111# if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
112# define __ASSERT_FUNCTION __func__
113# else
114# define __ASSERT_FUNCTION ((__const char *) 0)
115# endif
116# endif
117
118#endif /* NDEBUG. */
|
Letzte Änderung: 06.05.2002 | © Prof. Dr. Uwe Schmidt |