1 /*****************************************************************************/
5 /* Linker assertions for the ca65 crossassembler */
9 /* (C) 2003-2011, Ullrich von Bassewitz */
10 /* Roemerstrasse 52 */
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 /*****************************************************************************/
50 /*****************************************************************************/
52 /*****************************************************************************/
56 /* An assertion entry */
57 typedef struct Assertion Assertion;
59 ExprNode* Expr; /* Expression to evaluate */
60 AssertAction Action; /* Action to take */
61 unsigned Msg; /* Message to print (if any) */
62 FilePos Pos; /* File position of assertion */
65 /* Collection with all assertions for a module */
66 static Collection Assertions = STATIC_COLLECTION_INITIALIZER;
70 /*****************************************************************************/
72 /*****************************************************************************/
76 static Assertion* NewAssertion (ExprNode* Expr, AssertAction Action, unsigned Msg)
77 /* Create a new Assertion struct and return it */
80 Assertion* A = xmalloc (sizeof (Assertion));
82 /* Initialize the fields */
88 /* Return the new struct */
94 void AddAssertion (ExprNode* Expr, AssertAction Action, unsigned Msg)
95 /* Add an assertion to the assertion table */
97 /* Add an assertion object to the table */
98 CollAppend (&Assertions, NewAssertion (Expr, Action, Msg));
103 void CheckAssertions (void)
104 /* Check all assertions and evaluate the ones we can evaluate here. */
108 /* Get the number of assertions */
109 unsigned Count = CollCount (&Assertions);
111 /* Check the assertions */
112 for (I = 0; I < Count; ++I) {
116 /* Get the next assertion */
117 Assertion* A = CollAtUnchecked (&Assertions, I);
119 /* Ignore it, if it should only be evaluated by the linker */
120 if (!AssertAtAsmTime (A->Action)) {
124 /* Can we evaluate the expression? */
125 if (IsConstExpr (A->Expr, &Val) && Val == 0) {
126 /* Apply the action */
127 const char* Msg = GetString (A->Msg);
130 case ASSERT_ACT_WARN:
131 PWarning (&A->Pos, 0, "%s", Msg);
134 case ASSERT_ACT_ERROR:
135 PError (&A->Pos, "%s", Msg);
139 Internal ("Illegal assert action specifier");
148 void WriteAssertions (void)
149 /* Write the assertion table to the object file */
153 /* Get the number of assertions */
154 unsigned Count = CollCount (&Assertions);
156 /* Tell the object file module that we're about to start the assertions */
157 ObjStartAssertions ();
159 /* Write the string count to the list */
162 /* Write the assertions */
163 for (I = 0; I < Count; ++I) {
165 /* Get the next assertion */
166 Assertion* A = CollAtUnchecked (&Assertions, I);
168 /* Write it to the file */
170 ObjWriteVar ((unsigned) A->Action);
171 ObjWriteVar (A->Msg);
172 ObjWritePos (&A->Pos);
175 /* Done writing the assertions */