GCC Code Coverage Report

Directory: ../
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 97.3% 360 / 0 / 370
Functions: 100.0% 31 / 0 / 31
Branches: 59.3% 427 / 0 / 720
src/symboltablebuilder/SymbolTableBuilder.cpp
Line Branch Exec Source
1 // Copyright (c) 2021-2026 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 <driver/Driver.h>
9 #include <exception/SemanticError.h>
10 #include <global/GlobalResourceManager.h>
11 #include <model/Function.h>
12 #include <symboltablebuilder/Scope.h>
13
14 namespace spice::compiler {
15
16 2681 SymbolTableBuilder::SymbolTableBuilder(GlobalResourceManager &resourceManager, SourceFile *sourceFile)
17 2681 : CompilerPass(resourceManager, sourceFile), rootScope(sourceFile->globalScope.get()) {}
18
19 2681 std::any SymbolTableBuilder::visitEntry(EntryNode *node) {
20 // Initialize
21 2681 currentScope = rootScope;
22
23 // Visit children
24
2/2
✓ Branch 2 → 3 taken 2664 times.
✓ Branch 2 → 23 taken 17 times.
 2681 visitChildren(node);
25
26 // Check if the main function exists
27
4/4
✓ Branch 4 → 5 taken 2661 times.
✓ Branch 4 → 7 taken 3 times.
✓ Branch 5 → 6 taken 2656 times.
✓ Branch 5 → 7 taken 5 times.
 2664 const bool mainFctRequired = cliOptions.outputContainer == OutputContainer::EXECUTABLE && !cliOptions.noEntryFct;
28
6/6
✓ Branch 8 → 9 taken 569 times.
✓ Branch 8 → 19 taken 2095 times.
✓ Branch 9 → 10 taken 562 times.
✓ Branch 9 → 19 taken 7 times.
✓ Branch 10 → 11 taken 2 times.
✓ Branch 10 → 19 taken 560 times.
 2664 if (sourceFile->isMainFile && mainFctRequired && !hasMainFunction)
29
2/4
✓ Branch 14 → 15 taken 2 times.
✗ Branch 14 → 27 not taken.
✓ Branch 15 → 16 taken 2 times.
✗ Branch 15 → 24 not taken.
 6 throw SemanticError(node, MISSING_MAIN_FUNCTION, "No main function found", false);
30
31
1/2
✓ Branch 19 → 20 taken 2662 times.
✗ Branch 19 → 33 not taken.
 5324 return nullptr;
32 }
33
34 565 std::any SymbolTableBuilder::visitMainFctDef(MainFctDefNode *node) {
35 // Visit attributes
36
2/2
✓ Branch 2 → 3 taken 1 time.
✓ Branch 2 → 6 taken 564 times.
 565 if (node->attrs)
37
1/2
✗ Branch 3 → 4 not taken.
✓ Branch 3 → 52 taken 1 time.
 1 visit(node->attrs);
38
39 // Check if the function is already defined
40
3/4
✓ Branch 8 → 9 taken 564 times.
✗ Branch 8 → 55 not taken.
✓ Branch 14 → 15 taken 1 time.
✓ Branch 14 → 23 taken 563 times.
 2256 if (rootScope->lookupStrict(MAIN_FUNCTION_NAME))
41
2/4
✓ Branch 18 → 19 taken 1 time.
✗ Branch 18 → 62 not taken.
✓ Branch 19 → 20 taken 1 time.
✗ Branch 19 → 59 not taken.
 3 throw SemanticError(node, FUNCTION_DECLARED_TWICE, "Main function is declared twice");
42
43 // Insert symbol for main function
44
1/2
✓ Branch 25 → 26 taken 563 times.
✗ Branch 25 → 70 not taken.
 1689 SymbolTableEntry *mainFctEntry = currentScope->insert(MAIN_FUNCTION_NAME, node);
45 563 mainFctEntry->used = true;
46
47 // Create scope for main function body
48
1/2
✓ Branch 31 → 32 taken 563 times.
✗ Branch 31 → 85 not taken.
 563 const std::string &scopeId = MainFctDefNode::getScopeId();
49
1/2
✓ Branch 32 → 33 taken 563 times.
✗ Branch 32 → 83 not taken.
 563 node->bodyScope = currentScope = rootScope->createChildScope(scopeId, ScopeType::FUNC_PROC_BODY, &node->codeLoc);
50 563 currentScope->isGenericScope = false;
51
52 // Declare variable for the return value in the function scope
53
1/2
✓ Branch 35 → 36 taken 563 times.
✗ Branch 35 → 76 not taken.
 1689 SymbolTableEntry *resultVarEntry = node->bodyScope->insert(RETURN_VARIABLE_NAME, node);
54 563 resultVarEntry->used = true;
55
56 // Visit arguments in new scope
57
2/2
✓ Branch 41 → 42 taken 7 times.
✓ Branch 41 → 45 taken 556 times.
 563 if (node->takesArgs)
58
1/2
✓ Branch 42 → 43 taken 7 times.
✗ Branch 42 → 80 not taken.
 7 visit(node->paramLst);
59
60 // Visit function body in new scope
61
2/2
✓ Branch 45 → 46 taken 562 times.
✓ Branch 45 → 81 taken 1 time.
 563 visit(node->body);
62
63 // Return to root scope
64 562 currentScope = rootScope;
65
66 562 hasMainFunction = true;
67
1/2
✓ Branch 47 → 48 taken 562 times.
✗ Branch 47 → 82 not taken.
 1124 return nullptr;
68 563 }
69
70 22693 std::any SymbolTableBuilder::visitFctDef(FctDefNode *node) {
71 // Visit attributes
72
2/2
✓ Branch 2 → 3 taken 766 times.
✓ Branch 2 → 6 taken 21927 times.
 22693 if (node->attrs)
73
1/2
✓ Branch 3 → 4 taken 766 times.
✗ Branch 3 → 98 not taken.
 766 visit(node->attrs);
74
75 // Build function qualifiers
76
2/2
✓ Branch 6 → 7 taken 21686 times.
✓ Branch 6 → 36 taken 1007 times.
 22693 if (const QualifierLstNode *qualifierLst = node->qualifierLst; qualifierLst) {
77
2/2
✓ Branch 34 → 9 taken 27872 times.
✓ Branch 34 → 35 taken 21686 times.
 71244 for (const QualifierNode *qualifier : qualifierLst->qualifiers) {
78
2/2
✓ Branch 11 → 12 taken 6186 times.
✓ Branch 11 → 13 taken 21686 times.
 27872 if (qualifier->type == QualifierNode::QualifierType::TY_INLINE)
79 6186 node->qualifiers.isInline = true;
80
2/2
✓ Branch 13 → 14 taken 21563 times.
✓ Branch 13 → 15 taken 123 times.
 21686 else if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
81 21563 node->qualifiers.isPublic = true;
82
1/2
✓ Branch 15 → 16 taken 123 times.
✗ Branch 15 → 17 not taken.
 123 else if (qualifier->type == QualifierNode::QualifierType::TY_CONST)
83 123 node->qualifiers.isConst = true;
84 else
85 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on a function definition");
86 }
87 }
88
89 // Change to struct scope if this function is a method
90
2/2
✓ Branch 36 → 37 taken 10982 times.
✓ Branch 36 → 51 taken 11711 times.
 22693 if (node->isMethod) {
91
1/2
✓ Branch 38 → 39 taken 10982 times.
✗ Branch 38 → 109 not taken.
 10982 const std::string scopeName = Struct::getScopeName(node->name->structName);
92
1/2
✓ Branch 40 → 41 taken 10982 times.
✗ Branch 40 → 121 not taken.
 10982 node->structScope = currentScope = currentScope->getChildScope(scopeName);
93
1/2
✗ Branch 41 → 42 not taken.
✓ Branch 41 → 49 taken 10982 times.
 10982 if (!currentScope)
94 ✗ throw SemanticError(node, REFERENCED_UNDEFINED_STRUCT, "Struct '" + node->name->structName + "' could not be found");
95 10982 }
96
97 // Create scope for the function
98
2/4
✓ Branch 51 → 52 taken 22693 times.
✗ Branch 51 → 126 not taken.
✓ Branch 52 → 53 taken 22693 times.
✗ Branch 52 → 124 not taken.
 22693 node->scope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::FUNC_PROC_BODY, &node->codeLoc);
99
6/6
✓ Branch 54 → 55 taken 20223 times.
✓ Branch 54 → 57 taken 2470 times.
✓ Branch 55 → 56 taken 10642 times.
✓ Branch 55 → 58 taken 9581 times.
✓ Branch 56 → 57 taken 2614 times.
✓ Branch 56 → 58 taken 8028 times.
 22693 currentScope->isGenericScope = node->hasTemplateTypes || (node->structScope && node->structScope->isGenericScope);
100
101 // Create symbol for 'this' variable
102
2/2
✓ Branch 59 → 60 taken 10982 times.
✓ Branch 59 → 69 taken 11711 times.
 22693 if (node->isMethod)
103
1/2
✓ Branch 62 → 63 taken 10982 times.
✗ Branch 62 → 129 not taken.
 43928 currentScope->insert(THIS_VARIABLE_NAME, node);
104
105 // Create symbol for 'result' variable
106
1/2
✓ Branch 71 → 72 taken 22693 times.
✗ Branch 71 → 135 not taken.
 68079 currentScope->insert(RETURN_VARIABLE_NAME, node);
107
108 // Create symbols for the parameters
109
2/2
✓ Branch 77 → 78 taken 17151 times.
✓ Branch 77 → 81 taken 5542 times.
 22693 if (node->hasParams)
110
1/2
✓ Branch 78 → 79 taken 17151 times.
✗ Branch 78 → 139 not taken.
 17151 visit(node->paramLst);
111
112 // Visit the function body
113
1/2
✓ Branch 81 → 82 taken 22693 times.
✗ Branch 81 → 140 not taken.
 22693 visit(node->body);
114
115 // Leave function body scope
116 22693 currentScope = node->scope->parent;
117
118 // Insert symbol for function into the symbol table
119
1/2
✓ Branch 83 → 84 taken 22693 times.
✗ Branch 83 → 143 not taken.
 45386 node->entry = currentScope->insert(node->getSymbolTableEntryName(), node);
120
121 // Add to external name registry
122 // if a function has overloads, they both refer to the same entry in the registry. So we only register the name once
123 22693 const NameRegistryEntry *existingRegistryEntry = sourceFile->getNameRegistryEntry(node->name->fqName);
124
3/4
✓ Branch 89 → 90 taken 4999 times.
✓ Branch 89 → 91 taken 17694 times.
✓ Branch 90 → 91 taken 4999 times.
✗ Branch 90 → 92 not taken.
 22693 if (!existingRegistryEntry || existingRegistryEntry->targetEntry != node->entry)
125 22693 sourceFile->addNameRegistryEntry(node->name->fqName, TY_FUNCTION, node->entry, currentScope, true);
126
127 // Leave the struct scope
128
2/2
✓ Branch 92 → 93 taken 10982 times.
✓ Branch 92 → 94 taken 11711 times.
 22693 if (node->isMethod)
129 10982 currentScope = node->structScope->parent;
130
131
1/2
✓ Branch 94 → 95 taken 22693 times.
✗ Branch 94 → 144 not taken.
 45386 return nullptr;
132 }
133
134 12426 std::any SymbolTableBuilder::visitProcDef(ProcDefNode *node) {
135 // Visit attributes
136
2/2
✓ Branch 2 → 3 taken 1 time.
✓ Branch 2 → 6 taken 12425 times.
 12426 if (node->attrs)
137
1/2
✗ Branch 3 → 4 not taken.
✓ Branch 3 → 97 taken 1 time.
 1 visit(node->attrs);
138
139 // Build procedure qualifiers
140
2/2
✓ Branch 6 → 7 taken 10849 times.
✓ Branch 6 → 36 taken 1576 times.
 12425 if (const QualifierLstNode *qualifierLst = node->qualifierLst) {
141
2/2
✓ Branch 34 → 9 taken 11848 times.
✓ Branch 34 → 35 taken 10849 times.
 33546 for (const QualifierNode *qualifier : qualifierLst->qualifiers) {
142
2/2
✓ Branch 11 → 12 taken 1005 times.
✓ Branch 11 → 13 taken 10843 times.
 11848 if (qualifier->type == QualifierNode::QualifierType::TY_INLINE)
143 1005 node->qualifiers.isInline = true;
144
2/2
✓ Branch 13 → 14 taken 10840 times.
✓ Branch 13 → 15 taken 3 times.
 10843 else if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
145 10840 node->qualifiers.isPublic = true;
146
1/2
✓ Branch 15 → 16 taken 3 times.
✗ Branch 15 → 17 not taken.
 3 else if (qualifier->type == QualifierNode::QualifierType::TY_CONST)
147 3 node->qualifiers.isConst = true;
148 else
149 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on a procedure definition");
150 }
151 }
152
153 // Change to struct scope if this procedure is a method
154
2/2
✓ Branch 36 → 37 taken 10497 times.
✓ Branch 36 → 51 taken 1928 times.
 12425 if (node->isMethod) {
155
1/2
✓ Branch 38 → 39 taken 10497 times.
✗ Branch 38 → 108 not taken.
 10497 const std::string &scopeName = Struct::getScopeName(node->name->structName);
156
1/2
✓ Branch 40 → 41 taken 10497 times.
✗ Branch 40 → 120 not taken.
 10497 node->structScope = currentScope = currentScope->getChildScope(scopeName);
157
2/2
✓ Branch 41 → 42 taken 1 time.
✓ Branch 41 → 49 taken 10496 times.
 10497 if (!currentScope)
158
3/6
✓ Branch 43 → 44 taken 1 time.
✗ Branch 43 → 116 not taken.
✓ Branch 44 → 45 taken 1 time.
✗ Branch 44 → 114 not taken.
✓ Branch 45 → 46 taken 1 time.
✗ Branch 45 → 111 not taken.
 1 throw SemanticError(node, REFERENCED_UNDEFINED_STRUCT, "Struct '" + node->name->structName + "' could not be found");
159 10497 }
160
161 // Create scope for the procedure
162
2/4
✓ Branch 51 → 52 taken 12424 times.
✗ Branch 51 → 125 not taken.
✓ Branch 52 → 53 taken 12424 times.
✗ Branch 52 → 123 not taken.
 12424 node->scope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::FUNC_PROC_BODY, &node->codeLoc);
163
6/6
✓ Branch 54 → 55 taken 9958 times.
✓ Branch 54 → 57 taken 2466 times.
✓ Branch 55 → 56 taken 9187 times.
✓ Branch 55 → 58 taken 771 times.
✓ Branch 56 → 57 taken 2565 times.
✓ Branch 56 → 58 taken 6622 times.
 12424 currentScope->isGenericScope = node->hasTemplateTypes || (node->structScope && node->structScope->isGenericScope);
164
4/4
✓ Branch 59 → 60 taken 10496 times.
✓ Branch 59 → 63 taken 1928 times.
✓ Branch 61 → 62 taken 487 times.
✓ Branch 61 → 63 taken 10009 times.
 12424 currentScope->isDtorScope = node->isMethod && node->name->name == DTOR_FUNCTION_NAME;
165
166 // Create symbol for 'this' variable
167
2/2
✓ Branch 64 → 65 taken 10496 times.
✓ Branch 64 → 74 taken 1928 times.
 12424 if (node->isMethod)
168
1/2
✓ Branch 67 → 68 taken 10496 times.
✗ Branch 67 → 128 not taken.
 41984 currentScope->insert(THIS_VARIABLE_NAME, node);
169
170 // Create symbols for the parameters
171
2/2
✓ Branch 74 → 75 taken 9588 times.
✓ Branch 74 → 78 taken 2836 times.
 12424 if (node->hasParams)
172
1/2
✓ Branch 75 → 76 taken 9588 times.
✗ Branch 75 → 132 not taken.
 9588 visit(node->paramLst);
173
174 // Visit the procedure body
175
1/2
✓ Branch 78 → 79 taken 12424 times.
✗ Branch 78 → 133 not taken.
 12424 visit(node->body);
176
177 // Leave procedure body scope
178 12424 currentScope = node->scope->parent;
179
180 // Insert symbol for procedure into the symbol table
181
1/2
✓ Branch 80 → 81 taken 12424 times.
✗ Branch 80 → 136 not taken.
 24848 node->entry = currentScope->insert(node->getSymbolTableEntryName(), node);
182
183 // Add to external name registry
184 // if a procedure has overloads, they both refer to the same entry in the registry. So we only register the name once
185 12424 const NameRegistryEntry *existingRegistryEntry = sourceFile->getNameRegistryEntry(node->name->fqName);
186
3/4
✓ Branch 86 → 87 taken 2901 times.
✓ Branch 86 → 88 taken 9523 times.
✓ Branch 87 → 88 taken 2901 times.
✗ Branch 87 → 89 not taken.
 12424 if (!existingRegistryEntry || existingRegistryEntry->targetEntry != node->entry)
187 12424 sourceFile->addNameRegistryEntry(node->name->fqName, TY_PROCEDURE, node->entry, currentScope, true);
188
189 // Leave the struct scope
190
2/2
✓ Branch 89 → 90 taken 10496 times.
✓ Branch 89 → 91 taken 1928 times.
 12424 if (node->isMethod)
191 10496 currentScope = node->structScope->parent;
192
193 // Check if this is a constructor
194 12424 node->isCtor = node->name->nameFragments.back() == CTOR_FUNCTION_NAME;
195
196
1/2
✓ Branch 93 → 94 taken 12424 times.
✗ Branch 93 → 137 not taken.
 24848 return nullptr;
197 }
198
199 3180 std::any SymbolTableBuilder::visitStructDef(StructDefNode *node) {
200 // Visit attributes
201
2/2
✓ Branch 2 → 3 taken 122 times.
✓ Branch 2 → 6 taken 3058 times.
 3180 if (node->attrs)
202
1/2
✓ Branch 3 → 4 taken 122 times.
✗ Branch 3 → 79 not taken.
 122 visit(node->attrs);
203
204 // Check if this name already exists
205
3/4
✓ Branch 6 → 7 taken 3180 times.
✗ Branch 6 → 110 not taken.
✓ Branch 9 → 10 taken 1 time.
✓ Branch 9 → 17 taken 3179 times.
 6360 if (rootScope->lookupStrict(node->structName))
206
3/6
✓ Branch 11 → 12 taken 1 time.
✗ Branch 11 → 85 not taken.
✓ Branch 12 → 13 taken 1 time.
✗ Branch 12 → 83 not taken.
✓ Branch 13 → 14 taken 1 time.
✗ Branch 13 → 80 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->structName + "'");
207
208 // Create scope for the struct
209
1/2
✓ Branch 18 → 19 taken 3179 times.
✗ Branch 18 → 89 not taken.
 3179 const std::string &scopeName = Struct::getScopeName(node->structName);
210
1/2
✓ Branch 20 → 21 taken 3179 times.
✗ Branch 20 → 108 not taken.
 3179 node->structScope = currentScope = rootScope->createChildScope(scopeName, ScopeType::STRUCT, &node->codeLoc);
211 3179 currentScope->isGenericScope = node->hasTemplateTypes;
212
213 // Insert implicit field for each interface type
214
2/2
✓ Branch 21 → 22 taken 354 times.
✓ Branch 21 → 43 taken 2825 times.
 3179 if (node->hasInterfaces) {
215
2/2
✓ Branch 41 → 24 taken 354 times.
✓ Branch 41 → 42 taken 354 times.
 1062 for (DataTypeNode *interfaceNode : node->interfaceTypeLst->dataTypes) {
216 354 const std::string &interfaceName = interfaceNode->baseDataType->customDataType->typeNameFragments.back();
217
1/2
✓ Branch 27 → 28 taken 354 times.
✗ Branch 27 → 94 not taken.
 708 SymbolTableEntry *interfaceFieldEntry = currentScope->insert("this." + interfaceName, interfaceNode);
218 354 interfaceFieldEntry->used = true;
219 354 interfaceFieldEntry->isImplicitField = true;
220 }
221 }
222
223 // Visit children
224
2/2
✓ Branch 43 → 44 taken 3178 times.
✓ Branch 43 → 96 taken 1 time.
 3179 visitChildren(node);
225
226 // Leave the struct scope
227 3178 currentScope = node->structScope->parent;
228
229 // Build struct qualifiers
230
2/2
✓ Branch 45 → 46 taken 2895 times.
✓ Branch 45 → 70 taken 283 times.
 3178 if (const QualifierLstNode *qualifierLst = node->qualifierLst) {
231
2/2
✓ Branch 68 → 48 taken 2895 times.
✓ Branch 68 → 69 taken 2895 times.
 8685 for (const QualifierNode *qualifier : qualifierLst->qualifiers) {
232
1/2
✓ Branch 50 → 51 taken 2895 times.
✗ Branch 50 → 54 not taken.
 2895 if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
233 2895 node->qualifiers.isPublic = true;
234 else
235 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on a struct definition");
236 }
237 }
238
239 // Add the struct to the symbol table
240
1/2
✓ Branch 70 → 71 taken 3178 times.
✗ Branch 70 → 108 not taken.
 3178 node->entry = rootScope->insert(node->structName, node);
241 // Register the name in the exported name registry
242
1/2
✓ Branch 73 → 74 taken 3178 times.
✗ Branch 73 → 108 not taken.
 3178 sourceFile->addNameRegistryEntry(node->structName, node->typeId, node->entry, node->structScope, true);
243
244
1/2
✓ Branch 74 → 75 taken 3178 times.
✗ Branch 74 → 107 not taken.
 6356 return nullptr;
245 3179 }
246
247 398 std::any SymbolTableBuilder::visitInterfaceDef(InterfaceDefNode *node) {
248 // Visit attributes
249
2/2
✓ Branch 2 → 3 taken 181 times.
✓ Branch 2 → 6 taken 217 times.
 398 if (node->attrs)
250
1/2
✓ Branch 3 → 4 taken 181 times.
✗ Branch 3 → 71 not taken.
 181 visit(node->attrs);
251
252 // Check if this name already exists
253
3/4
✓ Branch 6 → 7 taken 398 times.
✗ Branch 6 → 99 not taken.
✓ Branch 9 → 10 taken 1 time.
✓ Branch 9 → 17 taken 397 times.
 796 if (rootScope->lookupStrict(node->interfaceName))
254
3/6
✓ Branch 11 → 12 taken 1 time.
✗ Branch 11 → 77 not taken.
✓ Branch 12 → 13 taken 1 time.
✗ Branch 12 → 75 not taken.
✓ Branch 13 → 14 taken 1 time.
✗ Branch 13 → 72 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->interfaceName + "'");
255
256 // Create scope for the interface
257
1/2
✓ Branch 18 → 19 taken 397 times.
✗ Branch 18 → 81 not taken.
 397 const std::string &scopeName = Interface::getScopeName(node->interfaceName);
258
1/2
✓ Branch 20 → 21 taken 397 times.
✗ Branch 20 → 97 not taken.
 397 node->interfaceScope = currentScope = rootScope->createChildScope(scopeName, ScopeType::INTERFACE, &node->codeLoc);
259
260 // Visit signatures
261
2/2
✓ Branch 36 → 23 taken 2423 times.
✓ Branch 36 → 37 taken 397 times.
 3217 for (SignatureNode *signature : node->signatures)
262
1/2
✓ Branch 25 → 26 taken 2423 times.
✗ Branch 25 → 84 not taken.
 2423 visit(signature);
263
264 // Leave the interface scope
265 397 currentScope = node->interfaceScope->parent;
266
267 // Build interface qualifiers
268
2/2
✓ Branch 37 → 38 taken 377 times.
✓ Branch 37 → 62 taken 20 times.
 397 if (const QualifierLstNode *qualifierLst = node->qualifierLst) {
269
2/2
✓ Branch 60 → 40 taken 377 times.
✓ Branch 60 → 61 taken 377 times.
 1131 for (const QualifierNode *qualifier : qualifierLst->qualifiers) {
270
1/2
✓ Branch 42 → 43 taken 377 times.
✗ Branch 42 → 46 not taken.
 377 if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
271 377 node->qualifiers.isPublic = true;
272 else
273 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on an interface definition");
274 }
275 }
276
277 // Add the interface to the symbol table
278
1/2
✓ Branch 62 → 63 taken 397 times.
✗ Branch 62 → 97 not taken.
 397 node->entry = rootScope->insert(node->interfaceName, node);
279 // Register the name in the exported name registry
280
1/2
✓ Branch 65 → 66 taken 397 times.
✗ Branch 65 → 97 not taken.
 397 sourceFile->addNameRegistryEntry(node->interfaceName, node->typeId, node->entry, node->interfaceScope, true);
281
282
1/2
✓ Branch 66 → 67 taken 397 times.
✗ Branch 66 → 96 not taken.
 794 return nullptr;
283 397 }
284
285 384 std::any SymbolTableBuilder::visitEnumDef(EnumDefNode *node) {
286 // Check if this name already exists
287
2/2
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 383 times.
 768 if (rootScope->lookupStrict(node->enumName))
288
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 56 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 54 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 51 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->enumName + "'");
289
290 // Create scope for the enum
291 383 node->enumScope = currentScope =
292
2/4
✓ Branch 13 → 14 taken 383 times.
✗ Branch 13 → 62 not taken.
✓ Branch 14 → 15 taken 383 times.
✗ Branch 14 → 60 not taken.
 383 rootScope->createChildScope(ENUM_SCOPE_PREFIX + node->enumName, ScopeType::ENUM, &node->codeLoc);
293
294 // Visit items
295
2/2
✓ Branch 16 → 17 taken 382 times.
✓ Branch 16 → 63 taken 1 time.
 383 visit(node->itemLst);
296
297 // Leave the enum scope
298 382 currentScope = node->enumScope->parent;
299
300 // Build enum qualifiers
301
2/2
✓ Branch 18 → 19 taken 343 times.
✓ Branch 18 → 43 taken 39 times.
 382 if (node->qualifierLst) {
302
2/2
✓ Branch 41 → 21 taken 343 times.
✓ Branch 41 → 42 taken 343 times.
 1029 for (const QualifierNode *qualifier : node->qualifierLst->qualifiers) {
303
1/2
✓ Branch 23 → 24 taken 343 times.
✗ Branch 23 → 27 not taken.
 343 if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
304 343 node->qualifiers.isPublic = true;
305 else
306 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on an enum definition");
307 }
308 }
309
310 // Add the enum to the symbol table
311 382 node->entry = rootScope->insert(node->enumName, node);
312 // Register the name in the exported name registry
313 382 sourceFile->addNameRegistryEntry(node->enumName, node->typeId, node->entry, node->enumScope, true);
314
315
1/2
✓ Branch 47 → 48 taken 382 times.
✗ Branch 47 → 74 not taken.
 764 return nullptr;
316 }
317
318 2177 std::any SymbolTableBuilder::visitGenericTypeDef(GenericTypeDefNode *node) {
319 // Check if this name already exists
320
2/2
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 2176 times.
 4354 if (rootScope->lookupStrict(node->typeName))
321
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 25 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 23 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 20 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->typeName + "'");
322
323 // Create the generic type to the symbol table
324 2176 node->entry = rootScope->insert(node->typeName, node);
325 2176 node->entry->used = true; // Generic types are always used
326
327
1/2
✓ Branch 16 → 17 taken 2176 times.
✗ Branch 16 → 29 not taken.
 4352 return nullptr;
328 }
329
330 350 std::any SymbolTableBuilder::visitAliasDef(AliasDefNode *node) {
331 // Check if this name already exists
332
3/4
✓ Branch 2 → 3 taken 350 times.
✗ Branch 2 → 73 not taken.
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 349 times.
 700 if (rootScope->lookupStrict(node->aliasName))
333
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 56 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 54 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 51 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->aliasName + "'");
334
335 // Build alias qualifiers
336
2/2
✓ Branch 13 → 14 taken 110 times.
✓ Branch 13 → 38 taken 239 times.
 349 if (const QualifierLstNode *qualifierLst = node->qualifierLst) {
337
2/2
✓ Branch 36 → 16 taken 110 times.
✓ Branch 36 → 37 taken 110 times.
 330 for (const QualifierNode *qualifier : qualifierLst->qualifiers) {
338
1/2
✓ Branch 18 → 19 taken 110 times.
✗ Branch 18 → 22 not taken.
 110 if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
339 110 node->qualifiers.isPublic = true;
340 else
341 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on an alias definition");
342 }
343 }
344
345 // Add the alias to the symbol table
346
1/2
✓ Branch 38 → 39 taken 349 times.
✗ Branch 38 → 73 not taken.
 349 node->entry = rootScope->insert(node->aliasName, node);
347 // Register the name in the exported name registry
348
1/2
✓ Branch 41 → 42 taken 349 times.
✗ Branch 41 → 73 not taken.
 349 sourceFile->addNameRegistryEntry(node->aliasName, node->typeId, node->entry, rootScope, true);
349
350 // Add another symbol for the aliased type container
351
1/2
✓ Branch 42 → 43 taken 349 times.
✗ Branch 42 → 73 not taken.
 349 const std::string aliasedTypeContainerName = node->aliasName + ALIAS_CONTAINER_SUFFIX;
352
1/2
✓ Branch 43 → 44 taken 349 times.
✗ Branch 43 → 71 not taken.
 349 node->aliasedTypeContainerEntry = rootScope->insert(aliasedTypeContainerName, node);
353
354
1/2
✓ Branch 46 → 47 taken 349 times.
✗ Branch 46 → 70 not taken.
 698 return nullptr;
355 349 }
356
357 2685 std::any SymbolTableBuilder::visitGlobalVarDef(GlobalVarDefNode *node) {
358 // Check if this name already exists
359
2/2
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 2684 times.
 5370 if (rootScope->lookupStrict(node->varName))
360
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 43 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 41 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 38 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->varName + "'");
361
362 // Check if global already exists in an imported source file
363
5/8
✓ Branch 13 → 14 taken 2684 times.
✗ Branch 13 → 56 not taken.
✓ Branch 14 → 15 taken 2684 times.
✗ Branch 14 → 56 not taken.
✓ Branch 15 → 16 taken 2684 times.
✗ Branch 15 → 56 not taken.
✓ Branch 29 → 17 taken 5431 times.
✓ Branch 29 → 30 taken 2683 times.
 8114 for (const auto &dependency : sourceFile->dependencies | std::views::values)
364
3/4
✓ Branch 18 → 19 taken 5431 times.
✗ Branch 18 → 56 not taken.
✓ Branch 19 → 20 taken 1 time.
✓ Branch 19 → 27 taken 5430 times.
 5431 if (dependency->exportedNameRegistry.contains(node->varName))
365
3/6
✓ Branch 21 → 22 taken 1 time.
✗ Branch 21 → 52 not taken.
✓ Branch 22 → 23 taken 1 time.
✗ Branch 22 → 50 not taken.
✓ Branch 23 → 24 taken 1 time.
✗ Branch 23 → 47 not taken.
 1 throw SemanticError(node, GLOBAL_DECLARED_TWICE, "Duplicate global variable '" + node->varName + "' in other module");
366
367 // Add the global to the symbol table
368 2683 node->entry = rootScope->insert(node->varName, node);
369 // Register the name in the exported name registry
370 2683 sourceFile->addNameRegistryEntry(node->varName, TY_INVALID, node->entry, currentScope, true);
371
372
1/2
✓ Branch 34 → 35 taken 2683 times.
✗ Branch 34 → 57 not taken.
 5366 return nullptr;
373 }
374
375 3916 std::any SymbolTableBuilder::visitExtDecl(ExtDeclNode *node) {
376 // Visit attributes
377
2/2
✓ Branch 2 → 3 taken 1 time.
✓ Branch 2 → 6 taken 3915 times.
 3916 if (node->attrs)
378
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 31 not taken.
 1 visit(node->attrs);
379
380 // Check if this name already exists
381
2/2
✓ Branch 9 → 10 taken 1 time.
✓ Branch 9 → 17 taken 3915 times.
 7832 if (rootScope->lookupStrict(node->extFunctionName))
382
3/6
✓ Branch 11 → 12 taken 1 time.
✗ Branch 11 → 37 not taken.
✓ Branch 12 → 13 taken 1 time.
✗ Branch 12 → 35 not taken.
✓ Branch 13 → 14 taken 1 time.
✗ Branch 13 → 32 not taken.
 1 throw SemanticError(node, DUPLICATE_SYMBOL, "Duplicate symbol '" + node->extFunctionName + "'");
383
384 // Create scope for the external function (this is required in case of forceSubstantiation in FunctionManager::matchFunction)
385
2/4
✓ Branch 17 → 18 taken 3915 times.
✗ Branch 17 → 43 not taken.
✓ Branch 18 → 19 taken 3915 times.
✗ Branch 18 → 41 not taken.
 3915 rootScope->createChildScope(node->getScopeId(), ScopeType::FUNC_PROC_BODY, &node->codeLoc);
386
387 // Add the external declaration to the symbol table
388 3915 node->entry = rootScope->insert(node->extFunctionName, node);
389 // Register the name in the exported name registry
390
2/2
✓ Branch 23 → 24 taken 3114 times.
✓ Branch 23 → 25 taken 801 times.
 3915 const uint64_t typeId = node->returnType ? TY_FUNCTION : TY_PROCEDURE;
391 3915 sourceFile->addNameRegistryEntry(node->extFunctionName, typeId, node->entry, rootScope, /*keepNewOnCollision=*/true);
392
393
1/2
✓ Branch 27 → 28 taken 3915 times.
✗ Branch 27 → 44 not taken.
 7830 return nullptr;
394 }
395
396 8462 std::any SymbolTableBuilder::visitUnsafeBlock(UnsafeBlockNode *node) {
397 // Create scope for the unsafe block body
398 8462 node->bodyScope = currentScope =
399
2/4
✓ Branch 2 → 3 taken 8462 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 8462 times.
✗ Branch 3 → 11 not taken.
 8462 currentScope->createChildScope(node->getScopeId(), ScopeType::UNSAFE_BODY, &node->body->codeLoc);
400
401 // Visit body
402
1/2
✓ Branch 5 → 6 taken 8462 times.
✗ Branch 5 → 14 not taken.
 8462 visit(node->body);
403
404 // Leave thread body scope
405 8462 currentScope = node->bodyScope->parent;
406
407
1/2
✓ Branch 7 → 8 taken 8462 times.
✗ Branch 7 → 15 not taken.
 16924 return nullptr;
408 }
409
410 2883 std::any SymbolTableBuilder::visitForLoop(ForLoopNode *node) {
411 // Create scope for the loop body
412
2/4
✓ Branch 2 → 3 taken 2883 times.
✗ Branch 2 → 15 not taken.
✓ Branch 3 → 4 taken 2883 times.
✗ Branch 3 → 13 not taken.
 2883 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::FOR_BODY, &node->body->codeLoc);
413
414 // Visit loop variable declaration
415
1/2
✓ Branch 5 → 6 taken 2883 times.
✗ Branch 5 → 16 not taken.
 2883 visit(node->initDecl);
416
417 // Visit body
418
1/2
✓ Branch 7 → 8 taken 2883 times.
✗ Branch 7 → 17 not taken.
 2883 visit(node->body);
419
420 // Leave for body scope
421 2883 currentScope = node->bodyScope->parent;
422
423
1/2
✓ Branch 9 → 10 taken 2883 times.
✗ Branch 9 → 18 not taken.
 5766 return nullptr;
424 }
425
426 404 std::any SymbolTableBuilder::visitForeachLoop(ForeachLoopNode *node) {
427 // Create scope for the loop body
428 404 node->bodyScope = currentScope =
429
2/4
✓ Branch 2 → 3 taken 404 times.
✗ Branch 2 → 19 not taken.
✓ Branch 3 → 4 taken 404 times.
✗ Branch 3 → 17 not taken.
 404 currentScope->createChildScope(node->getScopeId(), ScopeType::FOREACH_BODY, &node->body->codeLoc);
430
431 // Visit index variable declaration
432
2/2
✓ Branch 5 → 6 taken 58 times.
✓ Branch 5 → 9 taken 346 times.
 404 if (node->idxVarDecl)
433
1/2
✓ Branch 6 → 7 taken 58 times.
✗ Branch 6 → 20 not taken.
 58 visit(node->idxVarDecl);
434
435 // Visit item variable declaration
436
1/2
✓ Branch 9 → 10 taken 404 times.
✗ Branch 9 → 21 not taken.
 404 visit(node->itemVarDecl);
437
438 // Visit body
439
1/2
✓ Branch 11 → 12 taken 404 times.
✗ Branch 11 → 22 not taken.
 404 visit(node->body);
440
441 // Leave foreach body scope
442 404 currentScope = node->bodyScope->parent;
443
444
1/2
✓ Branch 13 → 14 taken 404 times.
✗ Branch 13 → 23 not taken.
 808 return nullptr;
445 }
446
447 1463 std::any SymbolTableBuilder::visitWhileLoop(WhileLoopNode *node) {
448 // Create scope for the loop body
449 1463 node->bodyScope = currentScope =
450
2/4
✓ Branch 2 → 3 taken 1463 times.
✗ Branch 2 → 15 not taken.
✓ Branch 3 → 4 taken 1463 times.
✗ Branch 3 → 13 not taken.
 1463 currentScope->createChildScope(node->getScopeId(), ScopeType::WHILE_BODY, &node->body->codeLoc);
451
452 // Visit condition
453
1/2
✓ Branch 5 → 6 taken 1463 times.
✗ Branch 5 → 16 not taken.
 1463 visit(node->condition);
454
455 // Visit body
456
1/2
✓ Branch 7 → 8 taken 1463 times.
✗ Branch 7 → 17 not taken.
 1463 visit(node->body);
457
458 // Leave while body scope
459 1463 currentScope = node->bodyScope->parent;
460
461
1/2
✓ Branch 9 → 10 taken 1463 times.
✗ Branch 9 → 18 not taken.
 2926 return nullptr;
462 }
463
464 17 std::any SymbolTableBuilder::visitDoWhileLoop(DoWhileLoopNode *node) {
465 // Create scope for the loop body
466 17 node->bodyScope = currentScope =
467
2/4
✓ Branch 2 → 3 taken 17 times.
✗ Branch 2 → 15 not taken.
✓ Branch 3 → 4 taken 17 times.
✗ Branch 3 → 13 not taken.
 17 currentScope->createChildScope(node->getScopeId(), ScopeType::WHILE_BODY, &node->body->codeLoc);
468
469 // Visit condition
470
1/2
✓ Branch 5 → 6 taken 17 times.
✗ Branch 5 → 16 not taken.
 17 visit(node->condition);
471
472 // Visit body
473
1/2
✓ Branch 7 → 8 taken 17 times.
✗ Branch 7 → 17 not taken.
 17 visit(node->body);
474
475 // Leave do-while body scope
476 17 currentScope = node->bodyScope->parent;
477
478
1/2
✓ Branch 9 → 10 taken 17 times.
✗ Branch 9 → 18 not taken.
 34 return nullptr;
479 }
480
481 17722 std::any SymbolTableBuilder::visitIfStmt(IfStmtNode *node) {
482 // Create scope for the then body
483 17722 node->thenBodyScope = currentScope =
484
2/4
✓ Branch 2 → 3 taken 17722 times.
✗ Branch 2 → 27 not taken.
✓ Branch 3 → 4 taken 17722 times.
✗ Branch 3 → 25 not taken.
 17722 currentScope->createChildScope(node->getScopeId(), ScopeType::IF_ELSE_BODY, &node->thenBody->codeLoc);
485
486 // Visit condition
487
1/2
✓ Branch 5 → 6 taken 17722 times.
✗ Branch 5 → 28 not taken.
 17722 visit(node->condition);
488
489 // Visit then body (manifestations do not exist yet, so both branches are always visited here)
490
1/2
✓ Branch 8 → 9 taken 17722 times.
✗ Branch 8 → 12 not taken.
 17722 if (node->doCompileThenBranch(manIdx))
491
1/2
✓ Branch 9 → 10 taken 17722 times.
✗ Branch 9 → 29 not taken.
 17722 visit(node->thenBody);
492
493 // Leave then body scope
494 17722 currentScope = node->thenBodyScope->parent;
495
496 // Visit else stmt
497
5/6
✓ Branch 13 → 14 taken 17722 times.
✗ Branch 13 → 16 not taken.
✓ Branch 14 → 15 taken 1419 times.
✓ Branch 14 → 16 taken 16303 times.
✓ Branch 17 → 18 taken 1419 times.
✓ Branch 17 → 21 taken 16303 times.
 17722 if (node->doCompileElseBranch(manIdx) && node->elseStmt)
498
1/2
✓ Branch 18 → 19 taken 1419 times.
✗ Branch 18 → 30 not taken.
 1419 visit(node->elseStmt);
499
500
1/2
✓ Branch 21 → 22 taken 17722 times.
✗ Branch 21 → 31 not taken.
 35444 return nullptr;
501 }
502
503 1419 std::any SymbolTableBuilder::visitElseStmt(ElseStmtNode *node) {
504 // Visit if statement in the case of an else if branch
505
2/2
✓ Branch 2 → 3 taken 577 times.
✓ Branch 2 → 8 taken 842 times.
 1419 if (node->isElseIf) {
506
1/2
✓ Branch 3 → 4 taken 577 times.
✗ Branch 3 → 17 not taken.
 577 visit(node->ifStmt);
507
1/2
✓ Branch 5 → 6 taken 577 times.
✗ Branch 5 → 18 not taken.
 1154 return nullptr;
508 }
509
510 // Create scope for the else body
511 842 node->elseBodyScope = currentScope =
512
2/4
✓ Branch 8 → 9 taken 842 times.
✗ Branch 8 → 21 not taken.
✓ Branch 9 → 10 taken 842 times.
✗ Branch 9 → 19 not taken.
 842 currentScope->createChildScope(node->getScopeId(), ScopeType::IF_ELSE_BODY, &node->body->codeLoc);
513
514 // Visit else body
515
1/2
✓ Branch 11 → 12 taken 842 times.
✗ Branch 11 → 22 not taken.
 842 visit(node->body);
516
517 // Leave else body scope
518 842 currentScope = node->elseBodyScope->parent;
519
520
1/2
✓ Branch 13 → 14 taken 842 times.
✗ Branch 13 → 23 not taken.
 1684 return nullptr;
521 }
522
523 768 std::any SymbolTableBuilder::visitCaseBranch(CaseBranchNode *node) {
524 // Create scope for the case branch
525
2/4
✓ Branch 2 → 3 taken 768 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 768 times.
✗ Branch 3 → 11 not taken.
 768 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::CASE_BODY, &node->body->codeLoc);
526
527 // Visit case body
528
1/2
✓ Branch 5 → 6 taken 768 times.
✗ Branch 5 → 14 not taken.
 768 visit(node->body);
529
530 // Leave case body scope
531 768 currentScope = node->bodyScope->parent;
532
533
1/2
✓ Branch 7 → 8 taken 768 times.
✗ Branch 7 → 15 not taken.
 1536 return nullptr;
534 }
535
536 78 std::any SymbolTableBuilder::visitDefaultBranch(DefaultBranchNode *node) {
537 // Create scope for the default branch
538 78 node->bodyScope = currentScope =
539
2/4
✓ Branch 2 → 3 taken 78 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 78 times.
✗ Branch 3 → 11 not taken.
 78 currentScope->createChildScope(node->getScopeId(), ScopeType::DEFAULT_BODY, &node->body->codeLoc);
540
541 // Visit default body
542
1/2
✓ Branch 5 → 6 taken 78 times.
✗ Branch 5 → 14 not taken.
 78 visit(node->body);
543
544 // Leave default body scope
545 78 currentScope = node->bodyScope->parent;
546
547
1/2
✓ Branch 7 → 8 taken 78 times.
✗ Branch 7 → 15 not taken.
 156 return nullptr;
548 }
549
550 66 std::any SymbolTableBuilder::visitAnonymousBlockStmt(AnonymousBlockStmtNode *node) {
551 // Create scope for the anonymous block body
552 66 node->bodyScope = currentScope =
553
2/4
✓ Branch 2 → 3 taken 66 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 66 times.
✗ Branch 3 → 11 not taken.
 66 currentScope->createChildScope(node->getScopeId(), ScopeType::ANONYMOUS_BLOCK_BODY, &node->body->codeLoc);
554
555 // Visit body
556
1/2
✓ Branch 5 → 6 taken 66 times.
✗ Branch 5 → 14 not taken.
 66 visit(node->body);
557
558 // Leave anonymous block body scope
559 66 currentScope = node->bodyScope->parent;
560
561
1/2
✓ Branch 7 → 8 taken 66 times.
✗ Branch 7 → 15 not taken.
 132 return nullptr;
562 }
563
564 5028 std::any SymbolTableBuilder::visitEnumItem(EnumItemNode *node) {
565 // Check if enum item already exists in the same scope.
566
3/4
✓ Branch 2 → 3 taken 5028 times.
✗ Branch 2 → 42 not taken.
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 5027 times.
 10056 if (currentScope->lookupStrict(node->itemName))
567
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 32 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 30 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 27 not taken.
 1 throw SemanticError(node, VARIABLE_DECLARED_TWICE, "The enum item '" + node->itemName + "' was declared more than once");
568
569 // Add enum item entry to symbol table
570
1/2
✓ Branch 13 → 14 taken 5027 times.
✗ Branch 13 → 42 not taken.
 5027 SymbolTableEntry *enumItemEntry = currentScope->insert(node->itemName, node);
571
572 // Add external registry entry
573
1/2
✗ Branch 16 → 17 not taken.
✓ Branch 16 → 18 taken 5027 times.
 5027 assert(node->enumDef != nullptr);
574
2/4
✓ Branch 18 → 19 taken 5027 times.
✗ Branch 18 → 38 not taken.
✓ Branch 19 → 20 taken 5027 times.
✗ Branch 19 → 36 not taken.
 5027 const std::string name = node->enumDef->enumName + SCOPE_ACCESS_TOKEN + node->itemName;
575
1/2
✓ Branch 21 → 22 taken 5027 times.
✗ Branch 21 → 40 not taken.
 5027 sourceFile->addNameRegistryEntry(name, TY_INT, enumItemEntry, currentScope, true);
576
577
1/2
✓ Branch 22 → 23 taken 5027 times.
✗ Branch 22 → 39 not taken.
 10054 return nullptr;
578 5027 }
579
580 6007 std::any SymbolTableBuilder::visitField(FieldNode *node) {
581 // Check if field already exists in the same scope.
582
2/2
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 6006 times.
 12014 if (currentScope->lookupStrict(node->fieldName))
583
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 25 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 23 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 20 not taken.
 1 throw SemanticError(node, VARIABLE_DECLARED_TWICE, "The field '" + node->fieldName + "' was declared more than once");
584
585 // Add field entry to symbol table
586 6006 currentScope->insert(node->fieldName, node);
587
588
1/2
✓ Branch 16 → 17 taken 6006 times.
✗ Branch 16 → 29 not taken.
 12012 return nullptr;
589 }
590
591 2423 std::any SymbolTableBuilder::visitSignature(SignatureNode *node) {
592 // Build signature qualifiers
593
2/2
✓ Branch 2 → 3 taken 2377 times.
✓ Branch 2 → 32 taken 46 times.
 2423 if (const QualifierLstNode *qualifierLst = node->qualifierLst) {
594
2/2
✓ Branch 30 → 5 taken 2513 times.
✓ Branch 30 → 31 taken 2377 times.
 7267 for (const QualifierNode *qualifier : qualifierLst->qualifiers) {
595
1/2
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 9 taken 2513 times.
 2513 if (qualifier->type == QualifierNode::QualifierType::TY_INLINE)
596 ✗ node->signatureQualifiers.isInline = true;
597
2/2
✓ Branch 9 → 10 taken 2377 times.
✓ Branch 9 → 11 taken 136 times.
 2513 else if (qualifier->type == QualifierNode::QualifierType::TY_PUBLIC)
598 2377 node->signatureQualifiers.isPublic = true;
599
1/2
✓ Branch 11 → 12 taken 136 times.
✗ Branch 11 → 13 not taken.
 136 else if (qualifier->type == QualifierNode::QualifierType::TY_CONST)
600 136 node->signatureQualifiers.isConst = true;
601 else
602 ✗ throw SemanticError(qualifier, QUALIFIER_AT_ILLEGAL_CONTEXT, "Cannot use this qualifier on a signature definition");
603 }
604 }
605
606 // Add signature entry to symbol table. We append the code location to disambiguate overloaded signatures
607 // (e.g. an interface declaring `getName()` and `getName(bool)`).
608
1/2
✓ Branch 32 → 33 taken 2423 times.
✗ Branch 32 → 53 not taken.
 4846 node->entry = currentScope->insert(Function::getSymbolTableEntryName(node->methodName, node->codeLoc), node);
609
610
1/2
✓ Branch 37 → 38 taken 2423 times.
✗ Branch 37 → 54 not taken.
 4846 return nullptr;
611 }
612
613 61018 std::any SymbolTableBuilder::visitDeclStmt(DeclStmtNode *node) {
614 // Check if variable already exists in the same scope.
615
2/2
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 61017 times.
 122036 if (currentScope->lookupStrict(node->varName))
616
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 29 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 27 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 24 not taken.
 1 throw SemanticError(node, VARIABLE_DECLARED_TWICE, "The variable '" + node->varName + "' was declared more than once");
617
618 // Visit the right side
619
2/2
✓ Branch 13 → 14 taken 22748 times.
✓ Branch 13 → 17 taken 38269 times.
 61017 if (node->hasAssignment)
620
1/2
✓ Branch 14 → 15 taken 22748 times.
✗ Branch 14 → 33 not taken.
 22748 visit(node->assignExpr);
621
622 // Add variable entry to symbol table
623 61017 SymbolTableEntry *varEntry = currentScope->insert(node->varName, node);
624 61017 varEntry->isParam = node->isFctParam;
625
626
1/2
✓ Branch 20 → 21 taken 61017 times.
✗ Branch 20 → 34 not taken.
 122034 return nullptr;
627 }
628
629 793 std::any SymbolTableBuilder::visitModAttr(ModAttrNode *node) {
630 // Visit attributes
631
2/2
✓ Branch 2 → 3 taken 792 times.
✓ Branch 2 → 126 taken 1 time.
 793 visitChildren(node);
632
633 // Retrieve attributes
634 792 const AttrLstNode *attrs = node->attrLst;
635
636 // Collect linker flags
637 792 std::vector<const CompileTimeValue *> linkerFlagValues;
638 // core.linker.flag
639
2/4
✓ Branch 6 → 7 taken 792 times.
✗ Branch 6 → 129 not taken.
✓ Branch 7 → 8 taken 792 times.
✗ Branch 7 → 127 not taken.
 1584 std::vector<const CompileTimeValue *> values = attrs->getAttrValuesByName(ATTR_CORE_LINKER_FLAG);
640
1/2
✓ Branch 16 → 17 taken 792 times.
✗ Branch 16 → 133 not taken.
 1584 linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
641 // core.linux.linker.flag
642 792 const llvm::Triple &targetTriple = sourceFile->targetMachine->getTargetTriple();
643
2/2
✓ Branch 20 → 21 taken 782 times.
✓ Branch 20 → 37 taken 10 times.
 792 if (targetTriple.isOSLinux()) {
644
2/4
✓ Branch 23 → 24 taken 782 times.
✗ Branch 23 → 137 not taken.
✓ Branch 24 → 25 taken 782 times.
✗ Branch 24 → 135 not taken.
 1564 values = attrs->getAttrValuesByName(ATTR_CORE_LINUX_LINKER_FLAG);
645
1/2
✓ Branch 35 → 36 taken 782 times.
✗ Branch 35 → 142 not taken.
 1564 linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
646 }
647 // core.darwin.linker.flag
648
3/4
✓ Branch 37 → 38 taken 792 times.
✗ Branch 37 → 187 not taken.
✓ Branch 38 → 39 taken 5 times.
✓ Branch 38 → 55 taken 787 times.
 792 if (targetTriple.isOSDarwin()) {
649
2/4
✓ Branch 41 → 42 taken 5 times.
✗ Branch 41 → 146 not taken.
✓ Branch 42 → 43 taken 5 times.
✗ Branch 42 → 144 not taken.
 10 values = attrs->getAttrValuesByName(ATTR_CORE_DARWIN_LINKER_FLAG);
650
1/2
✓ Branch 53 → 54 taken 5 times.
✗ Branch 53 → 151 not taken.
 10 linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
651 }
652 // core.windows.linker.flag
653
2/2
✓ Branch 56 → 57 taken 5 times.
✓ Branch 56 → 73 taken 787 times.
 792 if (targetTriple.isOSWindows()) {
654
2/4
✓ Branch 59 → 60 taken 5 times.
✗ Branch 59 → 155 not taken.
✓ Branch 60 → 61 taken 5 times.
✗ Branch 60 → 153 not taken.
 10 values = attrs->getAttrValuesByName(ATTR_CORE_WINDOWS_LINKER_FLAG);
655
1/2
✓ Branch 71 → 72 taken 5 times.
✗ Branch 71 → 160 not taken.
 10 linkerFlagValues.insert(linkerFlagValues.end(), values.begin(), values.end());
656 }
657
2/2
✓ Branch 89 → 75 taken 1493 times.
✓ Branch 89 → 90 taken 792 times.
 3077 for (const CompileTimeValue *value : linkerFlagValues) {
658
1/2
✓ Branch 77 → 78 taken 1493 times.
✗ Branch 77 → 162 not taken.
 1493 const std::string &flag = resourceManager.compileTimeStringValues.at(value->stringValueOffset);
659
1/2
✓ Branch 78 → 79 taken 1493 times.
✗ Branch 78 → 162 not taken.
 1493 resourceManager.linker.addLinkerFlag(flag);
660
1/2
✓ Branch 79 → 80 taken 1493 times.
✗ Branch 79 → 162 not taken.
 1493 sourceFile->sourceLinkerFlags.push_back(flag);
661 }
662
663 // core.linker.additionalSource
664
4/6
✓ Branch 90 → 91 taken 792 times.
✗ Branch 90 → 165 not taken.
✓ Branch 91 → 92 taken 792 times.
✗ Branch 91 → 163 not taken.
✓ Branch 116 → 94 taken 12 times.
✓ Branch 116 → 117 taken 791 times.
 1595 for (const CompileTimeValue *value : attrs->getAttrValuesByName(ATTR_CORE_LINKER_ADDITIONAL_SOURCE)) {
665
1/2
✓ Branch 96 → 97 taken 12 times.
✗ Branch 96 → 178 not taken.
 12 const std::string &stringValue = resourceManager.compileTimeStringValues.at(value->stringValueOffset);
666
3/6
✓ Branch 97 → 98 taken 12 times.
✗ Branch 97 → 172 not taken.
✓ Branch 98 → 99 taken 12 times.
✗ Branch 98 → 169 not taken.
✓ Branch 99 → 100 taken 12 times.
✗ Branch 99 → 167 not taken.
 12 const std::filesystem::path additionalSourcePath = sourceFile->filePath.parent_path() / stringValue;
667
3/4
✓ Branch 102 → 103 taken 12 times.
✗ Branch 102 → 175 not taken.
✓ Branch 103 → 104 taken 11 times.
✓ Branch 103 → 173 taken 1 time.
 13 resourceManager.linker.addAdditionalSourcePath(additionalSourcePath);
668
1/2
✓ Branch 105 → 106 taken 11 times.
✗ Branch 105 → 176 not taken.
 11 sourceFile->sourceAdditionalSourcePaths.push_back(additionalSourcePath);
669 805 }
670
671
1/2
✓ Branch 120 → 121 taken 791 times.
✗ Branch 120 → 186 not taken.
 1582 return nullptr;
672 793 }
673
674 3723 std::any SymbolTableBuilder::visitAttr(AttrNode *node) {
675 // Check if this attribute exists
676
1/2
✓ Branch 2 → 3 taken 3723 times.
✗ Branch 2 → 63 not taken.
 3723 const auto it = ATTR_CONFIGS.find(node->key);
677
2/2
✓ Branch 5 → 6 taken 1 time.
✓ Branch 5 → 13 taken 3722 times.
 3723 if (it == ATTR_CONFIGS.end())
678
3/6
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 40 not taken.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 38 not taken.
✓ Branch 9 → 10 taken 1 time.
✗ Branch 9 → 35 not taken.
 1 throw SemanticError(node, UNKNOWN_ATTR, "Unknown attribute '" + node->key + "'");
679
680 // Check if the target is correct
681 3722 const auto &[target, type] = it->second;
682
2/2
✓ Branch 14 → 15 taken 1 time.
✓ Branch 14 → 22 taken 3721 times.
 3722 if ((node->target & target) == 0)
683
3/6
✓ Branch 16 → 17 taken 1 time.
✗ Branch 16 → 49 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 47 not taken.
✓ Branch 18 → 19 taken 1 time.
✗ Branch 18 → 44 not taken.
 1 throw SemanticError(node, INVALID_ATTR_TARGET, "Attribute '" + node->key + "' cannot be used on this target");
684
685 // Check if a value is present
686
4/4
✓ Branch 22 → 23 taken 779 times.
✓ Branch 22 → 31 taken 2942 times.
✓ Branch 23 → 24 taken 1 time.
✓ Branch 23 → 31 taken 778 times.
 3721 if (!node->value && type != AttrNode::AttrType::TYPE_BOOL)
687
3/6
✓ Branch 25 → 26 taken 1 time.
✗ Branch 25 → 58 not taken.
✓ Branch 26 → 27 taken 1 time.
✗ Branch 26 → 56 not taken.
✓ Branch 27 → 28 taken 1 time.
✗ Branch 27 → 53 not taken.
 1 throw SemanticError(node, MISSING_ATTR_VALUE, "Attribute '" + node->key + "' requires a value");
688
689
1/2
✓ Branch 31 → 32 taken 3720 times.
✗ Branch 31 → 62 not taken.
 7440 return nullptr;
690 }
691
692 53 std::any SymbolTableBuilder::visitLambdaFunc(LambdaFuncNode *node) {
693 // Create scope for the lambda body
694 53 const CodeLoc &codeLoc = node->body->codeLoc;
695
2/4
✓ Branch 2 → 3 taken 53 times.
✗ Branch 2 → 47 not taken.
✓ Branch 3 → 4 taken 53 times.
✗ Branch 3 → 45 not taken.
 53 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::LAMBDA_BODY, &codeLoc);
696 // Requires capturing because the LLVM IR will end up in a separate function
697 53 currentScope->symbolTable.setCapturingRequired();
698 // Set to async scope if this is an async lambda
699
4/18
✗ Branch 6 → 7 not taken.
✓ Branch 6 → 13 taken 53 times.
✗ Branch 9 → 10 not taken.
✗ Branch 9 → 48 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 48 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 13 not taken.
✗ Branch 14 → 15 not taken.
✓ Branch 14 → 16 taken 53 times.
✗ Branch 16 → 17 not taken.
✓ Branch 16 → 19 taken 53 times.
✗ Branch 19 → 20 not taken.
✓ Branch 19 → 27 taken 53 times.
✗ Branch 48 → 49 not taken.
✗ Branch 48 → 50 not taken.
✗ Branch 52 → 53 not taken.
✗ Branch 52 → 55 not taken.
 53 if (node->lambdaAttr && node->lambdaAttr->attrLst->hasAttr(ATTR_ASYNC))
700 ✗ node->bodyScope->isAsyncScope = node->lambdaAttr->attrLst->getAttrValueByName(ATTR_ASYNC)->boolValue;
701
702 // Create symbol for 'result' variable
703
1/2
✓ Branch 29 → 30 taken 53 times.
✗ Branch 29 → 65 not taken.
 159 currentScope->insert(RETURN_VARIABLE_NAME, node);
704
705 // Create symbols for the parameters
706
2/2
✓ Branch 35 → 36 taken 48 times.
✓ Branch 35 → 39 taken 5 times.
 53 if (node->hasParams)
707
1/2
✓ Branch 36 → 37 taken 48 times.
✗ Branch 36 → 69 not taken.
 48 visit(node->paramLst);
708
709 // Visit body
710
1/2
✓ Branch 39 → 40 taken 53 times.
✗ Branch 39 → 70 not taken.
 53 visit(node->body);
711
712 // Leave anonymous block body scope
713 53 currentScope = node->bodyScope->parent;
714
715
1/2
✓ Branch 41 → 42 taken 53 times.
✗ Branch 41 → 71 not taken.
 106 return nullptr;
716 }
717
718 73 std::any SymbolTableBuilder::visitLambdaProc(LambdaProcNode *node) {
719 // Create scope for the lambda body
720 73 const CodeLoc &codeLoc = node->body->codeLoc;
721
2/4
✓ Branch 2 → 3 taken 73 times.
✗ Branch 2 → 39 not taken.
✓ Branch 3 → 4 taken 73 times.
✗ Branch 3 → 37 not taken.
 73 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::LAMBDA_BODY, &codeLoc);
722 // Requires capturing because the LLVM IR will end up in a separate function
723 73 currentScope->symbolTable.setCapturingRequired();
724 // Set to async scope if this is an async lambda
725
11/18
✓ Branch 6 → 7 taken 6 times.
✓ Branch 6 → 13 taken 67 times.
✓ Branch 9 → 10 taken 6 times.
✗ Branch 9 → 40 not taken.
✓ Branch 10 → 11 taken 6 times.
✗ Branch 10 → 40 not taken.
✓ Branch 11 → 12 taken 6 times.
✗ Branch 11 → 13 not taken.
✓ Branch 14 → 15 taken 6 times.
✓ Branch 14 → 16 taken 67 times.
✓ Branch 16 → 17 taken 6 times.
✓ Branch 16 → 19 taken 67 times.
✓ Branch 19 → 20 taken 6 times.
✓ Branch 19 → 27 taken 67 times.
✗ Branch 40 → 41 not taken.
✗ Branch 40 → 42 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 47 not taken.
 85 if (node->lambdaAttr && node->lambdaAttr->attrLst->hasAttr(ATTR_ASYNC))
726
2/4
✓ Branch 22 → 23 taken 6 times.
✗ Branch 22 → 51 not taken.
✓ Branch 23 → 24 taken 6 times.
✗ Branch 23 → 49 not taken.
 18 node->bodyScope->isAsyncScope = node->lambdaAttr->attrLst->getAttrValueByName(ATTR_ASYNC)->boolValue;
727
728 // Create symbols for the parameters
729
2/2
✓ Branch 27 → 28 taken 59 times.
✓ Branch 27 → 31 taken 14 times.
 73 if (node->hasParams)
730
1/2
✓ Branch 28 → 29 taken 59 times.
✗ Branch 28 → 55 not taken.
 59 visit(node->paramLst);
731
732 // Visit body
733
1/2
✓ Branch 31 → 32 taken 73 times.
✗ Branch 31 → 56 not taken.
 73 visit(node->body);
734
735 // Leave anonymous block body scope
736 73 currentScope = node->bodyScope->parent;
737
738
1/2
✓ Branch 33 → 34 taken 73 times.
✗ Branch 33 → 57 not taken.
 146 return nullptr;
739 }
740
741 1 std::any SymbolTableBuilder::visitLambdaExpr(LambdaExprNode *node) {
742 // Create scope for the anonymous block body
743 1 const CodeLoc &codeLoc = node->lambdaExpr->codeLoc;
744
2/4
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 18 not taken.
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 16 not taken.
 1 node->bodyScope = currentScope = currentScope->createChildScope(node->getScopeId(), ScopeType::LAMBDA_BODY, &codeLoc);
745 // Requires capturing because the LLVM IR will end up in a separate function
746 1 currentScope->symbolTable.setCapturingRequired();
747
748 // Create symbols for the parameters
749
1/2
✓ Branch 6 → 7 taken 1 time.
✗ Branch 6 → 10 not taken.
 1 if (node->hasParams)
750
1/2
✓ Branch 7 → 8 taken 1 time.
✗ Branch 7 → 19 not taken.
 1 visit(node->paramLst);
751
752 // Visit lambda expression
753
1/2
✓ Branch 10 → 11 taken 1 time.
✗ Branch 10 → 20 not taken.
 1 visit(node->lambdaExpr);
754
755 // Leave anonymous block body scope
756 1 currentScope = node->bodyScope->parent;
757
758
1/2
✓ Branch 12 → 13 taken 1 time.
✗ Branch 12 → 21 not taken.
 2 return nullptr;
759 }
760
761 } // namespace spice::compiler
762