]> git.sur5r.net Git - cc65/blob - src/common/check.c
Only for jumps, the lib uses named asm labels in branches
[cc65] / src / common / check.c
1 /*****************************************************************************/
2 /*                                                                           */
3 /*                                  check.c                                  */
4 /*                                                                           */
5 /*                            Assert like macros                             */
6 /*                                                                           */
7 /*                                                                           */
8 /*                                                                           */
9 /* (C) 1998-2001 Ullrich von Bassewitz                                       */
10 /*               Wacholderweg 14                                             */
11 /*               D-70597 Stuttgart                                           */
12 /* EMail:        uz@cc65.org                                                 */
13 /*                                                                           */
14 /*                                                                           */
15 /* This software is provided 'as-is', without any expressed or implied       */
16 /* warranty.  In no event will the authors be held liable for any damages    */
17 /* arising from the use of this software.                                    */
18 /*                                                                           */
19 /* Permission is granted to anyone to use this software for any purpose,     */
20 /* including commercial applications, and to alter it and redistribute it    */
21 /* freely, subject to the following restrictions:                            */
22 /*                                                                           */
23 /* 1. The origin of this software must not be misrepresented; you must not   */
24 /*    claim that you wrote the original software. If you use this software   */
25 /*    in a product, an acknowledgment in the product documentation would be  */
26 /*    appreciated but is not required.                                       */
27 /* 2. Altered source versions must be plainly marked as such, and must not   */
28 /*    be misrepresented as being the original software.                      */
29 /* 3. This notice may not be removed or altered from any source              */
30 /*    distribution.                                                          */
31 /*                                                                           */
32 /*****************************************************************************/
33
34
35
36 #include <stdlib.h>
37
38 #include "abend.h"
39 #include "check.h"
40
41
42
43 /*****************************************************************************/
44 /*                                   Data                                    */
45 /*****************************************************************************/
46
47
48
49 /* Predefined messages */
50 const char* MsgInternalError    = "Internal error: ";
51 const char* MsgPrecondition     = "Precondition violated: ";
52 const char* MsgCheckFailed      = "Check failed: ";
53 const char* MsgProgramAborted   = "Program aborted: ";
54
55
56
57 static void DefaultCheckFailed (const char* msg, const char* cond,
58                                 const char* file, unsigned line)
59                                 attribute ((noreturn));
60
61 void (*CheckFailed) (const char* Msg, const char* Cond,
62                      const char* File, unsigned Line) attribute ((noreturn))
63                 = DefaultCheckFailed;
64 /* Function pointer that is called from check if the condition code is true. */
65
66
67
68 /*****************************************************************************/
69 /*                                   Code                                    */
70 /*****************************************************************************/
71
72
73
74 static void DefaultCheckFailed (const char* Msg, const char* Cond,
75                                 const char* File, unsigned Line)
76 {
77     /* Output a diagnostic and abort */
78     AbEnd ("%s%s, file '%s', line %u", Msg, Cond, File, Line);
79 }