1 /*****************************************************************************/
5 /* Linker assertions for the ca65 crossassembler */
9 /* (C) 2003-2005, Ullrich von Bassewitz */
11 /* D-70794 Filderstadt */
12 /* EMail: uz@cc65.org */
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. */
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: */
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 */
32 /*****************************************************************************/
37 #include "assertdefs.h"
51 /*****************************************************************************/
53 /*****************************************************************************/
57 /* An assertion entry */
58 typedef struct Assertion Assertion;
60 ExprNode* Expr; /* Expression to evaluate */
61 unsigned Action; /* Action to take */
62 unsigned Msg; /* Message to print (if any) */
63 FilePos Pos; /* File position of assertion */
66 /* Collection with all assertions for a module */
67 static Collection Assertions = STATIC_COLLECTION_INITIALIZER;
71 /*****************************************************************************/
73 /*****************************************************************************/
77 static Assertion* NewAssertion (ExprNode* Expr, unsigned Action, unsigned Msg)
78 /* Create a new Assertion struct and return it */
81 Assertion* A = xmalloc (sizeof (Assertion));
83 /* Initialize the fields */
89 /* Return the new struct */
95 void AddAssertion (ExprNode* Expr, unsigned Action, unsigned Msg)
96 /* Add an assertion to the assertion table */
98 /* Add an assertion object to the table */
99 CollAppend (&Assertions, NewAssertion (Expr, Action, Msg));
104 void CheckAssertions (void)
105 /* Check all assertions and evaluate the ones we can evaluate here. */
109 /* Get the number of assertions */
110 unsigned Count = CollCount (&Assertions);
112 /* Check the assertions */
113 for (I = 0; I < Count; ++I) {
115 /* Get the next assertion */
116 Assertion* A = CollAtUnchecked (&Assertions, I);
118 /* Can we evaluate the expression? */
120 if (IsConstExpr (A->Expr, &Val) && Val == 0) {
121 /* Apply the action */
122 const char* Msg = GetString (A->Msg);
125 case ASSERT_ACT_WARN:
126 PWarning (&A->Pos, 0, "%s", Msg);
129 case ASSERT_ACT_ERROR:
130 PError (&A->Pos, "%s", Msg);
134 Internal ("Illegal assert action specifier");
143 void WriteAssertions (void)
144 /* Write the assertion table to the object file */
148 /* Get the number of assertions */
149 unsigned Count = CollCount (&Assertions);
151 /* Tell the object file module that we're about to start the assertions */
152 ObjStartAssertions ();
154 /* Write the string count to the list */
157 /* Write the assertions */
158 for (I = 0; I < Count; ++I) {
160 /* Get the next assertion */
161 Assertion* A = CollAtUnchecked (&Assertions, I);
163 /* Write it to the file */
165 ObjWriteVar (A->Action);
166 ObjWriteVar (A->Msg);
167 ObjWritePos (&A->Pos);
170 /* Done writing the assertions */