GCC Code Coverage Report

Directory: ../
File: src/symboltablebuilder/SymbolTableBuilder.cpp
Date: 2024-12-24 01:17:15
Exec Total Coverage
Lines: 340 356 95.5%
Functions: 31 31 100.0%
Branches: 393 680 57.8%
Line Branch Exec Source
1 // Copyright (c) 2021-2024 ChilliBits. All rights reserved.
2
3 #include "SymbolTableBuilder.h"
4
5 #include <SourceFile.h>
6 #include <ast/ASTBuilder.h>
7 #include <ast/Attributes.h>
8 #include <exception/SemanticError.h>
9 #include <global/GlobalResourceManager.h>
10
11 namespace spice::compiler {
12
13 887 SymbolTableBuilder::SymbolTableBuilder(GlobalResourceManager &resourceManager, SourceFile *sourceFile)
14 887 : CompilerPass(resourceManager, sourceFile), rootScope(sourceFile->globalScope.get()) {}
15
16 887 std::any SymbolTableBuilder::visitEntry(EntryNode *node) {
17 // Initialize
18 887 currentScope = rootScope;
19
20 // Visit children
21
2/2
✓ Branch 1 taken 871 times.
✓ Branch 2 taken 16 times.
 887 visitChildren(node);
22
23 // Check if the main function exists
24
6/6
✓ Branch 0 taken 360 times.
✓ Branch 1 taken 511 times.
✓ Branch 2 taken 358 times.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 2 times.
✓ Branch 5 taken 356 times.
 871 if (sourceFile->isMainFile && !cliOptions.noEntryFct && !hasMainFunction)
25
2/4
✓ Branch 2 taken 2 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 2 times.
✗ Branch 6 not taken.
 6 throw SemanticError(node, MISSING_MAIN_FUNCTION, "No main function found", false);
26
27
1/2
✓ Branch 1 taken 869 times.
✗ Branch 2 not taken.
 869 return nullptr;
28 }
29
30 361 std::any SymbolTableBuilder::visitMainFctDef(MainFctDefNode *node) {
31 // Visit attributes
32
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 360 times.
 361 if (node->attrs)
33
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
 1 visit(node->attrs);
34
35 // Check if the function is already defined
36
3/4
✓ Branch 1 taken 360 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 359 times.
 1440 if (rootScope->lookupStrict(MAIN_FUNCTION_NAME))
37
2/4
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
 3 throw SemanticError(node, FUNCTION_DECLARED_TWICE, "Main function is declared twice");
38
39 // Insert symbol for main function
40
1/2
✓ Branch 1 taken 359 times.
✗ Branch 2 not taken.
 1077 SymbolTableEntry *mainFctEntry = currentScope->insert(MAIN_FUNCTION_NAME, node);
41 359 mainFctEntry->used = true;
42
43 // Create scope for main function body
44
1/2
✓ Branch 1 taken 359 times.
✗ Branch 2 not taken.
 359 const std::string &scopeId = MainFctDefNode::getScopeId();
45
1/2
✓ Branch 1 taken 359 times.
✗ Branch 2 not taken.
 359 node->bodyScope = currentScope = rootScope->createChildScope(scopeId, ScopeType::FUNC_PROC_BODY, &node->codeLoc);
46 359 currentScope->isGenericScope = false;
47
48 // Declare variable for the return value in the function scope
49
1/2
✓ Branch 1 taken 359 times.
✗ Branch 2 not taken.
 1077 SymbolTableEntry *resultVarEntry = node->bodyScope->insert(RETURN_VARIABLE_NAME, node);
50 359 resultVarEntry->used = true;
51
52 // Visit arguments in new scope
53
2/2
✓ Branch 0 taken 4 times.
✓ Branch 1 taken 355 times.
 359 if (node->takesArgs)
54
1/2
✓ Branch 1 taken 4 times.
✗ Branch 2 not taken.
 4 visit(node->paramLst);
55
56 // Visit function body in new scope
57
2/2
✓ Branch 1 taken 358 times.
✓ Branch 2 taken 1 times.
 359 visit(node->body);
58
59 // Return to root scope
60 358 currentScope = rootScope;
61
62 358 hasMainFunction = true;
63
1/2
✓ Branch 1 taken 358 times.
✗ Branch 2 not taken.
 716 return nullptr;
64 359 }
65
66 4249 std::any SymbolTableBuilder::visitFctDef(FctDefNode *node) {
67 // Visit attributes
68
2/2
✓ Branch 0 taken 11 times.
✓ Branch 1 taken 4238 times.
 4249 if (node->attrs)
69
1/2
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
 11 visit(node->attrs);
70
71 // Build function specifiers
72
2/2
✓ Branch 0 taken 4101 times.
✓ Branch 1 taken 148 times.
 4249 if (const SpecifierLstNode *specifierLst = node->specifierLst; specifierLst) {
73
2/2
✓ Branch 5 taken 5218 times.
✓ Branch 6 taken 4101 times.
 9319 for (const SpecifierNode *specifier : specifierLst->specifiers) {
74
2/2
✓ Branch 0 taken 1134 times.
✓ Branch 1 taken 4084 times.
 5218 if (specifier->type == SpecifierNode::TY_INLINE)
75 1134 node->specifiers.isInline = true;
76
2/2
✓ Branch 0 taken 4079 times.
✓ Branch 1 taken 5 times.
 4084 else if (specifier->type == SpecifierNode::TY_PUBLIC)
77 4079 node->specifiers.isPublic = true;
78
1/2
✓ Branch 0 taken 5 times.
✗ Branch 1 not taken.
 5 else if (specifier->type == SpecifierNode::TY_CONST)
79 5 node->specifiers.isConst = true;
80 else
81 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on a function definition");
82 }
83 }
84
85 // Change to struct scope if this function is a method
86
2/2
✓ Branch 0 taken 2364 times.
✓ Branch 1 taken 1885 times.
 4249 if (node->isMethod) {
87
2/4
✓ Branch 1 taken 2364 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 2364 times.
✗ Branch 5 not taken.
 2364 node->structScope = currentScope = currentScope->getChildScope(STRUCT_SCOPE_PREFIX + node->name->structName);
88
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 2364 times.
 2364 if (!currentScope)
89 ✗ throw SemanticError(node, REFERENCED_UNDEFINED_STRUCT, "Struct '" + node->name->structName + "' could not be found");
90 }
91
92 // Create scope for the function
93
2/4
✓ Branch 1 taken 4249 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 4249 times.
✗ Branch 5 not taken.
 4249 node->scope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::FUNC_PROC_BODY, &node->codeLoc);
94
6/6
✓ Branch 0 taken 3550 times.
✓ Branch 1 taken 699 times.
✓ Branch 2 taken 2274 times.
✓ Branch 3 taken 1276 times.
✓ Branch 4 taken 640 times.
✓ Branch 5 taken 1634 times.
 4249 currentScope->isGenericScope = node->hasTemplateTypes || (node->structScope && node->structScope->isGenericScope);
95
96 // Create symbol for 'this' variable
97
2/2
✓ Branch 0 taken 2364 times.
✓ Branch 1 taken 1885 times.
 4249 if (node->isMethod)
98
1/2
✓ Branch 1 taken 2364 times.
✗ Branch 2 not taken.
 9456 currentScope->insert(THIS_VARIABLE_NAME, node);
99
100 // Create symbol for 'result' variable
101
1/2
✓ Branch 1 taken 4249 times.
✗ Branch 2 not taken.
 12747 currentScope->insert(RETURN_VARIABLE_NAME, node);
102
103 // Create symbols for the parameters
104
2/2
✓ Branch 0 taken 3002 times.
✓ Branch 1 taken 1247 times.
 4249 if (node->hasParams)
105
1/2
✓ Branch 1 taken 3002 times.
✗ Branch 2 not taken.
 3002 visit(node->paramLst);
106
107 // Visit the function body
108
1/2
✓ Branch 1 taken 4249 times.
✗ Branch 2 not taken.
 4249 visit(node->body);
109
110 // Leave function body scope
111 4249 currentScope = node->scope->parent;
112
113 // Insert symbol for function into the symbol table
114
1/2
✓ Branch 1 taken 4249 times.
✗ Branch 2 not taken.
 8498 node->entry = currentScope->insert(node->getSymbolTableEntryName(), node);
115
116 // Add to external name registry
117 // if a function has overloads, they both refer to the same entry in the registry. So we only register the name once
118 4249 const NameRegistryEntry *existingRegistryEntry = sourceFile->getNameRegistryEntry(node->name->fqName);
119
3/4
✓ Branch 0 taken 977 times.
✓ Branch 1 taken 3272 times.
✓ Branch 2 taken 977 times.
✗ Branch 3 not taken.
 4249 if (!existingRegistryEntry || existingRegistryEntry->targetEntry != node->entry)
120 4249 sourceFile->addNameRegistryEntry(node->name->fqName, TY_FUNCTION, node->entry, currentScope, true);
121
122 // Leave the struct scope
123
2/2
✓ Branch 0 taken 2364 times.
✓ Branch 1 taken 1885 times.
 4249 if (node->isMethod)
124 2364 currentScope = node->structScope->parent;
125
126
1/2
✓ Branch 1 taken 4249 times.
✗ Branch 2 not taken.
 4249 return nullptr;
127 }
128
129 2705 std::any SymbolTableBuilder::visitProcDef(ProcDefNode *node) {
130 // Visit attributes
131
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 2704 times.
 2705 if (node->attrs)
132
1/2
✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
 1 visit(node->attrs);
133
134 // Build procedure specifiers
135
2/2
✓ Branch 0 taken 2411 times.
✓ Branch 1 taken 293 times.
 2704 if (const SpecifierLstNode *specifierLst = node->specifierLst) {
136
2/2
✓ Branch 5 taken 2754 times.
✓ Branch 6 taken 2411 times.
 5165 for (const SpecifierNode *specifier : specifierLst->specifiers) {
137
2/2
✓ Branch 0 taken 344 times.
✓ Branch 1 taken 2410 times.
 2754 if (specifier->type == SpecifierNode::TY_INLINE)
138 344 node->specifiers.isInline = true;
139
1/2
✓ Branch 0 taken 2410 times.
✗ Branch 1 not taken.
 2410 else if (specifier->type == SpecifierNode::TY_PUBLIC)
140 2410 node->specifiers.isPublic = true;
141 ✗ else if (specifier->type == SpecifierNode::TY_CONST)
142 ✗ node->specifiers.isConst = true;
143 else
144 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on a procedure definition");
145 }
146 }
147
148 // Change to struct scope if this procedure is a method
149
2/2
✓ Branch 0 taken 2271 times.
✓ Branch 1 taken 433 times.
 2704 if (node->isMethod) {
150
2/4
✓ Branch 1 taken 2271 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 2271 times.
✗ Branch 5 not taken.
 2271 node->structScope = currentScope = currentScope->getChildScope(STRUCT_SCOPE_PREFIX + node->name->structName);
151
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 2270 times.
 2271 if (!currentScope)
152
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, REFERENCED_UNDEFINED_STRUCT, "Struct '" + node->name->structName + "' could not be found");
153 }
154
155 // Create scope for the procedure
156
2/4
✓ Branch 1 taken 2703 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 2703 times.
✗ Branch 5 not taken.
 2703 node->scope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::FUNC_PROC_BODY, &node->codeLoc);
157
6/6
✓ Branch 0 taken 2189 times.
✓ Branch 1 taken 514 times.
✓ Branch 2 taken 2069 times.
✓ Branch 3 taken 120 times.
✓ Branch 4 taken 557 times.
✓ Branch 5 taken 1512 times.
 2703 currentScope->isGenericScope = node->hasTemplateTypes || (node->structScope && node->structScope->isGenericScope);
158
4/4
✓ Branch 0 taken 2270 times.
✓ Branch 1 taken 433 times.
✓ Branch 3 taken 89 times.
✓ Branch 4 taken 2181 times.
 2703 currentScope->isDtorScope = node->isMethod && node->name->name == DTOR_FUNCTION_NAME;
159
160 // Create symbol for 'this' variable
161
2/2
✓ Branch 0 taken 2270 times.
✓ Branch 1 taken 433 times.
 2703 if (node->isMethod)
162
1/2
✓ Branch 1 taken 2270 times.
✗ Branch 2 not taken.
 9080 currentScope->insert(THIS_VARIABLE_NAME, node);
163
164 // Create symbols for the parameters
165
2/2
✓ Branch 0 taken 1915 times.
✓ Branch 1 taken 788 times.
 2703 if (node->hasParams)
166
1/2
✓ Branch 1 taken 1915 times.
✗ Branch 2 not taken.
 1915 visit(node->paramLst);
167
168 // Visit the procedure body
169
1/2
✓ Branch 1 taken 2703 times.
✗ Branch 2 not taken.
 2703 visit(node->body);
170
171 // Leave procedure body scope
172 2703 currentScope = node->scope->parent;
173
174 // Insert symbol for procedure into the symbol table
175
1/2
✓ Branch 1 taken 2703 times.
✗ Branch 2 not taken.
 5406 node->entry = currentScope->insert(node->getSymbolTableEntryName(), node);
176
177 // Add to external name registry
178 // if a procedure has overloads, they both refer to the same entry in the registry. So we only register the name once
179 2703 const NameRegistryEntry *existingRegistryEntry = sourceFile->getNameRegistryEntry(node->name->fqName);
180
3/4
✓ Branch 0 taken 721 times.
✓ Branch 1 taken 1982 times.
✓ Branch 2 taken 721 times.
✗ Branch 3 not taken.
 2703 if (!existingRegistryEntry || existingRegistryEntry->targetEntry != node->entry)
181 2703 sourceFile->addNameRegistryEntry(node->name->fqName, TY_PROCEDURE, node->entry, currentScope, true);
182
183 // Leave the struct scope
184
2/2
✓ Branch 0 taken 2270 times.
✓ Branch 1 taken 433 times.
 2703 if (node->isMethod)
185 2270 currentScope = node->structScope->parent;
186
187 // Check if this is a constructor
188 2703 node->isCtor = node->name->nameFragments.back() == CTOR_FUNCTION_NAME;
189
190
1/2
✓ Branch 1 taken 2703 times.
✗ Branch 2 not taken.
 2703 return nullptr;
191 }
192
193 547 std::any SymbolTableBuilder::visitStructDef(StructDefNode *node) {
194 // Visit attributes
195
2/2
✓ Branch 0 taken 51 times.
✓ Branch 1 taken 496 times.
 547 if (node->attrs)
196
1/2
✓ Branch 1 taken 51 times.
✗ Branch 2 not taken.
 51 visit(node->attrs);
197
198 // Check if this name already exists
199
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 546 times.
 1094 if (rootScope->lookupStrict(node->structName))
200
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->structName + "'");
201
202 // Create scope for the struct
203 546 node->structScope = currentScope =
204
2/4
✓ Branch 1 taken 546 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 546 times.
✗ Branch 5 not taken.
 546 rootScope->createChildScope(STRUCT_SCOPE_PREFIX + node->structName, ScopeType::STRUCT, &node->codeLoc);
205 546 currentScope->isGenericScope = node->hasTemplateTypes;
206
207 // Insert implicit field for each interface type
208
2/2
✓ Branch 0 taken 87 times.
✓ Branch 1 taken 459 times.
 546 if (node->hasInterfaces) {
209
2/2
✓ Branch 4 taken 87 times.
✓ Branch 5 taken 87 times.
 174 for (DataTypeNode *interfaceNode : node->interfaceTypeLst->dataTypes) {
210 87 const std::string &interfaceName = interfaceNode->baseDataType->customDataType->typeNameFragments.back();
211
1/2
✓ Branch 1 taken 87 times.
✗ Branch 2 not taken.
 174 SymbolTableEntry *interfaceFieldEntry = currentScope->insert("this." + interfaceName, interfaceNode);
212 87 interfaceFieldEntry->used = true;
213 87 interfaceFieldEntry->isImplicitField = true;
214 }
215 }
216
217 // Visit children
218
2/2
✓ Branch 1 taken 545 times.
✓ Branch 2 taken 1 times.
 546 visitChildren(node);
219
220 // Leave the struct scope
221 545 currentScope = node->structScope->parent;
222
223 // Build struct specifiers
224
2/2
✓ Branch 0 taken 409 times.
✓ Branch 1 taken 136 times.
 545 if (const SpecifierLstNode *specifierLst = node->specifierLst) {
225
2/2
✓ Branch 5 taken 409 times.
✓ Branch 6 taken 409 times.
 818 for (const SpecifierNode *specifier : specifierLst->specifiers) {
226
1/2
✓ Branch 0 taken 409 times.
✗ Branch 1 not taken.
 409 if (specifier->type == SpecifierNode::TY_PUBLIC)
227 409 node->structSpecifiers.isPublic = true;
228 else
229 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on a struct definition");
230 }
231 }
232
233 // Add the struct to the symbol table
234 545 node->entry = rootScope->insert(node->structName, node);
235 // Register the name in the exported name registry
236 545 sourceFile->addNameRegistryEntry(node->structName, node->typeId, node->entry, node->structScope, true);
237
238
1/2
✓ Branch 1 taken 545 times.
✗ Branch 2 not taken.
 545 return nullptr;
239 }
240
241 76 std::any SymbolTableBuilder::visitInterfaceDef(InterfaceDefNode *node) {
242 // Visit attributes
243
2/2
✓ Branch 0 taken 53 times.
✓ Branch 1 taken 23 times.
 76 if (node->attrs)
244
1/2
✓ Branch 1 taken 53 times.
✗ Branch 2 not taken.
 53 visit(node->attrs);
245
246 // Check if this name already exists
247
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 75 times.
 152 if (rootScope->lookupStrict(node->interfaceName))
248
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->interfaceName + "'");
249
250 // Create scope for the interface
251 75 node->interfaceScope = currentScope =
252
2/4
✓ Branch 1 taken 75 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 75 times.
✗ Branch 5 not taken.
 75 rootScope->createChildScope(INTERFACE_SCOPE_PREFIX + node->interfaceName, ScopeType::INTERFACE, &node->codeLoc);
253
254 // Visit signatures
255
2/2
✓ Branch 4 taken 173 times.
✓ Branch 5 taken 75 times.
 248 for (SignatureNode *signature : node->signatures)
256
1/2
✓ Branch 1 taken 173 times.
✗ Branch 2 not taken.
 173 visit(signature);
257
258 // Leave the interface scope
259 75 currentScope = node->interfaceScope->parent;
260
261 // Build interface specifiers
262
2/2
✓ Branch 0 taken 60 times.
✓ Branch 1 taken 15 times.
 75 if (const SpecifierLstNode *specifierLst = node->specifierLst) {
263
2/2
✓ Branch 5 taken 60 times.
✓ Branch 6 taken 60 times.
 120 for (const SpecifierNode *specifier : specifierLst->specifiers) {
264
1/2
✓ Branch 0 taken 60 times.
✗ Branch 1 not taken.
 60 if (specifier->type == SpecifierNode::TY_PUBLIC)
265 60 node->interfaceSpecifiers.isPublic = true;
266 else
267 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on an interface definition");
268 }
269 }
270
271 // Add the interface to the symbol table
272 75 node->entry = rootScope->insert(node->interfaceName, node);
273 // Register the name in the exported name registry
274 75 sourceFile->addNameRegistryEntry(node->interfaceName, node->typeId, node->entry, node->interfaceScope, true);
275
276
1/2
✓ Branch 1 taken 75 times.
✗ Branch 2 not taken.
 75 return nullptr;
277 }
278
279 41 std::any SymbolTableBuilder::visitEnumDef(EnumDefNode *node) {
280 // Check if this name already exists
281
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 40 times.
 82 if (rootScope->lookupStrict(node->enumName))
282
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->enumName + "'");
283
284 // Create scope for the enum
285 40 node->enumScope = currentScope =
286
2/4
✓ Branch 1 taken 40 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 40 times.
✗ Branch 5 not taken.
 40 rootScope->createChildScope(ENUM_SCOPE_PREFIX + node->enumName, ScopeType::ENUM, &node->codeLoc);
287
288 // Visit items
289
2/2
✓ Branch 1 taken 39 times.
✓ Branch 2 taken 1 times.
 40 visit(node->itemLst);
290
291 // Leave the enum scope
292 39 currentScope = node->enumScope->parent;
293
294 // Build enum specifiers
295
2/2
✓ Branch 0 taken 27 times.
✓ Branch 1 taken 12 times.
 39 if (node->specifierLst) {
296
2/2
✓ Branch 5 taken 27 times.
✓ Branch 6 taken 27 times.
 54 for (const SpecifierNode *specifier : node->specifierLst->specifiers) {
297
1/2
✓ Branch 0 taken 27 times.
✗ Branch 1 not taken.
 27 if (specifier->type == SpecifierNode::TY_PUBLIC)
298 27 node->enumSpecifiers.isPublic = true;
299 else
300 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on an enum definition");
301 }
302 }
303
304 // Add the enum to the symbol table
305 39 node->entry = rootScope->insert(node->enumName, node);
306 // Register the name in the exported name registry
307 39 sourceFile->addNameRegistryEntry(node->enumName, node->typeId, node->entry, node->enumScope, true);
308
309
1/2
✓ Branch 1 taken 39 times.
✗ Branch 2 not taken.
 39 return nullptr;
310 }
311
312 724 std::any SymbolTableBuilder::visitGenericTypeDef(GenericTypeDefNode *node) {
313 // Check if this name already exists
314
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 723 times.
 1448 if (rootScope->lookupStrict(node->typeName))
315
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->typeName + "'");
316
317 // Create the generic type to the symbol table
318 723 node->entry = rootScope->insert(node->typeName, node);
319 723 node->entry->used = true; // Generic types are always used
320
321
1/2
✓ Branch 1 taken 723 times.
✗ Branch 2 not taken.
 723 return nullptr;
322 }
323
324 32 std::any SymbolTableBuilder::visitAliasDef(AliasDefNode *node) {
325 // Check if this name already exists
326
3/4
✓ Branch 1 taken 32 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 31 times.
 64 if (rootScope->lookupStrict(node->aliasName))
327
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->aliasName + "'");
328
329 // Build alias specifiers
330
2/2
✓ Branch 0 taken 2 times.
✓ Branch 1 taken 29 times.
 31 if (const SpecifierLstNode *specifierLst = node->specifierLst) {
331
2/2
✓ Branch 5 taken 2 times.
✓ Branch 6 taken 2 times.
 4 for (const SpecifierNode *specifier : specifierLst->specifiers) {
332
1/2
✓ Branch 0 taken 2 times.
✗ Branch 1 not taken.
 2 if (specifier->type == SpecifierNode::TY_PUBLIC)
333 2 node->aliasSpecifiers.isPublic = true;
334 else
335 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on an alias definition");
336 }
337 }
338
339 // Add the alias to the symbol table
340
1/2
✓ Branch 1 taken 31 times.
✗ Branch 2 not taken.
 31 node->entry = rootScope->insert(node->aliasName, node);
341 // Register the name in the exported name registry
342
1/2
✓ Branch 1 taken 31 times.
✗ Branch 2 not taken.
 31 sourceFile->addNameRegistryEntry(node->aliasName, node->typeId, node->entry, rootScope, true);
343
344 // Add another symbol for the aliased type container
345
1/2
✓ Branch 1 taken 31 times.
✗ Branch 2 not taken.
 31 const std::string aliasedTypeContainerName = node->aliasName + ALIAS_CONTAINER_SUFFIX;
346
1/2
✓ Branch 1 taken 31 times.
✗ Branch 2 not taken.
 31 node->aliasedTypeContainerEntry = rootScope->insert(aliasedTypeContainerName, node);
347
348
1/2
✓ Branch 1 taken 31 times.
✗ Branch 2 not taken.
 62 return nullptr;
349 31 }
350
351 739 std::any SymbolTableBuilder::visitGlobalVarDef(GlobalVarDefNode *node) {
352 // Check if this name already exists
353
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 738 times.
 1478 if (rootScope->lookupStrict(node->varName))
354
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->varName + "'");
355
356 // Check if global already exists in an imported source file
357
5/8
✓ Branch 1 taken 738 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 738 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 738 times.
✗ Branch 8 not taken.
✓ Branch 12 taken 115 times.
✓ Branch 13 taken 737 times.
 852 for (const auto &dependency : sourceFile->dependencies | std::views::values)
358
3/4
✓ Branch 1 taken 115 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 114 times.
 115 if (dependency->exportedNameRegistry.contains(node->varName))
359
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, GLOBAL_DECLARED_TWICE, "Duplicate global variable '" + node->varName + "' in other module");
360
361 // Add the global to the symbol table
362 737 node->entry = rootScope->insert(node->varName, node);
363 // Register the name in the exported name registry
364 737 sourceFile->addNameRegistryEntry(node->varName, TY_INVALID, node->entry, currentScope, true);
365
366
1/2
✓ Branch 1 taken 737 times.
✗ Branch 2 not taken.
 737 return nullptr;
367 }
368
369 703 std::any SymbolTableBuilder::visitExtDecl(ExtDeclNode *node) {
370 // Visit attributes
371
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 702 times.
 703 if (node->attrs)
372
1/2
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
 1 visit(node->attrs);
373
374 // Check if this name already exists
375
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 702 times.
 1406 if (rootScope->lookupStrict(node->extFunctionName))
376
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->extFunctionName + "'");
377
378 // Create scope for the external function (this is required in case of forceSubstantiation in FunctionManager::matchFunction)
379
2/4
✓ Branch 1 taken 702 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 702 times.
✗ Branch 5 not taken.
 702 rootScope->createChildScope(node->getScopeId(), ScopeType::FUNC_PROC_BODY, &node->codeLoc);
380
381 // Add the external declaration to the symbol table
382 702 node->entry = rootScope->insert(node->extFunctionName, node);
383 // Register the name in the exported name registry
384
2/2
✓ Branch 0 taken 454 times.
✓ Branch 1 taken 248 times.
 702 const uint64_t typeId = node->returnType ? TY_FUNCTION : TY_PROCEDURE;
385 702 sourceFile->addNameRegistryEntry(node->extFunctionName, typeId, node->entry, rootScope, /*keepNewOnCollision=*/true);
386
387
1/2
✓ Branch 1 taken 702 times.
✗ Branch 2 not taken.
 702 return nullptr;
388 }
389
390 1808 std::any SymbolTableBuilder::visitUnsafeBlock(UnsafeBlockNode *node) {
391 // Create scope for the unsafe block body
392 1808 node->bodyScope = currentScope =
393
2/4
✓ Branch 1 taken 1808 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1808 times.
✗ Branch 5 not taken.
 1808 currentScope->createChildScope(node->getScopeId(), ScopeType::UNSAFE_BODY, &node->body->codeLoc);
394
395 // Visit body
396
1/2
✓ Branch 1 taken 1808 times.
✗ Branch 2 not taken.
 1808 visit(node->body);
397
398 // Leave thread body scope
399 1808 currentScope = node->bodyScope->parent;
400
401
1/2
✓ Branch 1 taken 1808 times.
✗ Branch 2 not taken.
 1808 return nullptr;
402 }
403
404 984 std::any SymbolTableBuilder::visitForLoop(ForLoopNode *node) {
405 // Create scope for the loop body
406 984 node->bodyScope = currentScope =
407
2/4
✓ Branch 1 taken 984 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 984 times.
✗ Branch 5 not taken.
 984 currentScope->createChildScope(node->getScopeId(), ScopeType::FOR_BODY, &node->body->codeLoc);
408
409 // Visit loop variable declaration
410
1/2
✓ Branch 1 taken 984 times.
✗ Branch 2 not taken.
 984 visit(node->initDecl);
411
412 // Visit body
413
1/2
✓ Branch 1 taken 984 times.
✗ Branch 2 not taken.
 984 visit(node->body);
414
415 // Leave for body scope
416 984 currentScope = node->bodyScope->parent;
417
418
1/2
✓ Branch 1 taken 984 times.
✗ Branch 2 not taken.
 984 return nullptr;
419 }
420
421 87 std::any SymbolTableBuilder::visitForeachLoop(ForeachLoopNode *node) {
422 // Create scope for the loop body
423 87 node->bodyScope = currentScope =
424
2/4
✓ Branch 1 taken 87 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 87 times.
✗ Branch 5 not taken.
 87 currentScope->createChildScope(node->getScopeId(), ScopeType::FOREACH_BODY, &node->body->codeLoc);
425
426 // Visit index variable declaration
427
2/2
✓ Branch 0 taken 6 times.
✓ Branch 1 taken 81 times.
 87 if (node->idxVarDecl)
428
1/2
✓ Branch 1 taken 6 times.
✗ Branch 2 not taken.
 6 visit(node->idxVarDecl);
429
430 // Visit item variable declaration
431
1/2
✓ Branch 1 taken 87 times.
✗ Branch 2 not taken.
 87 visit(node->itemVarDecl);
432
433 // Visit body
434
1/2
✓ Branch 1 taken 87 times.
✗ Branch 2 not taken.
 87 visit(node->body);
435
436 // Leave foreach body scope
437 87 currentScope = node->bodyScope->parent;
438
439
1/2
✓ Branch 1 taken 87 times.
✗ Branch 2 not taken.
 87 return nullptr;
440 }
441
442 398 std::any SymbolTableBuilder::visitWhileLoop(WhileLoopNode *node) {
443 // Create scope for the loop body
444 398 node->bodyScope = currentScope =
445
2/4
✓ Branch 1 taken 398 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 398 times.
✗ Branch 5 not taken.
 398 currentScope->createChildScope(node->getScopeId(), ScopeType::WHILE_BODY, &node->body->codeLoc);
446
447 // Visit condition
448
1/2
✓ Branch 1 taken 398 times.
✗ Branch 2 not taken.
 398 visit(node->condition);
449
450 // Visit body
451
1/2
✓ Branch 1 taken 398 times.
✗ Branch 2 not taken.
 398 visit(node->body);
452
453 // Leave while body scope
454 398 currentScope = node->bodyScope->parent;
455
456
1/2
✓ Branch 1 taken 398 times.
✗ Branch 2 not taken.
 398 return nullptr;
457 }
458
459 9 std::any SymbolTableBuilder::visitDoWhileLoop(DoWhileLoopNode *node) {
460 // Create scope for the loop body
461 9 node->bodyScope = currentScope =
462
2/4
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 9 times.
✗ Branch 5 not taken.
 9 currentScope->createChildScope(node->getScopeId(), ScopeType::WHILE_BODY, &node->body->codeLoc);
463
464 // Visit condition
465
1/2
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
 9 visit(node->condition);
466
467 // Visit body
468
1/2
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
 9 visit(node->body);
469
470 // Leave do-while body scope
471 9 currentScope = node->bodyScope->parent;
472
473
1/2
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
 9 return nullptr;
474 }
475
476 2918 std::any SymbolTableBuilder::visitIfStmt(IfStmtNode *node) {
477 // Create scope for the then body
478 2918 node->thenBodyScope = currentScope =
479
2/4
✓ Branch 1 taken 2918 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 2918 times.
✗ Branch 5 not taken.
 2918 currentScope->createChildScope(node->getScopeId(), ScopeType::IF_ELSE_BODY, &node->thenBody->codeLoc);
480
481 // Visit condition
482
1/2
✓ Branch 1 taken 2918 times.
✗ Branch 2 not taken.
 2918 visit(node->condition);
483
484 // Visit then body
485
1/2
✓ Branch 1 taken 2918 times.
✗ Branch 2 not taken.
 2918 visit(node->thenBody);
486
487 // Leave then body scope
488 2918 currentScope = node->thenBodyScope->parent;
489
490 // Visit else stmt
491
2/2
✓ Branch 0 taken 168 times.
✓ Branch 1 taken 2750 times.
 2918 if (node->elseStmt)
492
1/2
✓ Branch 1 taken 168 times.
✗ Branch 2 not taken.
 168 visit(node->elseStmt);
493
494
1/2
✓ Branch 1 taken 2918 times.
✗ Branch 2 not taken.
 2918 return nullptr;
495 }
496
497 168 std::any SymbolTableBuilder::visitElseStmt(ElseStmtNode *node) {
498 // Visit if statement in the case of an else if branch
499
2/2
✓ Branch 0 taken 51 times.
✓ Branch 1 taken 117 times.
 168 if (node->isElseIf) {
500
1/2
✓ Branch 1 taken 51 times.
✗ Branch 2 not taken.
 51 visit(node->ifStmt);
501
1/2
✓ Branch 1 taken 51 times.
✗ Branch 2 not taken.
 51 return nullptr;
502 }
503
504 // Create scope for the else body
505 117 node->elseBodyScope = currentScope =
506
2/4
✓ Branch 1 taken 117 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 117 times.
✗ Branch 5 not taken.
 117 currentScope->createChildScope(node->getScopeId(), ScopeType::IF_ELSE_BODY, &node->body->codeLoc);
507
508 // Visit else body
509
1/2
✓ Branch 1 taken 117 times.
✗ Branch 2 not taken.
 117 visit(node->body);
510
511 // Leave else body scope
512 117 currentScope = node->elseBodyScope->parent;
513
514
1/2
✓ Branch 1 taken 117 times.
✗ Branch 2 not taken.
 117 return nullptr;
515 }
516
517 28 std::any SymbolTableBuilder::visitCaseBranch(CaseBranchNode *node) {
518 // Create scope for the case branch
519 28 node->bodyScope = currentScope =
520
2/4
✓ Branch 1 taken 28 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 28 times.
✗ Branch 5 not taken.
 28 currentScope->createChildScope(node->getScopeId(), ScopeType::CASE_BODY, &node->body->codeLoc);
521
522 // Visit case body
523
1/2
✓ Branch 1 taken 28 times.
✗ Branch 2 not taken.
 28 visit(node->body);
524
525 // Leave case body scope
526 28 currentScope = node->bodyScope->parent;
527
528
1/2
✓ Branch 1 taken 28 times.
✗ Branch 2 not taken.
 28 return nullptr;
529 }
530
531 3 std::any SymbolTableBuilder::visitDefaultBranch(DefaultBranchNode *node) {
532 // Create scope for the default branch
533 3 node->bodyScope = currentScope =
534
2/4
✓ Branch 1 taken 3 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 3 times.
✗ Branch 5 not taken.
 3 currentScope->createChildScope(node->getScopeId(), ScopeType::DEFAULT_BODY, &node->body->codeLoc);
535
536 // Visit default body
537
1/2
✓ Branch 1 taken 3 times.
✗ Branch 2 not taken.
 3 visit(node->body);
538
539 // Leave default body scope
540 3 currentScope = node->bodyScope->parent;
541
542
1/2
✓ Branch 1 taken 3 times.
✗ Branch 2 not taken.
 3 return nullptr;
543 }
544
545 13 std::any SymbolTableBuilder::visitAnonymousBlockStmt(AnonymousBlockStmtNode *node) {
546 // Create scope for the anonymous block body
547 13 node->bodyScope = currentScope =
548
2/4
✓ Branch 1 taken 13 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 13 times.
✗ Branch 5 not taken.
 13 currentScope->createChildScope(node->getScopeId(), ScopeType::ANONYMOUS_BLOCK_BODY, &node->body->codeLoc);
549
550 // Visit body
551
1/2
✓ Branch 1 taken 13 times.
✗ Branch 2 not taken.
 13 visit(node->body);
552
553 // Leave anonymous block body scope
554 13 currentScope = node->bodyScope->parent;
555
556
1/2
✓ Branch 1 taken 13 times.
✗ Branch 2 not taken.
 13 return nullptr;
557 }
558
559 438 std::any SymbolTableBuilder::visitEnumItem(EnumItemNode *node) {
560 // Check if enum item already exists in the same scope.
561
3/4
✓ Branch 1 taken 438 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 437 times.
 876 if (currentScope->lookupStrict(node->itemName))
562
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, VARIABLE_DECLARED_TWICE, "The enum item '" + node->itemName + "' was declared more than once");
563
564 // Add enum item entry to symbol table
565
1/2
✓ Branch 1 taken 437 times.
✗ Branch 2 not taken.
 437 SymbolTableEntry *enumItemEntry = currentScope->insert(node->itemName, node);
566
567 // Add external registry entry
568
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 437 times.
 437 assert(node->enumDef != nullptr);
569
2/4
✓ Branch 1 taken 437 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 437 times.
✗ Branch 5 not taken.
 437 const std::string name = node->enumDef->enumName + SCOPE_ACCESS_TOKEN + node->itemName;
570
1/2
✓ Branch 1 taken 437 times.
✗ Branch 2 not taken.
 437 sourceFile->addNameRegistryEntry(name, TY_INT, enumItemEntry, currentScope, true);
571
572
1/2
✓ Branch 1 taken 437 times.
✗ Branch 2 not taken.
 874 return nullptr;
573 437 }
574
575 1189 std::any SymbolTableBuilder::visitField(FieldNode *node) {
576 // Check if field already exists in the same scope.
577
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 1188 times.
 2378 if (currentScope->lookupStrict(node->fieldName))
578
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, VARIABLE_DECLARED_TWICE, "The field '" + node->fieldName + "' was declared more than once");
579
580 // Add field entry to symbol table
581 1188 currentScope->insert(node->fieldName, node);
582
583
1/2
✓ Branch 1 taken 1188 times.
✗ Branch 2 not taken.
 1188 return nullptr;
584 }
585
586 173 std::any SymbolTableBuilder::visitSignature(SignatureNode *node) {
587 // Build signature specifiers
588
2/2
✓ Branch 0 taken 8 times.
✓ Branch 1 taken 165 times.
 173 if (const SpecifierLstNode *specifierLst = node->specifierLst) {
589
2/2
✓ Branch 5 taken 8 times.
✓ Branch 6 taken 8 times.
 16 for (const SpecifierNode *specifier : specifierLst->specifiers) {
590
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 8 times.
 8 if (specifier->type == SpecifierNode::TY_INLINE)
591 ✗ node->signatureSpecifiers.isInline = true;
592
1/2
✓ Branch 0 taken 8 times.
✗ Branch 1 not taken.
 8 else if (specifier->type == SpecifierNode::TY_PUBLIC)
593 8 node->signatureSpecifiers.isPublic = true;
594 ✗ else if (specifier->type == SpecifierNode::TY_CONST)
595 ✗ node->signatureSpecifiers.isConst = true;
596 else
597 ✗ throw SemanticError(specifier, SPECIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this specifier on a signature definition");
598 }
599 }
600
601 // Add signature entry to symbol table
602 173 node->entry = currentScope->insert(node->methodName, node);
603
604
1/2
✓ Branch 1 taken 173 times.
✗ Branch 2 not taken.
 173 return nullptr;
605 }
606
607 12670 std::any SymbolTableBuilder::visitDeclStmt(DeclStmtNode *node) {
608 // Check if variable already exists in the same scope.
609
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 12669 times.
 25340 if (currentScope->lookupStrict(node->varName))
610
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, VARIABLE_DECLARED_TWICE, "The variable '" + node->varName + "' was declared more than once");
611
612 // Visit the right side
613
2/2
✓ Branch 0 taken 5369 times.
✓ Branch 1 taken 7300 times.
 12669 if (node->hasAssignment)
614
1/2
✓ Branch 1 taken 5369 times.
✗ Branch 2 not taken.
 5369 visit(node->assignExpr);
615
616 // Add variable entry to symbol table
617 12669 SymbolTableEntry *varEntry = currentScope->insert(node->varName, node);
618 12669 varEntry->isParam = node->isFctParam;
619
620
1/2
✓ Branch 1 taken 12669 times.
✗ Branch 2 not taken.
 12669 return nullptr;
621 }
622
623 277 std::any SymbolTableBuilder::visitModAttr(ModAttrNode *node) {
624 // Visit attributes
625
2/2
✓ Branch 1 taken 276 times.
✓ Branch 2 taken 1 times.
 277 visitChildren(node);
626
627 // Retrieve attributes
628 276 const AttrLstNode *attrs = node->attrLst;
629
630 // Collect linker flags
631 276 std::vector<const CompileTimeValue *> linkerFlagValues;
632 // core.linker.flag
633
2/4
✓ Branch 1 taken 276 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 276 times.
✗ Branch 5 not taken.
 552 std::vector<const CompileTimeValue *> values = attrs->getAttrValuesByName(ATTR_CORE_LINKER_FLAG);
634
1/2
✓ Branch 5 taken 276 times.
✗ Branch 6 not taken.
 276 linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
635 // core.linux.linker.flag
636
1/2
✓ Branch 3 taken 276 times.
✗ Branch 4 not taken.
 276 if (sourceFile->targetMachine->getTargetTriple().isOSLinux()) {
637
2/4
✓ Branch 1 taken 276 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 276 times.
✗ Branch 5 not taken.
 552 values = attrs->getAttrValuesByName(ATTR_CORE_LINUX_LINKER_FLAG);
638
1/2
✓ Branch 5 taken 276 times.
✗ Branch 6 not taken.
 276 linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
639 }
640 // core.windows.linker.flag
641
1/2
✗ Branch 3 not taken.
✓ Branch 4 taken 276 times.
 276 if (sourceFile->targetMachine->getTargetTriple().isOSWindows()) {
642 ✗ values = attrs->getAttrValuesByName(ATTR_CORE_WINDOWS_LINKER_FLAG);
643 ✗ linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
644 }
645
2/2
✓ Branch 5 taken 209 times.
✓ Branch 6 taken 276 times.
 485 for (const CompileTimeValue *value : linkerFlagValues)
646
2/4
✓ Branch 1 taken 209 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 209 times.
✗ Branch 5 not taken.
 209 resourceManager.linker.addLinkerFlag(resourceManager.compileTimeStringValues.at(value->stringValueOffset));
647
648 // core.linker.additional_source
649
4/6
✓ Branch 1 taken 276 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 276 times.
✗ Branch 5 not taken.
✓ Branch 12 taken 1 times.
✓ Branch 13 taken 276 times.
 829 for (const CompileTimeValue *value : attrs->getAttrValuesByName(ATTR_CORE_LINKER_ADDITIONAL_SOURCE)) {
650
1/2
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
 1 const std::string &stringValue = resourceManager.compileTimeStringValues.at(value->stringValueOffset);
651
3/6
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
 1 const std::filesystem::path path = sourceFile->filePath.parent_path() / stringValue;
652
2/4
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
 1 resourceManager.linker.addAdditionalSourcePath(std::filesystem::canonical(path));
653 277 }
654
655
1/2
✓ Branch 1 taken 276 times.
✗ Branch 2 not taken.
 552 return nullptr;
656 276 }
657
658 661 std::any SymbolTableBuilder::visitAttr(AttrNode *node) {
659 // Check if this attribute exists
660
2/2
✓ Branch 1 taken 1 times.
✓ Branch 2 taken 660 times.
 661 if (!ATTR_CONFIGS.contains(node->key))
661
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, UNKNOWN_ATTR, "Unknown attribute '" + node->key + "'");
662
663 // Check if the target is correct
664 660 const auto &[target, type] = ATTR_CONFIGS.at(node->key);
665
2/2
✓ Branch 0 taken 1 times.
✓ Branch 1 taken 659 times.
 660 if ((node->target & target) == 0)
666
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, INVALID_ATTR_TARGET, "Attribute '" + node->key + "' cannot be used on this target");
667
668 // Check if a value is present
669
4/4
✓ Branch 0 taken 12 times.
✓ Branch 1 taken 647 times.
✓ Branch 2 taken 1 times.
✓ Branch 3 taken 11 times.
 659 if (!node->value && type != AttrNode::TYPE_BOOL)
670
3/6
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
 1 throw SemanticError(node, MISSING_ATTR_VALUE, "Attribute '" + node->key + "' requires a value");
671
672
1/2
✓ Branch 1 taken 658 times.
✗ Branch 2 not taken.
 658 return nullptr;
673 }
674
675 9 std::any SymbolTableBuilder::visitLambdaFunc(LambdaFuncNode *node) {
676 // Create scope for the lambda body
677 9 const CodeLoc &codeLoc = node->body->codeLoc;
678
2/4
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 9 times.
✗ Branch 5 not taken.
 9 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::LAMBDA_BODY, &codeLoc);
679 // Requires capturing because the LLVM IR will end up in a separate function
680 9 currentScope->symbolTable.setCapturingRequired();
681 // Set to async scope if this is an async lambda
682
4/18
✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✓ Branch 11 taken 9 times.
✗ Branch 13 not taken.
✓ Branch 14 taken 9 times.
✗ Branch 15 not taken.
✓ Branch 16 taken 9 times.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
 9 if (node->lambdaAttr && node->lambdaAttr->attrLst->hasAttr(ATTR_ASYNC))
683 ✗ node->bodyScope->isAsyncScope = node->lambdaAttr->attrLst->getAttrValueByName(ATTR_ASYNC)->boolValue;
684
685 // Create symbol for 'result' variable
686
1/2
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
 27 currentScope->insert(RETURN_VARIABLE_NAME, node);
687
688 // Create symbols for the parameters
689
2/2
✓ Branch 0 taken 8 times.
✓ Branch 1 taken 1 times.
 9 if (node->hasParams)
690
1/2
✓ Branch 1 taken 8 times.
✗ Branch 2 not taken.
 8 visit(node->paramLst);
691
692 // Visit body
693
1/2
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
 9 visit(node->body);
694
695 // Leave anonymous block body scope
696 9 currentScope = node->bodyScope->parent;
697
698
1/2
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
 9 return nullptr;
699 }
700
701 27 std::any SymbolTableBuilder::visitLambdaProc(LambdaProcNode *node) {
702 // Create scope for the lambda body
703 27 const CodeLoc &codeLoc = node->body->codeLoc;
704
2/4
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
 27 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::LAMBDA_BODY, &codeLoc);
705 // Requires capturing because the LLVM IR will end up in a separate function
706 27 currentScope->symbolTable.setCapturingRequired();
707 // Set to async scope if this is an async lambda
708
11/18
✓ Branch 0 taken 16 times.
✓ Branch 1 taken 11 times.
✓ Branch 3 taken 16 times.
✗ Branch 4 not taken.
✓ Branch 6 taken 16 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 16 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 16 times.
✓ Branch 11 taken 11 times.
✓ Branch 13 taken 16 times.
✓ Branch 14 taken 11 times.
✓ Branch 15 taken 16 times.
✓ Branch 16 taken 11 times.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
 59 if (node->lambdaAttr && node->lambdaAttr->attrLst->hasAttr(ATTR_ASYNC))
709
2/4
✓ Branch 1 taken 16 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 16 times.
✗ Branch 5 not taken.
 48 node->bodyScope->isAsyncScope = node->lambdaAttr->attrLst->getAttrValueByName(ATTR_ASYNC)->boolValue;
710
711 // Create symbols for the parameters
712
2/2
✓ Branch 0 taken 7 times.
✓ Branch 1 taken 20 times.
 27 if (node->hasParams)
713
1/2
✓ Branch 1 taken 7 times.
✗ Branch 2 not taken.
 7 visit(node->paramLst);
714
715 // Visit body
716
1/2
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
 27 visit(node->body);
717
718 // Leave anonymous block body scope
719 27 currentScope = node->bodyScope->parent;
720
721
1/2
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
 27 return nullptr;
722 }
723
724 1 std::any SymbolTableBuilder::visitLambdaExpr(LambdaExprNode *node) {
725 // Create scope for the anonymous block body
726 1 const CodeLoc &codeLoc = node->lambdaExpr->codeLoc;
727
2/4
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
 1 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::LAMBDA_BODY, &codeLoc);
728 // Requires capturing because the LLVM IR will end up in a separate function
729 1 currentScope->symbolTable.setCapturingRequired();
730
731 // Create symbols for the parameters
732
1/2
✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
 1 if (node->hasParams)
733
1/2
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
 1 visit(node->paramLst);
734
735 // Visit lambda expression
736
1/2
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
 1 visit(node->lambdaExpr);
737
738 // Leave anonymous block body scope
739 1 currentScope = node->bodyScope->parent;
740
741
1/2
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
 1 return nullptr;
742 }
743
744 } // namespace spice::compiler
745