1 | /*****************************************************************************/ |
2 | /* */ |
3 | /* asserts.c */ |
4 | /* */ |
5 | /* Linker assertions for the ca65 crossassembler */ |
6 | /* */ |
7 | /* */ |
8 | /* */ |
9 | /* (C) 2003-2011, Ullrich von Bassewitz */ |
10 | /* Roemerstrasse 52 */ |
11 | /* D-70794 Filderstadt */ |
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 | /* common */ |
37 | #include "coll.h" |
38 | #include "xmalloc.h" |
39 | |
40 | /* ca65 */ |
41 | #include "asserts.h" |
42 | #include "error.h" |
43 | #include "expr.h" |
44 | #include "lineinfo.h" |
45 | #include "objfile.h" |
46 | #include "spool.h" |
47 | |
48 | |
49 | |
50 | /*****************************************************************************/ |
51 | /* Data */ |
52 | /*****************************************************************************/ |
53 | |
54 | |
55 | |
56 | /* An assertion entry */ |
57 | typedef struct Assertion Assertion; |
58 | struct Assertion { |
59 | ExprNode* Expr; /* Expression to evaluate */ |
60 | AssertAction Action; /* Action to take */ |
61 | unsigned Msg; /* Message to print (if any) */ |
62 | Collection LI; /* Line infos for the assertion */ |
63 | }; |
64 | |
65 | /* Collection with all assertions for a module */ |
66 | static Collection Assertions = STATIC_COLLECTION_INITIALIZER; |
67 | |
68 | |
69 | |
70 | /*****************************************************************************/ |
71 | /* Code */ |
72 | /*****************************************************************************/ |
73 | |
74 | |
75 | |
76 | static Assertion* NewAssertion (ExprNode* Expr, AssertAction Action, unsigned Msg) |
77 | /* Create a new Assertion struct and return it */ |
78 | { |
79 | /* Allocate memory */ |
80 | Assertion* A = xmalloc (sizeof (Assertion)); |
81 | |
82 | /* Initialize the fields */ |
83 | A->Expr = Expr; |
84 | A->Action = Action; |
85 | A->Msg = Msg; |
86 | A->LI = EmptyCollection; |
87 | GetFullLineInfo (&A->LI); |
88 | |
89 | /* Return the new struct */ |
90 | return A; |
91 | } |
92 | |
93 | |
94 | |
95 | void AddAssertion (ExprNode* Expr, AssertAction Action, unsigned Msg) |
96 | /* Add an assertion to the assertion table */ |
97 | { |
98 | /* Add an assertion object to the table */ |
99 | CollAppend (&Assertions, NewAssertion (Expr, Action, Msg)); |
100 | } |
101 | |
102 | |
103 | |
104 | void CheckAssertions (void) |
105 | /* Check all assertions and evaluate the ones we can evaluate here. */ |
106 | { |
107 | unsigned I; |
108 | |
109 | /* Get the number of assertions */ |
110 | unsigned Count = CollCount (&Assertions); |
111 | |
112 | /* Check the assertions */ |
113 | for (I = 0; I < Count; ++I) { |
114 | |
115 | long Val; |
116 | |
117 | /* Get the next assertion */ |
118 | Assertion* A = CollAtUnchecked (&Assertions, I); |
119 | |
120 | /* Ignore it, if it should only be evaluated by the linker */ |
121 | if (!AssertAtAsmTime (A->Action)) { |
122 | continue; |
123 | } |
124 | |
125 | /* Can we evaluate the expression? */ |
126 | if (IsConstExpr (A->Expr, &Val) && Val == 0) { |
127 | /* Apply the action */ |
128 | const char* Msg = GetString (A->Msg); |
129 | switch (A->Action) { |
130 | |
131 | case ASSERT_ACT_WARN: |
132 | LIWarning (&A->LI, 0, "%s" , Msg); |
133 | break; |
134 | |
135 | case ASSERT_ACT_ERROR: |
136 | LIError (&A->LI, "%s" , Msg); |
137 | break; |
138 | |
139 | default: |
140 | Internal ("Illegal assert action specifier" ); |
141 | break; |
142 | } |
143 | } |
144 | } |
145 | } |
146 | |
147 | |
148 | |
149 | void WriteAssertions (void) |
150 | /* Write the assertion table to the object file */ |
151 | { |
152 | unsigned I; |
153 | |
154 | /* Get the number of assertions */ |
155 | unsigned Count = CollCount (&Assertions); |
156 | |
157 | /* Tell the object file module that we're about to start the assertions */ |
158 | ObjStartAssertions (); |
159 | |
160 | /* Write the string count to the list */ |
161 | ObjWriteVar (Count); |
162 | |
163 | /* Write the assertions */ |
164 | for (I = 0; I < Count; ++I) { |
165 | |
166 | /* Get the next assertion */ |
167 | Assertion* A = CollAtUnchecked (&Assertions, I); |
168 | |
169 | /* Write it to the file */ |
170 | WriteExpr (A->Expr); |
171 | ObjWriteVar ((unsigned) A->Action); |
172 | ObjWriteVar (A->Msg); |
173 | WriteLineInfo (&A->LI); |
174 | } |
175 | |
176 | /* Done writing the assertions */ |
177 | ObjEndAssertions (); |
178 | } |
179 | |