Branch data Line data Source code
1 : : /* do not edit automatically generated by mc from M2StateCheck. */
2 : : /* M2StateCheck.mod provide state check tracking for declarations.
3 : :
4 : : Copyright (C) 2024 Free Software Foundation, Inc.
5 : : Contributed by Gaius Mulley <gaiusmod2@gmail.com>.
6 : :
7 : : This file is part of GNU Modula-2.
8 : :
9 : : GNU Modula-2 is free software; you can redistribute it and/or modify
10 : : it under the terms of the GNU General Public License as published by
11 : : the Free Software Foundation; either version 3, or (at your option)
12 : : any later version.
13 : :
14 : : GNU Modula-2 is distributed in the hope that it will be useful, but
15 : : WITHOUT ANY WARRANTY; without even the implied warranty of
16 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 : : General Public License for more details.
18 : :
19 : : You should have received a copy of the GNU General Public License
20 : : along with GNU Modula-2; see the file COPYING3. If not see
21 : : <http://www.gnu.org/licenses/>. */
22 : :
23 : : #include "config.h"
24 : : #include "system.h"
25 : : #include "gcc-consolidation.h"
26 : :
27 : : #include <stdbool.h>
28 : : # if !defined (PROC_D)
29 : : # define PROC_D
30 : : typedef void (*PROC_t) (void);
31 : : typedef struct { PROC_t proc; } PROC;
32 : : # endif
33 : :
34 : : # include "GStorage.h"
35 : : #if defined(__cplusplus)
36 : : # undef NULL
37 : : # define NULL 0
38 : : #endif
39 : : #define _M2StateCheck_C
40 : :
41 : : #include "GM2StateCheck.h"
42 : : # include "GStorage.h"
43 : : # include "GM2MetaError.h"
44 : : # include "GDynamicStrings.h"
45 : : # include "GSymbolTable.h"
46 : :
47 : : typedef struct M2StateCheck__T1_r M2StateCheck__T1;
48 : :
49 : : typedef enum {M2StateCheck_const, M2StateCheck_var, M2StateCheck_type, M2StateCheck_constfunc, M2StateCheck_varparam, M2StateCheck_constructor} M2StateCheck_State;
50 : :
51 : : typedef M2StateCheck__T1 *M2StateCheck_StateCheck__opaque;
52 : :
53 : : typedef unsigned int M2StateCheck_StateSet;
54 : :
55 : : struct M2StateCheck__T1_r {
56 : : M2StateCheck_StateSet state;
57 : : M2StateCheck_StateCheck__opaque stack;
58 : : M2StateCheck_StateCheck__opaque next;
59 : : };
60 : :
61 : : static M2StateCheck_StateCheck__opaque FreeList;
62 : :
63 : : /*
64 : : InitState - returns a new initialized StateCheck.
65 : : */
66 : :
67 : : extern "C" M2StateCheck_StateCheck M2StateCheck_InitState (void);
68 : :
69 : : /*
70 : : KillState - destructor for StateCheck.
71 : : */
72 : :
73 : : extern "C" void M2StateCheck_KillState (M2StateCheck_StateCheck *s);
74 : :
75 : : /*
76 : : PushState - duplicates the StateCheck s and chains the new copy to s.
77 : : Return the copy.
78 : : */
79 : :
80 : : extern "C" void M2StateCheck_PushState (M2StateCheck_StateCheck *s);
81 : :
82 : : /*
83 : : PopState - pops the current state.
84 : : */
85 : :
86 : : extern "C" void M2StateCheck_PopState (M2StateCheck_StateCheck *s);
87 : :
88 : : /*
89 : : InclVar - s := s + {var}.
90 : : */
91 : :
92 : : extern "C" void M2StateCheck_InclVar (M2StateCheck_StateCheck s);
93 : :
94 : : /*
95 : : InclConst - s := s + {const}.
96 : : */
97 : :
98 : : extern "C" void M2StateCheck_InclConst (M2StateCheck_StateCheck s);
99 : :
100 : : /*
101 : : InclType - s := s + {type}.
102 : : */
103 : :
104 : : extern "C" void M2StateCheck_InclType (M2StateCheck_StateCheck s);
105 : :
106 : : /*
107 : : InclConstFunc - s := s + {constfunc}.
108 : : */
109 : :
110 : : extern "C" void M2StateCheck_InclConstFunc (M2StateCheck_StateCheck s);
111 : :
112 : : /*
113 : : InclVarParam - s := s + {varparam}.
114 : : */
115 : :
116 : : extern "C" void M2StateCheck_InclVarParam (M2StateCheck_StateCheck s);
117 : :
118 : : /*
119 : : InclConstructor - s := s + {constructor}.
120 : : */
121 : :
122 : : extern "C" void M2StateCheck_InclConstructor (M2StateCheck_StateCheck s);
123 : :
124 : : /*
125 : : ExclVar - s := s - {var}.
126 : : */
127 : :
128 : : extern "C" void M2StateCheck_ExclVar (M2StateCheck_StateCheck s);
129 : :
130 : : /*
131 : : ExclConst - s := s - {const}.
132 : : */
133 : :
134 : : extern "C" void M2StateCheck_ExclConst (M2StateCheck_StateCheck s);
135 : :
136 : : /*
137 : : ExclType - s := s - {type}.
138 : : */
139 : :
140 : : extern "C" void M2StateCheck_ExclType (M2StateCheck_StateCheck s);
141 : :
142 : : /*
143 : : ExclConstFunc - s := s - {constfunc}.
144 : : */
145 : :
146 : : extern "C" void M2StateCheck_ExclConstFunc (M2StateCheck_StateCheck s);
147 : :
148 : : /*
149 : : ExclVarParam - s := s - {varparam}.
150 : : */
151 : :
152 : : extern "C" void M2StateCheck_ExclVarParam (M2StateCheck_StateCheck s);
153 : :
154 : : /*
155 : : ExclConstructor - s := s - {varparam}.
156 : : */
157 : :
158 : : extern "C" void M2StateCheck_ExclConstructor (M2StateCheck_StateCheck s);
159 : :
160 : : /*
161 : : CheckQualident - checks to see that qualident sym is allowed in the state s.
162 : : */
163 : :
164 : : extern "C" void M2StateCheck_CheckQualident (unsigned int tok, M2StateCheck_StateCheck s, unsigned int sym);
165 : :
166 : : /*
167 : : New - returns an uninitialized StateCheck.
168 : : */
169 : :
170 : : static M2StateCheck_StateCheck__opaque New (void);
171 : :
172 : : /*
173 : : Dispose - place s onto the FreeList and set s to NIL.
174 : : */
175 : :
176 : : static void Dispose (M2StateCheck_StateCheck__opaque *s);
177 : :
178 : : /*
179 : : GenerateError - generates an unrecoverable error string based on the state and sym.
180 : : */
181 : :
182 : : static void GenerateError (unsigned int tok, M2StateCheck_StateCheck__opaque s, unsigned int sym);
183 : :
184 : : /*
185 : : init - initialize the global variables in the module.
186 : : */
187 : :
188 : : static void init (void);
189 : :
190 : :
191 : : /*
192 : : New - returns an uninitialized StateCheck.
193 : : */
194 : :
195 : 34452 : static M2StateCheck_StateCheck__opaque New (void)
196 : : {
197 : 34452 : M2StateCheck_StateCheck__opaque s;
198 : :
199 : 34452 : if (FreeList == NULL)
200 : : {
201 : 31840 : Storage_ALLOCATE ((void **) &s, sizeof (M2StateCheck__T1));
202 : : }
203 : : else
204 : : {
205 : 2612 : s = FreeList;
206 : 2612 : FreeList = FreeList->next;
207 : : }
208 : 34452 : return s;
209 : : /* static analysis guarentees a RETURN statement will be used before here. */
210 : : __builtin_unreachable ();
211 : : }
212 : :
213 : :
214 : : /*
215 : : Dispose - place s onto the FreeList and set s to NIL.
216 : : */
217 : :
218 : 5988 : static void Dispose (M2StateCheck_StateCheck__opaque *s)
219 : : {
220 : 5988 : (*s)->next = FreeList;
221 : 5988 : FreeList = (*s);
222 : 0 : }
223 : :
224 : :
225 : : /*
226 : : GenerateError - generates an unrecoverable error string based on the state and sym.
227 : : */
228 : :
229 : 36 : static void GenerateError (unsigned int tok, M2StateCheck_StateCheck__opaque s, unsigned int sym)
230 : : {
231 : 36 : DynamicStrings_String str;
232 : :
233 : 36 : str = DynamicStrings_InitString ((const char *) "not expecting the {%1Ad} {%1a} in a ", 36);
234 : 36 : if ((((1 << (M2StateCheck_const-M2StateCheck_const)) & (s->state)) != 0))
235 : : {
236 : 12 : str = DynamicStrings_ConCat (str, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "{%kCONST} block", 15)));
237 : : }
238 : 24 : else if ((((1 << (M2StateCheck_type-M2StateCheck_const)) & (s->state)) != 0))
239 : : {
240 : : /* avoid dangling else. */
241 : 6 : str = DynamicStrings_ConCat (str, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "{%kTYPE} block", 14)));
242 : : }
243 : 18 : else if ((((1 << (M2StateCheck_var-M2StateCheck_const)) & (s->state)) != 0))
244 : : {
245 : : /* avoid dangling else. */
246 : 18 : str = DynamicStrings_ConCat (str, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "{%kVAR} block", 13)));
247 : : }
248 : 36 : if ((((1 << (M2StateCheck_constfunc-M2StateCheck_const)) & (s->state)) != 0))
249 : : {
250 : 0 : str = DynamicStrings_ConCat (str, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) " and within a constant procedure function actual parameter", 58)));
251 : : }
252 : 36 : if ((((1 << (M2StateCheck_constructor-M2StateCheck_const)) & (s->state)) != 0))
253 : : {
254 : 0 : str = DynamicStrings_ConCat (str, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) " and within a constructor", 25)));
255 : : }
256 : 36 : M2MetaError_MetaErrorStringT1 (tok, str, sym);
257 : 0 : }
258 : :
259 : :
260 : : /*
261 : : init - initialize the global variables in the module.
262 : : */
263 : :
264 : 14232 : static void init (void)
265 : : {
266 : 14232 : FreeList = static_cast<M2StateCheck_StateCheck__opaque> (NULL);
267 : 0 : }
268 : :
269 : :
270 : : /*
271 : : InitState - returns a new initialized StateCheck.
272 : : */
273 : :
274 : 34452 : extern "C" M2StateCheck_StateCheck M2StateCheck_InitState (void)
275 : : {
276 : 34452 : M2StateCheck_StateCheck__opaque s;
277 : :
278 : 34452 : s = New ();
279 : 34452 : s->state = (M2StateCheck_StateSet) 0;
280 : 34452 : s->stack = static_cast<M2StateCheck_StateCheck__opaque> (NULL);
281 : 34452 : s->next = static_cast<M2StateCheck_StateCheck__opaque> (NULL);
282 : 34452 : return static_cast<M2StateCheck_StateCheck> (s);
283 : : /* static analysis guarentees a RETURN statement will be used before here. */
284 : : __builtin_unreachable ();
285 : : }
286 : :
287 : :
288 : : /*
289 : : KillState - destructor for StateCheck.
290 : : */
291 : :
292 : 0 : extern "C" void M2StateCheck_KillState (M2StateCheck_StateCheck *s)
293 : : {
294 : 0 : M2StateCheck_StateCheck__opaque t;
295 : :
296 : 0 : while (static_cast<M2StateCheck_StateCheck__opaque> ((*s))->stack != NULL)
297 : : {
298 : 0 : t = static_cast<M2StateCheck_StateCheck__opaque> ((*s))->stack;
299 : 0 : static_cast<M2StateCheck_StateCheck__opaque> ((*s))->stack = t->stack;
300 : 0 : Dispose (&t);
301 : : }
302 : 0 : Dispose (reinterpret_cast<M2StateCheck_StateCheck__opaque *> (&(*s)));
303 : 0 : }
304 : :
305 : :
306 : : /*
307 : : PushState - duplicates the StateCheck s and chains the new copy to s.
308 : : Return the copy.
309 : : */
310 : :
311 : 5988 : extern "C" void M2StateCheck_PushState (M2StateCheck_StateCheck *s)
312 : : {
313 : 5988 : M2StateCheck_StateCheck__opaque copy;
314 : :
315 : 5988 : copy = static_cast<M2StateCheck_StateCheck__opaque> (M2StateCheck_InitState ());
316 : 5988 : copy->state = static_cast<M2StateCheck_StateCheck__opaque> ((*s))->state;
317 : 5988 : copy->stack = static_cast<M2StateCheck_StateCheck__opaque> ((*s));
318 : 5988 : (*s) = static_cast<M2StateCheck_StateCheck> (copy);
319 : 5988 : }
320 : :
321 : :
322 : : /*
323 : : PopState - pops the current state.
324 : : */
325 : :
326 : 5988 : extern "C" void M2StateCheck_PopState (M2StateCheck_StateCheck *s)
327 : : {
328 : 5988 : M2StateCheck_StateCheck__opaque t;
329 : :
330 : 5988 : t = static_cast<M2StateCheck_StateCheck__opaque> ((*s));
331 : 5988 : (*s) = static_cast<M2StateCheck_StateCheck> (static_cast<M2StateCheck_StateCheck__opaque> ((*s))->stack);
332 : 5988 : t->stack = static_cast<M2StateCheck_StateCheck__opaque> (NULL);
333 : 5988 : Dispose (&t);
334 : 5988 : }
335 : :
336 : :
337 : : /*
338 : : InclVar - s := s + {var}.
339 : : */
340 : :
341 : 40746 : extern "C" void M2StateCheck_InclVar (M2StateCheck_StateCheck s)
342 : : {
343 : 40746 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state |= (1 << (M2StateCheck_var-M2StateCheck_const ));
344 : 40746 : }
345 : :
346 : :
347 : : /*
348 : : InclConst - s := s + {const}.
349 : : */
350 : :
351 : 419940 : extern "C" void M2StateCheck_InclConst (M2StateCheck_StateCheck s)
352 : : {
353 : 419940 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state |= (1 << (M2StateCheck_const-M2StateCheck_const ));
354 : 419940 : }
355 : :
356 : :
357 : : /*
358 : : InclType - s := s + {type}.
359 : : */
360 : :
361 : 7050 : extern "C" void M2StateCheck_InclType (M2StateCheck_StateCheck s)
362 : : {
363 : 7050 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state |= (1 << (M2StateCheck_type-M2StateCheck_const ));
364 : 7050 : }
365 : :
366 : :
367 : : /*
368 : : InclConstFunc - s := s + {constfunc}.
369 : : */
370 : :
371 : 5988 : extern "C" void M2StateCheck_InclConstFunc (M2StateCheck_StateCheck s)
372 : : {
373 : 5988 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state |= (1 << (M2StateCheck_constfunc-M2StateCheck_const ));
374 : 5988 : }
375 : :
376 : :
377 : : /*
378 : : InclVarParam - s := s + {varparam}.
379 : : */
380 : :
381 : 0 : extern "C" void M2StateCheck_InclVarParam (M2StateCheck_StateCheck s)
382 : : {
383 : 0 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state |= (1 << (M2StateCheck_varparam-M2StateCheck_const ));
384 : 0 : }
385 : :
386 : :
387 : : /*
388 : : InclConstructor - s := s + {constructor}.
389 : : */
390 : :
391 : 31320 : extern "C" void M2StateCheck_InclConstructor (M2StateCheck_StateCheck s)
392 : : {
393 : 31320 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state |= (1 << (M2StateCheck_constructor-M2StateCheck_const ));
394 : 31320 : }
395 : :
396 : :
397 : : /*
398 : : ExclVar - s := s - {var}.
399 : : */
400 : :
401 : 40728 : extern "C" void M2StateCheck_ExclVar (M2StateCheck_StateCheck s)
402 : : {
403 : 40728 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state &= (~(1 << (M2StateCheck_var-M2StateCheck_const )));
404 : 40728 : }
405 : :
406 : :
407 : : /*
408 : : ExclConst - s := s - {const}.
409 : : */
410 : :
411 : 419916 : extern "C" void M2StateCheck_ExclConst (M2StateCheck_StateCheck s)
412 : : {
413 : 419916 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state &= (~(1 << (M2StateCheck_const-M2StateCheck_const )));
414 : 419916 : }
415 : :
416 : :
417 : : /*
418 : : ExclType - s := s - {type}.
419 : : */
420 : :
421 : 7044 : extern "C" void M2StateCheck_ExclType (M2StateCheck_StateCheck s)
422 : : {
423 : 7044 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state &= (~(1 << (M2StateCheck_type-M2StateCheck_const )));
424 : 7044 : }
425 : :
426 : :
427 : : /*
428 : : ExclConstFunc - s := s - {constfunc}.
429 : : */
430 : :
431 : 0 : extern "C" void M2StateCheck_ExclConstFunc (M2StateCheck_StateCheck s)
432 : : {
433 : 0 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state &= (~(1 << (M2StateCheck_constfunc-M2StateCheck_const )));
434 : 0 : }
435 : :
436 : :
437 : : /*
438 : : ExclVarParam - s := s - {varparam}.
439 : : */
440 : :
441 : 0 : extern "C" void M2StateCheck_ExclVarParam (M2StateCheck_StateCheck s)
442 : : {
443 : 0 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state &= (~(1 << (M2StateCheck_varparam-M2StateCheck_const )));
444 : 0 : }
445 : :
446 : :
447 : : /*
448 : : ExclConstructor - s := s - {varparam}.
449 : : */
450 : :
451 : 31320 : extern "C" void M2StateCheck_ExclConstructor (M2StateCheck_StateCheck s)
452 : : {
453 : 31320 : static_cast<M2StateCheck_StateCheck__opaque> (s)->state &= (~(1 << (M2StateCheck_constructor-M2StateCheck_const )));
454 : 31320 : }
455 : :
456 : :
457 : : /*
458 : : CheckQualident - checks to see that qualident sym is allowed in the state s.
459 : : */
460 : :
461 : 4843623 : extern "C" void M2StateCheck_CheckQualident (unsigned int tok, M2StateCheck_StateCheck s, unsigned int sym)
462 : : {
463 : 4843623 : if (sym == SymbolTable_NulSym)
464 : : {} /* empty. */
465 : 4843581 : else if (SymbolTable_IsType (sym))
466 : : {
467 : : /* avoid dangling else. */
468 : 2578804 : if (((((1 << (M2StateCheck_constfunc-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)) || ((((1 << (M2StateCheck_constructor-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)))
469 : : {} /* empty. */
470 : : /* Ok. */
471 : 2576706 : else if ((((1 << (M2StateCheck_const-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0))
472 : : {
473 : : /* avoid dangling else. */
474 : 0 : GenerateError (tok, static_cast<M2StateCheck_StateCheck__opaque> (s), sym);
475 : : }
476 : : }
477 : 2264777 : else if (SymbolTable_IsConst (sym))
478 : : {
479 : : /* avoid dangling else. */
480 : 116713 : if (((((1 << (M2StateCheck_constfunc-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)) || ((((1 << (M2StateCheck_constructor-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)))
481 : : {} /* empty. */
482 : : /* Ok. */
483 : 106269 : else if (((((1 << (M2StateCheck_var-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)) || ((((1 << (M2StateCheck_type-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)))
484 : : {
485 : : /* avoid dangling else. */
486 : 0 : GenerateError (tok, static_cast<M2StateCheck_StateCheck__opaque> (s), sym);
487 : : }
488 : : }
489 : 2148064 : else if (SymbolTable_IsVar (sym))
490 : : {
491 : : /* avoid dangling else. */
492 : 73523 : if ((((1 << (M2StateCheck_constfunc-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0))
493 : : {} /* empty. */
494 : : /* Ok. */
495 : 73403 : else if ((((((1 << (M2StateCheck_const-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)) || ((((1 << (M2StateCheck_type-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0))) || ((((1 << (M2StateCheck_var-M2StateCheck_const)) & (static_cast<M2StateCheck_StateCheck__opaque> (s)->state)) != 0)))
496 : : {
497 : : /* avoid dangling else. */
498 : 36 : GenerateError (tok, static_cast<M2StateCheck_StateCheck__opaque> (s), sym);
499 : : }
500 : : }
501 : 4843587 : }
502 : :
503 : 14232 : extern "C" void _M2_M2StateCheck_init (__attribute__((unused)) int argc, __attribute__((unused)) char *argv[], __attribute__((unused)) char *envp[])
504 : : {
505 : 14232 : init ();
506 : 14232 : }
507 : :
508 : 0 : extern "C" void _M2_M2StateCheck_fini (__attribute__((unused)) int argc, __attribute__((unused)) char *argv[], __attribute__((unused)) char *envp[])
509 : : {
510 : 0 : }
|
