GCC Code Coverage Report

Directory: ../
File: src/typechecker/TypeCheckerTopLevelDefinitionsPrepare.cpp
Date: 2025-06-14 23:29:02
Exec Total Coverage
Lines: 390 414 94.2%
Functions: 14 14 100.0%
Branches: 558 996 56.0%
Line Branch Exec Source
1 // Copyright (c) 2021-2025 ChilliBits. All rights reserved.
2
3 #include "TypeChecker.h"
4
5 #include <SourceFile.h>
6 #include <ast/Attributes.h>
7 #include <global/GlobalResourceManager.h>
8 #include <global/TypeRegistry.h>
9 #include <symboltablebuilder/SymbolTableBuilder.h>
10 #include <typechecker/MacroDefs.h>
11
12 namespace spice::compiler {
13
14 362 std::any TypeChecker::visitMainFctDefPrepare(MainFctDefNode *node) {
15 // Mark unreachable statements
16 362 bool returnsOnAllControlPaths = true;
17
1/2
✓ Branch 0 (2→3) taken 362 times.
✗ Branch 1 (2→68) not taken.
 362 node->returnsOnAllControlPaths(&returnsOnAllControlPaths);
18
19 // Retrieve return type
20
1/2
✓ Branch 0 (3→4) taken 362 times.
✗ Branch 1 (3→68) not taken.
 362 const QualType returnType(TY_INT);
21
22 // Change to function body scope
23 362 currentScope = node->bodyScope;
24
25 // Set type of 'result' variable to int
26
1/2
✓ Branch 0 (6→7) taken 362 times.
✗ Branch 1 (6→47) not taken.
 1086 SymbolTableEntry *resultEntry = currentScope->lookupStrict(RETURN_VARIABLE_NAME);
27
1/2
✗ Branch 0 (12→13) not taken.
✓ Branch 1 (12→14) taken 362 times.
 362 assert(resultEntry != nullptr);
28
1/2
✓ Branch 0 (14→15) taken 362 times.
✗ Branch 1 (14→68) not taken.
 362 resultEntry->updateType(returnType, false);
29 362 resultEntry->used = true;
30
31 // Retrieve param types
32 362 QualTypeList paramTypes;
33
2/2
✓ Branch 0 (15→16) taken 4 times.
✓ Branch 1 (15→28) taken 358 times.
 362 if (node->takesArgs) {
34
2/4
✓ Branch 0 (16→17) taken 4 times.
✗ Branch 1 (16→53) not taken.
✓ Branch 2 (17→18) taken 4 times.
✗ Branch 3 (17→51) not taken.
 4 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
35
2/2
✓ Branch 0 (25→21) taken 8 times.
✓ Branch 1 (25→26) taken 4 times.
 12 for (const auto &[name, qualType, isOptional] : namedParamList)
36
1/2
✓ Branch 0 (22→23) taken 8 times.
✗ Branch 1 (22→54) not taken.
 8 paramTypes.push_back(qualType);
37 4 }
38
39 // Prepare type of function
40
2/4
✓ Branch 0 (28→29) taken 362 times.
✗ Branch 1 (28→58) not taken.
✓ Branch 2 (29→30) taken 362 times.
✗ Branch 3 (29→58) not taken.
 362 const QualType functionType = QualType(TY_FUNCTION).getWithFunctionParamAndReturnTypes(returnType, paramTypes);
41
42 // Update main function symbol type
43
1/2
✓ Branch 0 (32→33) taken 362 times.
✗ Branch 1 (32→61) not taken.
 1086 SymbolTableEntry *functionEntry = rootScope->lookupStrict(MAIN_FUNCTION_NAME);
44
1/2
✗ Branch 0 (38→39) not taken.
✓ Branch 1 (38→40) taken 362 times.
 362 assert(functionEntry != nullptr);
45
1/2
✓ Branch 0 (40→41) taken 362 times.
✗ Branch 1 (40→66) not taken.
 362 functionEntry->updateType(functionType, false);
46 362 functionEntry->used = true;
47
48 // Leave main function body scope
49 362 currentScope = rootScope;
50
51
1/2
✓ Branch 0 (41→42) taken 362 times.
✗ Branch 1 (41→65) not taken.
 724 return nullptr;
52 362 }
53
54 6333 std::any TypeChecker::visitFctDefPrepare(FctDefNode *node) {
55 // Check if name is dtor
56
3/4
✓ Branch 0 (2→3) taken 6333 times.
✗ Branch 1 (2→389) not taken.
✓ Branch 2 (3→4) taken 1 times.
✓ Branch 3 (3→12) taken 6332 times.
 6333 if (node->name->name == DTOR_FUNCTION_NAME)
57
3/6
✓ Branch 0 (6→7) taken 1 times.
✗ Branch 1 (6→248) not taken.
✓ Branch 2 (7→8) taken 1 times.
✗ Branch 3 (7→246) not taken.
✓ Branch 4 (10→11) taken 1 times.
✗ Branch 5 (10→252) not taken.
 3 SOFT_ERROR_BOOL(node, DTOR_MUST_BE_PROCEDURE, "Destructors are not allowed to be of type function")
58
59 // Check if all control paths in the function return
60 6332 bool doSetPredecessorsUnreachable = true;
61
3/4
✓ Branch 0 (12→13) taken 6332 times.
✗ Branch 1 (12→389) not taken.
✓ Branch 2 (13→14) taken 1 times.
✓ Branch 3 (13→22) taken 6331 times.
 6332 if (!node->returnsOnAllControlPaths(&doSetPredecessorsUnreachable))
62
3/6
✓ Branch 0 (16→17) taken 1 times.
✗ Branch 1 (16→255) not taken.
✓ Branch 2 (17→18) taken 1 times.
✗ Branch 3 (17→253) not taken.
✓ Branch 4 (20→21) taken 1 times.
✗ Branch 5 (20→259) not taken.
 3 SOFT_ERROR_BOOL(node, MISSING_RETURN_STMT, "Not all control paths of this function have a return statement")
63
64 // Change to function scope
65 6331 currentScope = node->scope;
66
1/2
✗ Branch 0 (22→23) not taken.
✓ Branch 1 (22→24) taken 6331 times.
 6331 assert(currentScope->type == ScopeType::FUNC_PROC_BODY);
67
68 // Retrieve function template types
69 6331 std::vector<GenericType> usedGenericTypes;
70
2/2
✓ Branch 0 (24→25) taken 842 times.
✓ Branch 1 (24→54) taken 5489 times.
 6331 if (node->hasTemplateTypes) {
71
2/2
✓ Branch 0 (52→27) taken 1023 times.
✓ Branch 1 (52→53) taken 841 times.
 1864 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
72 // Visit template type
73
2/4
✓ Branch 0 (28→29) taken 1023 times.
✗ Branch 1 (28→262) not taken.
✓ Branch 2 (29→30) taken 1023 times.
✗ Branch 3 (29→260) not taken.
 1023 auto templateType = std::any_cast<QualType>(visit(dataType));
74
2/4
✓ Branch 0 (31→32) taken 1023 times.
✗ Branch 1 (31→272) not taken.
✗ Branch 2 (32→33) not taken.
✓ Branch 3 (32→34) taken 1023 times.
 1023 if (templateType.is(TY_UNRESOLVED))
75 ✗ continue;
76 // Check if it is a generic type
77
3/4
✓ Branch 0 (34→35) taken 1023 times.
✗ Branch 1 (34→272) not taken.
✓ Branch 2 (35→36) taken 1 times.
✓ Branch 3 (35→44) taken 1022 times.
 1023 if (!templateType.is(TY_GENERIC))
78
2/4
✓ Branch 0 (39→40) taken 1 times.
✗ Branch 1 (39→266) not taken.
✓ Branch 2 (40→41) taken 1 times.
✗ Branch 3 (40→263) not taken.
 3 throw SemanticError(dataType, EXPECTED_GENERIC_TYPE, "A template list can only contain generic types");
79 // Convert generic symbol type to generic type
80
2/4
✓ Branch 0 (44→45) taken 1022 times.
✗ Branch 1 (44→272) not taken.
✓ Branch 2 (45→46) taken 1022 times.
✗ Branch 3 (45→272) not taken.
 1022 GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
81
1/2
✗ Branch 0 (46→47) not taken.
✓ Branch 1 (46→48) taken 1022 times.
 1022 assert(genericType != nullptr);
82
1/2
✓ Branch 0 (48→49) taken 1022 times.
✗ Branch 1 (48→272) not taken.
 1022 usedGenericTypes.push_back(*genericType);
83 }
84 }
85
86 // Retrieve 'this' type
87
1/2
✓ Branch 0 (54→55) taken 6330 times.
✗ Branch 1 (54→387) not taken.
 6330 QualType thisType(TY_DYN); // If the function is not a method, the default this type is TY_DYN
88
2/2
✓ Branch 0 (55→56) taken 2775 times.
✓ Branch 1 (55→86) taken 3555 times.
 6330 if (node->isMethod) {
89 2775 Scope *structParentScope = node->structScope->parent;
90
1/2
✓ Branch 0 (56→57) taken 2775 times.
✗ Branch 1 (56→282) not taken.
 2775 SymbolTableEntry *structEntry = structParentScope->lookupStrict(node->name->structName);
91
1/2
✗ Branch 0 (59→60) not taken.
✓ Branch 1 (59→61) taken 2775 times.
 2775 assert(structEntry != nullptr);
92 // Set struct to used
93 2775 structEntry->used = true;
94 // Get type and ptr type
95
1/2
✓ Branch 0 (61→62) taken 2775 times.
✗ Branch 1 (61→282) not taken.
 2775 thisType = structEntry->getQualType();
96
1/2
✓ Branch 0 (62→63) taken 2775 times.
✗ Branch 1 (62→282) not taken.
 2775 const QualType thisPtrType = thisType.toPtr(node);
97 // Collect template types of 'this' type
98
3/4
✓ Branch 0 (63→64) taken 2775 times.
✗ Branch 1 (63→275) not taken.
✓ Branch 2 (73→66) taken 955 times.
✓ Branch 3 (73→74) taken 2775 times.
 3730 for (const QualType &templateType : thisType.getTemplateTypes()) {
99 223 const auto lambda = [&](const GenericType &genericType) { return genericType == templateType; };
100
3/4
✓ Branch 0 (67→68) taken 955 times.
✗ Branch 1 (67→274) not taken.
✓ Branch 2 (68→69) taken 951 times.
✓ Branch 3 (68→70) taken 4 times.
 955 if (std::ranges::none_of(usedGenericTypes, lambda))
101
1/2
✓ Branch 0 (69→70) taken 951 times.
✗ Branch 1 (69→274) not taken.
 951 usedGenericTypes.emplace_back(templateType);
102 955 usedGenericTypes.back().used = true;
103 }
104
105 // Set type of 'this' variable
106
1/2
✓ Branch 0 (76→77) taken 2775 times.
✗ Branch 1 (76→278) not taken.
 8325 SymbolTableEntry *thisEntry = currentScope->lookupStrict(THIS_VARIABLE_NAME);
107
1/2
✗ Branch 0 (82→83) not taken.
✓ Branch 1 (82→84) taken 2775 times.
 2775 assert(thisEntry != nullptr);
108
1/2
✓ Branch 0 (84→85) taken 2775 times.
✗ Branch 1 (84→282) not taken.
 2775 thisEntry->updateType(thisPtrType, false);
109 }
110
111 // Visit parameters
112 6330 QualTypeList paramTypes;
113 6330 ParamList paramList;
114
2/2
✓ Branch 0 (86→87) taken 4813 times.
✓ Branch 1 (86→123) taken 1517 times.
 6330 if (node->hasParams) {
115 4813 std::vector<const char *> paramNames;
116 // Visit param list to retrieve the param names
117
2/4
✓ Branch 0 (87→88) taken 4813 times.
✗ Branch 1 (87→285) not taken.
✓ Branch 2 (88→89) taken 4813 times.
✗ Branch 3 (88→283) not taken.
 4813 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
118
2/2
✓ Branch 0 (112→92) taken 7979 times.
✓ Branch 1 (112→113) taken 4811 times.
 12790 for (const auto &[name, qualType, isOptional] : namedParamList) {
119
1/2
✓ Branch 0 (93→94) taken 7979 times.
✗ Branch 1 (93→297) not taken.
 7979 paramNames.push_back(name);
120
2/6
✓ Branch 0 (94→95) taken 7979 times.
✗ Branch 1 (94→297) not taken.
✗ Branch 2 (95→96) not taken.
✓ Branch 3 (95→98) taken 7979 times.
✗ Branch 4 (96→97) not taken.
✗ Branch 5 (96→286) not taken.
 7979 HANDLE_UNRESOLVED_TYPE_PTR(qualType);
121
1/2
✓ Branch 0 (98→99) taken 7979 times.
✗ Branch 1 (98→297) not taken.
 7979 paramTypes.push_back(qualType);
122
1/2
✓ Branch 0 (99→100) taken 7979 times.
✗ Branch 1 (99→287) not taken.
 7979 paramList.push_back({qualType, isOptional});
123 // Check if the type is present in the template for generic types
124
3/4
✓ Branch 0 (100→101) taken 7979 times.
✗ Branch 1 (100→297) not taken.
✓ Branch 2 (101→102) taken 2 times.
✓ Branch 3 (101→110) taken 7977 times.
 7979 if (!qualType.isCoveredByGenericTypeList(usedGenericTypes))
125 ✗ throw SemanticError(node->paramLst, GENERIC_TYPE_NOT_IN_TEMPLATE,
126
2/4
✓ Branch 0 (105→106) taken 2 times.
✗ Branch 1 (105→291) not taken.
✓ Branch 2 (106→107) taken 2 times.
✗ Branch 3 (106→288) not taken.
 6 "Generic param type not included in the template type list of the function");
127 }
128
2/4
✓ Branch 0 (115→116) taken 4811 times.
✗ Branch 1 (115→117) not taken.
✓ Branch 2 (119→120) taken 4811 times.
✗ Branch 3 (119→122) not taken.
 4815 }
129
130 // Retrieve return type
131
2/4
✓ Branch 0 (123→124) taken 6328 times.
✗ Branch 1 (123→305) not taken.
✓ Branch 2 (124→125) taken 6328 times.
✗ Branch 3 (124→303) not taken.
 6328 auto returnType = std::any_cast<QualType>(visit(node->returnType));
132
2/6
✓ Branch 0 (126→127) taken 6328 times.
✗ Branch 1 (126→383) not taken.
✗ Branch 2 (127→128) not taken.
✓ Branch 3 (127→130) taken 6328 times.
✗ Branch 4 (128→129) not taken.
✗ Branch 5 (128→306) not taken.
 6328 HANDLE_UNRESOLVED_TYPE_PTR(returnType)
133
3/4
✓ Branch 0 (130→131) taken 6328 times.
✗ Branch 1 (130→383) not taken.
✓ Branch 2 (131→132) taken 1 times.
✓ Branch 3 (131→140) taken 6327 times.
 6328 if (returnType.is(TY_DYN))
134
3/6
✓ Branch 0 (134→135) taken 1 times.
✗ Branch 1 (134→309) not taken.
✓ Branch 2 (135→136) taken 1 times.
✗ Branch 3 (135→307) not taken.
✓ Branch 4 (138→139) taken 1 times.
✗ Branch 5 (138→313) not taken.
 3 SOFT_ERROR_BOOL(node, UNEXPECTED_DYN_TYPE, "Dyn return types are not allowed")
135
3/4
✓ Branch 0 (140→141) taken 6327 times.
✗ Branch 1 (140→383) not taken.
✓ Branch 2 (141→142) taken 1 times.
✓ Branch 3 (141→150) taken 6326 times.
 6327 if (!returnType.isCoveredByGenericTypeList(usedGenericTypes))
136
3/6
✓ Branch 0 (144→145) taken 1 times.
✗ Branch 1 (144→316) not taken.
✓ Branch 2 (145→146) taken 1 times.
✗ Branch 3 (145→314) not taken.
✓ Branch 4 (148→149) taken 1 times.
✗ Branch 5 (148→320) not taken.
 3 SOFT_ERROR_BOOL(node->returnType, GENERIC_TYPE_NOT_IN_TEMPLATE,
137 "Generic return type not included in the template type list of the function")
138
139 // Leave function body scope
140 6326 currentScope = node->scope->parent;
141
3/4
✓ Branch 0 (150→151) taken 2775 times.
✓ Branch 1 (150→153) taken 3551 times.
✗ Branch 2 (151→152) not taken.
✓ Branch 3 (151→153) taken 2775 times.
 6326 assert(currentScope->type == ScopeType::GLOBAL || currentScope->type == ScopeType::STRUCT);
142
143 // Prepare type of function
144
2/4
✓ Branch 0 (153→154) taken 6326 times.
✗ Branch 1 (153→321) not taken.
✓ Branch 2 (154→155) taken 6326 times.
✗ Branch 3 (154→321) not taken.
 6326 QualType functionType = QualType(TY_FUNCTION).getWithFunctionParamAndReturnTypes(returnType, paramTypes);
145 6326 functionType.setQualifiers(node->qualifiers);
146
147 // Update type of function entry
148
1/2
✓ Branch 0 (156→157) taken 6326 times.
✗ Branch 1 (156→324) not taken.
 12652 SymbolTableEntry *functionEntry = currentScope->lookupStrict(node->getSymbolTableEntryName());
149
1/2
✗ Branch 0 (161→162) not taken.
✓ Branch 1 (161→163) taken 6326 times.
 6326 assert(functionEntry != nullptr);
150
1/2
✓ Branch 0 (163→164) taken 6326 times.
✗ Branch 1 (163→383) not taken.
 6326 functionEntry->updateType(functionType, false);
151
152 // Build function object
153
3/6
✓ Branch 0 (164→165) taken 6326 times.
✗ Branch 1 (164→331) not taken.
✓ Branch 2 (165→166) taken 6326 times.
✗ Branch 3 (165→328) not taken.
✓ Branch 4 (166→167) taken 6326 times.
✗ Branch 5 (166→325) not taken.
 6326 Function spiceFunc(node->name->name, functionEntry, thisType, returnType, paramList, usedGenericTypes, node);
154 6326 spiceFunc.bodyScope = node->scope;
155
2/2
✓ Branch 0 (171→172) taken 6325 times.
✓ Branch 1 (171→381) taken 1 times.
 6326 FunctionManager::insert(currentScope, spiceFunc, &node->manifestations);
156
157 // Check function attributes
158
2/2
✓ Branch 0 (172→173) taken 300 times.
✓ Branch 1 (172→220) taken 6025 times.
 6325 if (node->attrs) {
159 300 const AttrLstNode *attrLst = node->attrs->attrLst;
160 300 Function *firstManifestation = node->manifestations.front();
161
3/6
✓ Branch 0 (176→177) taken 300 times.
✗ Branch 1 (176→334) not taken.
✓ Branch 2 (177→178) taken 300 times.
✗ Branch 3 (177→332) not taken.
✗ Branch 4 (180→181) not taken.
✓ Branch 5 (180→182) taken 300 times.
 900 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLE))
162 ✗ firstManifestation->mangleFunctionName = value->boolValue;
163
3/6
✓ Branch 0 (184→185) taken 300 times.
✗ Branch 1 (184→340) not taken.
✓ Branch 2 (185→186) taken 300 times.
✗ Branch 3 (185→338) not taken.
✗ Branch 4 (188→189) not taken.
✓ Branch 5 (188→191) taken 300 times.
 900 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLED_NAME)) {
164 ✗ const std::string &stringValue = resourceManager.compileTimeStringValues.at(value->stringValueOffset);
165 ✗ firstManifestation->predefinedMangledName = stringValue;
166 }
167
6/8
✓ Branch 0 (193→194) taken 300 times.
✗ Branch 1 (193→346) not taken.
✓ Branch 2 (194→195) taken 300 times.
✗ Branch 3 (194→344) not taken.
✓ Branch 4 (197→198) taken 12 times.
✓ Branch 5 (197→220) taken 288 times.
✓ Branch 6 (198→199) taken 11 times.
✓ Branch 7 (198→220) taken 1 times.
 900 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_TEST); value && value->boolValue) {
168 // Make sure that the function has the correct signature
169
2/2
✓ Branch 0 (199→200) taken 1 times.
✓ Branch 1 (199→208) taken 10 times.
 11 if (node->hasParams)
170
2/4
✓ Branch 0 (203→204) taken 1 times.
✗ Branch 1 (203→353) not taken.
✓ Branch 2 (204→205) taken 1 times.
✗ Branch 3 (204→350) not taken.
 3 throw SemanticError(node->paramLst, TEST_FUNCTION_WITH_PARAMS, "Test function may not have parameters");
171
3/4
✓ Branch 0 (208→209) taken 10 times.
✗ Branch 1 (208→381) not taken.
✓ Branch 2 (209→210) taken 1 times.
✓ Branch 3 (209→218) taken 9 times.
 10 if (!returnType.is(TY_BOOL))
172
2/4
✓ Branch 0 (213→214) taken 1 times.
✗ Branch 1 (213→362) not taken.
✓ Branch 2 (214→215) taken 1 times.
✗ Branch 3 (214→359) not taken.
 3 throw SemanticError(node->returnType, TEST_FUNCTION_WRONG_RETURN_TYPE, "Test function must return a bool");
173 // Add to test function list
174 9 firstManifestation->entry->used = true; // Avoid printing unused warnings
175 9 firstManifestation->used = true; // Always keep test functions, because they are called implicitly by the test main
176
1/2
✓ Branch 0 (219→220) taken 9 times.
✗ Branch 1 (219→381) not taken.
 9 sourceFile->testFunctions.push_back(node->manifestations.front());
177 }
178 }
179
180 // Duplicate / rename the original child scope to reflect the substantiated versions of the function
181
2/2
✓ Branch 0 (230→221) taken 634 times.
✓ Branch 1 (230→231) taken 6323 times.
 6957 for (size_t i = 1; i < node->manifestations.size(); i++) {
182
4/8
✓ Branch 0 (221→222) taken 634 times.
✗ Branch 1 (221→373) not taken.
✓ Branch 2 (222→223) taken 634 times.
✗ Branch 3 (222→373) not taken.
✓ Branch 4 (223→224) taken 634 times.
✗ Branch 5 (223→370) not taken.
✓ Branch 6 (224→225) taken 634 times.
✗ Branch 7 (224→368) not taken.
 634 Scope *scope = currentScope->copyChildScope(node->getScopeId(), node->manifestations.at(i)->getSignature(false));
183
1/2
✓ Branch 0 (227→228) taken 634 times.
✗ Branch 1 (227→381) not taken.
 634 node->manifestations.at(i)->bodyScope = scope;
184 }
185
3/6
✓ Branch 0 (232→233) taken 6323 times.
✗ Branch 1 (232→379) not taken.
✓ Branch 2 (233→234) taken 6323 times.
✗ Branch 3 (233→376) not taken.
✓ Branch 4 (234→235) taken 6323 times.
✗ Branch 5 (234→374) not taken.
 6323 currentScope->renameChildScope(node->getScopeId(), node->manifestations.front()->getSignature(false));
186
187 // Change to the root scope
188 6323 currentScope = rootScope;
189
1/2
✗ Branch 0 (237→238) not taken.
✓ Branch 1 (237→239) taken 6323 times.
 6323 assert(currentScope->type == ScopeType::GLOBAL);
190
191
1/2
✓ Branch 0 (239→240) taken 6323 times.
✗ Branch 1 (239→380) not taken.
 6323 return nullptr;
192 6344 }
193
194 3455 std::any TypeChecker::visitProcDefPrepare(ProcDefNode *node) {
195 // Mark unreachable statements
196 3455 bool doSetPredecessorsUnreachable = true;
197
1/2
✓ Branch 0 (2→3) taken 3455 times.
✗ Branch 1 (2→286) not taken.
 3455 node->returnsOnAllControlPaths(&doSetPredecessorsUnreachable);
198
199 // Check if dtor and has params
200
7/8
✓ Branch 0 (3→4) taken 2553 times.
✓ Branch 1 (3→7) taken 902 times.
✓ Branch 2 (4→5) taken 2553 times.
✗ Branch 3 (4→286) not taken.
✓ Branch 4 (5→6) taken 1 times.
✓ Branch 5 (5→7) taken 2552 times.
✓ Branch 6 (8→9) taken 1 times.
✓ Branch 7 (8→17) taken 3454 times.
 3455 if (node->hasParams && node->name->name == DTOR_FUNCTION_NAME)
201
2/4
✓ Branch 0 (12→13) taken 1 times.
✗ Branch 1 (12→191) not taken.
✓ Branch 2 (13→14) taken 1 times.
✗ Branch 3 (13→188) not taken.
 3 throw SemanticError(node, DTOR_WITH_PARAMS, "It is not allowed to specify parameters for destructors");
202
203 // Change to procedure scope
204 3454 currentScope = node->scope;
205
1/2
✗ Branch 0 (17→18) not taken.
✓ Branch 1 (17→19) taken 3454 times.
 3454 assert(currentScope->type == ScopeType::FUNC_PROC_BODY);
206
207 // Retrieve procedure template types
208 3454 std::vector<GenericType> usedGenericTypes;
209
2/2
✓ Branch 0 (19→20) taken 938 times.
✓ Branch 1 (19→49) taken 2516 times.
 3454 if (node->hasTemplateTypes) {
210
2/2
✓ Branch 0 (47→22) taken 1009 times.
✓ Branch 1 (47→48) taken 937 times.
 1946 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
211 // Visit template type
212
2/4
✓ Branch 0 (23→24) taken 1009 times.
✗ Branch 1 (23→199) not taken.
✓ Branch 2 (24→25) taken 1009 times.
✗ Branch 3 (24→197) not taken.
 1009 auto templateType = std::any_cast<QualType>(visit(dataType));
213
2/4
✓ Branch 0 (26→27) taken 1009 times.
✗ Branch 1 (26→209) not taken.
✗ Branch 2 (27→28) not taken.
✓ Branch 3 (27→29) taken 1009 times.
 1009 if (templateType.is(TY_UNRESOLVED))
214 ✗ continue;
215 // Check if it is a generic type
216
3/4
✓ Branch 0 (29→30) taken 1009 times.
✗ Branch 1 (29→209) not taken.
✓ Branch 2 (30→31) taken 1 times.
✓ Branch 3 (30→39) taken 1008 times.
 1009 if (!templateType.is(TY_GENERIC))
217
2/4
✓ Branch 0 (34→35) taken 1 times.
✗ Branch 1 (34→203) not taken.
✓ Branch 2 (35→36) taken 1 times.
✗ Branch 3 (35→200) not taken.
 3 throw SemanticError(dataType, EXPECTED_GENERIC_TYPE, "A template list can only contain generic types");
218 // Convert generic symbol type to generic type
219
2/4
✓ Branch 0 (39→40) taken 1008 times.
✗ Branch 1 (39→209) not taken.
✓ Branch 2 (40→41) taken 1008 times.
✗ Branch 3 (40→209) not taken.
 1008 const GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
220
1/2
✗ Branch 0 (41→42) not taken.
✓ Branch 1 (41→43) taken 1008 times.
 1008 assert(genericType != nullptr);
221
1/2
✓ Branch 0 (43→44) taken 1008 times.
✗ Branch 1 (43→209) not taken.
 1008 usedGenericTypes.push_back(*genericType);
222 }
223 }
224
225 // Retrieve 'this' type
226
1/2
✓ Branch 0 (49→50) taken 3453 times.
✗ Branch 1 (49→284) not taken.
 3453 QualType thisType(TY_DYN); // If the procedure is not a method, the default this type is TY_DYN
227
2/2
✓ Branch 0 (50→51) taken 2930 times.
✓ Branch 1 (50→81) taken 523 times.
 3453 if (node->isMethod) {
228 2930 Scope *structParentScope = node->structScope->parent;
229
1/2
✓ Branch 0 (51→52) taken 2930 times.
✗ Branch 1 (51→219) not taken.
 2930 SymbolTableEntry *structEntry = structParentScope->lookupStrict(node->name->structName);
230
1/2
✗ Branch 0 (54→55) not taken.
✓ Branch 1 (54→56) taken 2930 times.
 2930 assert(structEntry != nullptr);
231 // Set struct to used
232 2930 structEntry->used = true;
233 // Get type and ptr type
234
1/2
✓ Branch 0 (56→57) taken 2930 times.
✗ Branch 1 (56→219) not taken.
 2930 thisType = structEntry->getQualType();
235
1/2
✓ Branch 0 (57→58) taken 2930 times.
✗ Branch 1 (57→219) not taken.
 2930 const QualType thisPtrType = thisType.toPtr(node);
236 // Collect template types of 'this' type
237
3/4
✓ Branch 0 (58→59) taken 2930 times.
✗ Branch 1 (58→212) not taken.
✓ Branch 2 (68→61) taken 909 times.
✓ Branch 3 (68→69) taken 2930 times.
 3839 for (const QualType &templateType : thisType.getTemplateTypes()) {
238 284 const auto lambda = [&](const GenericType &genericType) { return genericType == templateType; };
239
3/4
✓ Branch 0 (62→63) taken 909 times.
✗ Branch 1 (62→211) not taken.
✓ Branch 2 (63→64) taken 841 times.
✓ Branch 3 (63→65) taken 68 times.
 909 if (std::ranges::none_of(usedGenericTypes, lambda))
240
1/2
✓ Branch 0 (64→65) taken 841 times.
✗ Branch 1 (64→211) not taken.
 841 usedGenericTypes.emplace_back(templateType);
241 909 usedGenericTypes.back().used = true;
242 }
243
244 // Set type of 'this' variable
245
1/2
✓ Branch 0 (71→72) taken 2930 times.
✗ Branch 1 (71→215) not taken.
 8790 SymbolTableEntry *thisEntry = currentScope->lookupStrict(THIS_VARIABLE_NAME);
246
1/2
✗ Branch 0 (77→78) not taken.
✓ Branch 1 (77→79) taken 2930 times.
 2930 assert(thisEntry != nullptr);
247
1/2
✓ Branch 0 (79→80) taken 2930 times.
✗ Branch 1 (79→219) not taken.
 2930 thisEntry->updateType(thisPtrType, false);
248 }
249
250 // Visit parameters
251 3453 QualTypeList paramTypes;
252 3453 ParamList paramList;
253
2/2
✓ Branch 0 (81→82) taken 2552 times.
✓ Branch 1 (81→118) taken 901 times.
 3453 if (node->hasParams) {
254 2552 std::vector<const char *> paramNames;
255 // Visit param list to retrieve the param names
256
2/4
✓ Branch 0 (82→83) taken 2552 times.
✗ Branch 1 (82→222) not taken.
✓ Branch 2 (83→84) taken 2552 times.
✗ Branch 3 (83→220) not taken.
 2552 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
257
2/2
✓ Branch 0 (107→87) taken 3451 times.
✓ Branch 1 (107→108) taken 2550 times.
 6001 for (const auto &[name, qualType, isOptional] : namedParamList) {
258
1/2
✓ Branch 0 (88→89) taken 3451 times.
✗ Branch 1 (88→234) not taken.
 3451 paramNames.push_back(name);
259
1/2
✓ Branch 0 (89→90) taken 3451 times.
✗ Branch 1 (89→234) not taken.
 3451 paramTypes.push_back(qualType);
260
4/6
✓ Branch 0 (90→91) taken 3451 times.
✗ Branch 1 (90→234) not taken.
✓ Branch 2 (91→92) taken 1 times.
✓ Branch 3 (91→94) taken 3450 times.
✓ Branch 4 (92→93) taken 1 times.
✗ Branch 5 (92→223) not taken.
 3451 HANDLE_UNRESOLVED_TYPE_PTR(qualType);
261
1/2
✓ Branch 0 (94→95) taken 3450 times.
✗ Branch 1 (94→224) not taken.
 3450 paramList.push_back({qualType, isOptional});
262 // Check if the type is present in the template for generic types
263
3/4
✓ Branch 0 (95→96) taken 3450 times.
✗ Branch 1 (95→234) not taken.
✓ Branch 2 (96→97) taken 1 times.
✓ Branch 3 (96→105) taken 3449 times.
 3450 if (!qualType.isCoveredByGenericTypeList(usedGenericTypes))
264 ✗ throw SemanticError(node->paramLst, GENERIC_TYPE_NOT_IN_TEMPLATE,
265
2/4
✓ Branch 0 (100→101) taken 1 times.
✗ Branch 1 (100→228) not taken.
✓ Branch 2 (101→102) taken 1 times.
✗ Branch 3 (101→225) not taken.
 3 "Generic param type not included in the template type list of the procedure");
266 }
267
4/4
✓ Branch 0 (110→111) taken 2550 times.
✓ Branch 1 (110→112) taken 1 times.
✓ Branch 2 (114→115) taken 2550 times.
✓ Branch 3 (114→117) taken 1 times.
 2554 }
268
269 // Leave procedure body scope
270 3451 currentScope = node->scope->parent;
271
3/4
✓ Branch 0 (118→119) taken 2930 times.
✓ Branch 1 (118→121) taken 521 times.
✗ Branch 2 (119→120) not taken.
✓ Branch 3 (119→121) taken 2930 times.
 3451 assert(currentScope->type == ScopeType::GLOBAL || currentScope->type == ScopeType::STRUCT);
272
273 // Prepare type of procedure
274
3/6
✓ Branch 0 (121→122) taken 3451 times.
✗ Branch 1 (121→241) not taken.
✓ Branch 2 (122→123) taken 3451 times.
✗ Branch 3 (122→240) not taken.
✓ Branch 4 (123→124) taken 3451 times.
✗ Branch 5 (123→240) not taken.
 3451 QualType procedureType = QualType(TY_PROCEDURE).getWithFunctionParamAndReturnTypes(QualType(TY_DYN), paramTypes);
275 3451 procedureType.setQualifiers(node->qualifiers);
276
277 // Update type of procedure entry
278
1/2
✓ Branch 0 (125→126) taken 3451 times.
✗ Branch 1 (125→244) not taken.
 6902 SymbolTableEntry *procedureEntry = currentScope->lookupStrict(node->getSymbolTableEntryName());
279
1/2
✗ Branch 0 (130→131) not taken.
✓ Branch 1 (130→132) taken 3451 times.
 3451 assert(procedureEntry != nullptr);
280
1/2
✓ Branch 0 (132→133) taken 3451 times.
✗ Branch 1 (132→280) not taken.
 3451 procedureEntry->updateType(procedureType, false);
281
282 // Build procedure object
283
4/8
✓ Branch 0 (133→134) taken 3451 times.
✗ Branch 1 (133→252) not taken.
✓ Branch 2 (134→135) taken 3451 times.
✗ Branch 3 (134→249) not taken.
✓ Branch 4 (135→136) taken 3451 times.
✗ Branch 5 (135→246) not taken.
✓ Branch 6 (136→137) taken 3451 times.
✗ Branch 7 (136→245) not taken.
 3451 Function spiceProc(node->name->name, procedureEntry, thisType, QualType(TY_DYN), paramList, usedGenericTypes, node);
284 3451 spiceProc.bodyScope = node->scope;
285
2/2
✓ Branch 0 (141→142) taken 3450 times.
✓ Branch 1 (141→278) taken 1 times.
 3451 FunctionManager::insert(currentScope, spiceProc, &node->manifestations);
286
287 // Check procedure attributes
288
1/2
✗ Branch 0 (142→143) not taken.
✓ Branch 1 (142→162) taken 3450 times.
 3450 if (node->attrs) {
289 ✗ const AttrLstNode *attrLst = node->attrs->attrLst;
290 ✗ if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLE))
291 ✗ node->manifestations.front()->mangleFunctionName = value->boolValue;
292 ✗ if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLED_NAME)) {
293 ✗ const std::string &stringValue = resourceManager.compileTimeStringValues.at(value->stringValueOffset);
294 ✗ node->manifestations.front()->predefinedMangledName = stringValue;
295 }
296 }
297
298 // Duplicate / rename the original child scope to reflect the substantiated versions of the procedure
299
2/2
✓ Branch 0 (172→163) taken 159 times.
✓ Branch 1 (172→173) taken 3450 times.
 3609 for (size_t i = 1; i < node->manifestations.size(); i++) {
300
4/8
✓ Branch 0 (163→164) taken 159 times.
✗ Branch 1 (163→270) not taken.
✓ Branch 2 (164→165) taken 159 times.
✗ Branch 3 (164→270) not taken.
✓ Branch 4 (165→166) taken 159 times.
✗ Branch 5 (165→267) not taken.
✓ Branch 6 (166→167) taken 159 times.
✗ Branch 7 (166→265) not taken.
 159 Scope *scope = currentScope->copyChildScope(node->getScopeId(), node->manifestations.at(i)->getSignature(false));
301
1/2
✓ Branch 0 (169→170) taken 159 times.
✗ Branch 1 (169→278) not taken.
 159 node->manifestations.at(i)->bodyScope = scope;
302 }
303
3/6
✓ Branch 0 (174→175) taken 3450 times.
✗ Branch 1 (174→276) not taken.
✓ Branch 2 (175→176) taken 3450 times.
✗ Branch 3 (175→273) not taken.
✓ Branch 4 (176→177) taken 3450 times.
✗ Branch 5 (176→271) not taken.
 3450 currentScope->renameChildScope(node->getScopeId(), node->manifestations.front()->getSignature(false));
304
305 // Change to the root scope
306 3450 currentScope = rootScope;
307
1/2
✗ Branch 0 (179→180) not taken.
✓ Branch 1 (179→181) taken 3450 times.
 3450 assert(currentScope->type == ScopeType::GLOBAL);
308
309
1/2
✓ Branch 0 (181→182) taken 3450 times.
✗ Branch 1 (181→277) not taken.
 3450 return nullptr;
310 3459 }
311
312 611 std::any TypeChecker::visitStructDefPrepare(StructDefNode *node) {
313 611 QualTypeList usedTemplateTypes;
314 611 std::vector<GenericType> templateTypesGeneric;
315
316 // Retrieve struct template types
317
2/2
✓ Branch 0 (2→3) taken 193 times.
✓ Branch 1 (2→37) taken 418 times.
 611 if (node->hasTemplateTypes) {
318
1/2
✓ Branch 0 (4→5) taken 193 times.
✗ Branch 1 (4→288) not taken.
 193 usedTemplateTypes.reserve(node->templateTypeLst->dataTypes.size());
319
1/2
✓ Branch 0 (6→7) taken 193 times.
✗ Branch 1 (6→288) not taken.
 193 templateTypesGeneric.reserve(node->templateTypeLst->dataTypes.size());
320
2/2
✓ Branch 0 (35→9) taken 263 times.
✓ Branch 1 (35→36) taken 193 times.
 456 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
321 // Visit template type
322
2/4
✓ Branch 0 (10→11) taken 263 times.
✗ Branch 1 (10→194) not taken.
✓ Branch 2 (11→12) taken 263 times.
✗ Branch 3 (11→192) not taken.
 263 auto templateType = std::any_cast<QualType>(visit(dataType));
323
2/4
✓ Branch 0 (13→14) taken 263 times.
✗ Branch 1 (13→204) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→16) taken 263 times.
 263 if (templateType.is(TY_UNRESOLVED))
324 ✗ continue;
325 // Check if it is a generic type
326
2/4
✓ Branch 0 (16→17) taken 263 times.
✗ Branch 1 (16→204) not taken.
✗ Branch 2 (17→18) not taken.
✓ Branch 3 (17→26) taken 263 times.
 263 if (!templateType.is(TY_GENERIC))
327 ✗ throw SemanticError(dataType, EXPECTED_GENERIC_TYPE, "A template list can only contain generic types");
328 // Convert generic symbol type to generic type
329
2/4
✓ Branch 0 (26→27) taken 263 times.
✗ Branch 1 (26→204) not taken.
✓ Branch 2 (27→28) taken 263 times.
✗ Branch 3 (27→204) not taken.
 263 GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
330
1/2
✗ Branch 0 (28→29) not taken.
✓ Branch 1 (28→30) taken 263 times.
 263 assert(genericType != nullptr);
331
1/2
✓ Branch 0 (30→31) taken 263 times.
✗ Branch 1 (30→204) not taken.
 263 usedTemplateTypes.push_back(*genericType);
332
1/2
✓ Branch 0 (31→32) taken 263 times.
✗ Branch 1 (31→204) not taken.
 263 templateTypesGeneric.push_back(*genericType);
333 }
334 }
335
336 // Retrieve implemented interfaces
337 611 QualTypeList interfaceTypes;
338
2/2
✓ Branch 0 (37→38) taken 102 times.
✓ Branch 1 (37→89) taken 509 times.
 611 if (node->hasInterfaces) {
339
1/2
✓ Branch 0 (39→40) taken 102 times.
✗ Branch 1 (39→286) not taken.
 102 interfaceTypes.reserve(node->interfaceTypeLst->dataTypes.size());
340
2/2
✓ Branch 0 (87→42) taken 102 times.
✓ Branch 1 (87→88) taken 101 times.
 203 for (DataTypeNode *interfaceNode : node->interfaceTypeLst->dataTypes) {
341 // Visit interface type
342
2/4
✓ Branch 0 (43→44) taken 102 times.
✗ Branch 1 (43→208) not taken.
✓ Branch 2 (44→45) taken 102 times.
✗ Branch 3 (44→206) not taken.
 102 auto interfaceType = std::any_cast<QualType>(visit(interfaceNode));
343
2/4
✓ Branch 0 (46→47) taken 102 times.
✗ Branch 1 (46→230) not taken.
✗ Branch 2 (47→48) not taken.
✓ Branch 3 (47→49) taken 102 times.
 102 if (interfaceType.is(TY_UNRESOLVED))
344 ✗ continue;
345 // Check if it is an interface type
346
2/4
✓ Branch 0 (49→50) taken 102 times.
✗ Branch 1 (49→230) not taken.
✗ Branch 2 (50→51) not taken.
✓ Branch 3 (50→58) taken 102 times.
 102 if (!interfaceType.is(TY_INTERFACE))
347 ✗ throw SemanticError(interfaceNode, EXPECTED_INTERFACE_TYPE,
348 ✗ "Expected interface type, got " + interfaceType.getName(false));
349 // Check for visibility
350
9/12
✓ Branch 0 (58→59) taken 102 times.
✗ Branch 1 (58→230) not taken.
✓ Branch 2 (59→60) taken 102 times.
✗ Branch 3 (59→230) not taken.
✓ Branch 4 (60→61) taken 88 times.
✓ Branch 5 (60→64) taken 14 times.
✓ Branch 6 (61→62) taken 88 times.
✗ Branch 7 (61→230) not taken.
✓ Branch 8 (62→63) taken 1 times.
✓ Branch 9 (62→64) taken 87 times.
✓ Branch 10 (65→66) taken 1 times.
✓ Branch 11 (65→74) taken 101 times.
 102 if (interfaceType.getBodyScope()->isImportedBy(rootScope) && !interfaceType.isPublic())
351 ✗ throw SemanticError(node, INSUFFICIENT_VISIBILITY,
352
4/8
✓ Branch 0 (67→68) taken 1 times.
✗ Branch 1 (67→223) not taken.
✓ Branch 2 (68→69) taken 1 times.
✗ Branch 3 (68→223) not taken.
✓ Branch 4 (69→70) taken 1 times.
✗ Branch 5 (69→221) not taken.
✓ Branch 6 (70→71) taken 1 times.
✗ Branch 7 (70→218) not taken.
 1 "Cannot access interface '" + interfaceType.getSubType() + "' due to its private visibility");
353 // Add to interface types
354
1/2
✓ Branch 0 (74→75) taken 101 times.
✗ Branch 1 (74→230) not taken.
 101 interfaceTypes.push_back(interfaceType);
355 // Update the type of the entry for that interface field
356 101 const std::string &interfaceName = interfaceNode->baseDataType->customDataType->typeNameFragments.back();
357
1/2
✓ Branch 0 (76→77) taken 101 times.
✗ Branch 1 (76→229) not taken.
 202 SymbolTableEntry *interfaceEntry = node->structScope->lookupStrict("this." + interfaceName);
358
1/2
✗ Branch 0 (81→82) not taken.
✓ Branch 1 (81→83) taken 101 times.
 101 assert(interfaceEntry != nullptr);
359
1/2
✓ Branch 0 (83→84) taken 101 times.
✗ Branch 1 (83→230) not taken.
 101 interfaceEntry->updateType(interfaceType, false);
360 }
361 }
362
363 // Update type of struct entry
364
1/2
✗ Branch 0 (89→90) not taken.
✓ Branch 1 (89→91) taken 610 times.
 610 assert(node->entry != nullptr);
365 610 const TypeChainElementData data = {.bodyScope = node->structScope};
366
1/2
✓ Branch 0 (91→92) taken 610 times.
✗ Branch 1 (91→286) not taken.
 610 const Type *type = TypeRegistry::getOrInsert(TY_STRUCT, node->structName, node->typeId, data, usedTemplateTypes);
367
2/4
✓ Branch 0 (92→93) taken 610 times.
✗ Branch 1 (92→232) not taken.
✓ Branch 2 (93→94) taken 610 times.
✗ Branch 3 (93→232) not taken.
 610 node->entry->updateType(QualType(type, node->qualifiers), false);
368
369 // Change to struct scope
370 610 currentScope = node->structScope;
371
1/2
✗ Branch 0 (94→95) not taken.
✓ Branch 1 (94→96) taken 610 times.
 610 assert(currentScope->type == ScopeType::STRUCT);
372
373 // Retrieve field types
374 610 QualTypeList fieldTypes;
375
1/2
✓ Branch 0 (97→98) taken 610 times.
✗ Branch 1 (97→284) not taken.
 610 fieldTypes.reserve(node->fields.size());
376
2/2
✓ Branch 0 (141→100) taken 1312 times.
✓ Branch 1 (141→142) taken 607 times.
 1919 for (FieldNode *field : node->fields) {
377 // Visit field type
378
2/4
✓ Branch 0 (101→102) taken 1312 times.
✗ Branch 1 (101→235) not taken.
✓ Branch 2 (102→103) taken 1312 times.
✗ Branch 3 (102→233) not taken.
 1312 auto fieldType = std::any_cast<QualType>(visit(field));
379
3/4
✓ Branch 0 (104→105) taken 1312 times.
✗ Branch 1 (104→254) not taken.
✓ Branch 2 (105→106) taken 2 times.
✓ Branch 3 (105→107) taken 1310 times.
 1312 if (fieldType.is(TY_UNRESOLVED))
380
1/2
✗ Branch 0 (106→107) not taken.
✓ Branch 1 (106→254) taken 2 times.
 2 sourceFile->checkForSoftErrors(); // We get into trouble if we continue without the field type -> abort
381
382 // Check for struct with infinite size.
383 // This can happen if the struct A has a field with type A
384
6/10
✓ Branch 0 (107→108) taken 1310 times.
✗ Branch 1 (107→254) not taken.
✓ Branch 2 (108→109) taken 141 times.
✓ Branch 3 (108→112) taken 1169 times.
✓ Branch 4 (109→110) taken 141 times.
✗ Branch 5 (109→254) not taken.
✗ Branch 6 (110→111) not taken.
✓ Branch 7 (110→112) taken 141 times.
✗ Branch 8 (113→114) not taken.
✓ Branch 9 (113→122) taken 1310 times.
 1310 if (fieldType.is(TY_STRUCT) && fieldType.getBodyScope() == node->structScope)
385 ✗ throw SemanticError(field, STRUCT_INFINITE_SIZE, "Struct with infinite size detected");
386
387 // Add to field types
388
1/2
✓ Branch 0 (122→123) taken 1310 times.
✗ Branch 1 (122→254) not taken.
 1310 fieldTypes.push_back(fieldType);
389
390 // Update type of field entry
391
1/2
✓ Branch 0 (123→124) taken 1310 times.
✗ Branch 1 (123→254) not taken.
 1310 SymbolTableEntry *fieldEntry = currentScope->lookupStrict(field->fieldName);
392
1/2
✗ Branch 0 (126→127) not taken.
✓ Branch 1 (126→128) taken 1310 times.
 1310 assert(fieldEntry != nullptr);
393
1/2
✓ Branch 0 (128→129) taken 1310 times.
✗ Branch 1 (128→254) not taken.
 1310 fieldEntry->updateType(fieldType, false);
394
395 // Check if the template type list contains this type
396
3/4
✓ Branch 0 (129→130) taken 1310 times.
✗ Branch 1 (129→254) not taken.
✓ Branch 2 (130→131) taken 1 times.
✓ Branch 3 (130→139) taken 1309 times.
 1310 if (!fieldType.isCoveredByGenericTypeList(templateTypesGeneric))
397
2/4
✓ Branch 0 (134→135) taken 1 times.
✗ Branch 1 (134→248) not taken.
✓ Branch 2 (135→136) taken 1 times.
✗ Branch 3 (135→245) not taken.
 3 throw SemanticError(field->dataType, GENERIC_TYPE_NOT_IN_TEMPLATE, "Generic field type not included in struct template");
398 }
399
400 // Change to the root scope
401 607 currentScope = rootScope;
402
1/2
✗ Branch 0 (142→143) not taken.
✓ Branch 1 (142→144) taken 607 times.
 607 assert(currentScope->type == ScopeType::GLOBAL);
403
404 // Build struct object
405
4/8
✓ Branch 0 (144→145) taken 607 times.
✗ Branch 1 (144→265) not taken.
✓ Branch 2 (145→146) taken 607 times.
✗ Branch 3 (145→262) not taken.
✓ Branch 4 (146→147) taken 607 times.
✗ Branch 5 (146→259) not taken.
✓ Branch 6 (147→148) taken 607 times.
✗ Branch 7 (147→256) not taken.
 607 Struct spiceStruct(node->structName, node->entry, node->structScope, fieldTypes, templateTypesGeneric, interfaceTypes, node);
406
1/2
✓ Branch 0 (153→154) taken 607 times.
✗ Branch 1 (153→282) not taken.
 607 StructManager::insert(currentScope, spiceStruct, &node->structManifestations);
407 607 spiceStruct.scope = node->structScope;
408
409 // Request RTTI runtime if the struct is polymorphic
410 607 node->emitVTable |= node->hasInterfaces;
411
12/18
✓ Branch 0 (154→155) taken 54 times.
✓ Branch 1 (154→161) taken 553 times.
✓ Branch 2 (157→158) taken 54 times.
✗ Branch 3 (157→266) not taken.
✓ Branch 4 (158→159) taken 54 times.
✗ Branch 5 (158→266) not taken.
✓ Branch 6 (159→160) taken 53 times.
✓ Branch 7 (159→161) taken 1 times.
✓ Branch 8 (162→163) taken 54 times.
✓ Branch 9 (162→164) taken 553 times.
✓ Branch 10 (164→165) taken 54 times.
✓ Branch 11 (164→167) taken 553 times.
✓ Branch 12 (167→168) taken 53 times.
✓ Branch 13 (167→175) taken 554 times.
✗ Branch 14 (266→267) not taken.
✗ Branch 15 (266→268) not taken.
✗ Branch 16 (270→271) not taken.
✗ Branch 17 (270→273) not taken.
 715 if (node->attrs && node->attrs->attrLst->hasAttr(ATTR_CORE_COMPILER_EMIT_VTABLE))
412
2/4
✓ Branch 0 (170→171) taken 53 times.
✗ Branch 1 (170→277) not taken.
✓ Branch 2 (171→172) taken 53 times.
✗ Branch 3 (171→275) not taken.
 159 node->emitVTable |= node->attrs->attrLst->getAttrValueByName(ATTR_CORE_COMPILER_EMIT_VTABLE)->boolValue;
413
7/8
✓ Branch 0 (175→176) taken 154 times.
✓ Branch 1 (175→181) taken 453 times.
✓ Branch 2 (176→177) taken 154 times.
✗ Branch 3 (176→282) not taken.
✓ Branch 4 (179→180) taken 102 times.
✓ Branch 5 (179→181) taken 52 times.
✓ Branch 6 (182→183) taken 102 times.
✓ Branch 7 (182→184) taken 505 times.
 761 if (node->emitVTable && !sourceFile->isRttiRT())
414
1/2
✓ Branch 0 (183→184) taken 102 times.
✗ Branch 1 (183→282) not taken.
 102 sourceFile->requestRuntimeModule(RTTI_RT);
415
416
1/2
✓ Branch 0 (184→185) taken 607 times.
✗ Branch 1 (184→281) not taken.
 1214 return nullptr;
417 622 }
418
419 83 std::any TypeChecker::visitInterfaceDefPrepare(InterfaceDefNode *node) {
420 83 QualTypeList usedTemplateTypes;
421 83 std::vector<GenericType> templateTypesGeneric;
422
423 // Retrieve interface template types
424
2/2
✓ Branch 0 (2→3) taken 62 times.
✓ Branch 1 (2→37) taken 21 times.
 83 if (node->hasTemplateTypes) {
425
1/2
✓ Branch 0 (4→5) taken 62 times.
✗ Branch 1 (4→122) not taken.
 62 usedTemplateTypes.reserve(node->templateTypeLst->dataTypes.size());
426
1/2
✓ Branch 0 (6→7) taken 62 times.
✗ Branch 1 (6→122) not taken.
 62 templateTypesGeneric.reserve(node->templateTypeLst->dataTypes.size());
427
2/2
✓ Branch 0 (35→9) taken 62 times.
✓ Branch 1 (35→36) taken 62 times.
 124 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
428 // Visit template type
429
2/4
✓ Branch 0 (10→11) taken 62 times.
✗ Branch 1 (10→93) not taken.
✓ Branch 2 (11→12) taken 62 times.
✗ Branch 3 (11→91) not taken.
 62 auto templateType = std::any_cast<QualType>(visit(dataType));
430
2/6
✓ Branch 0 (13→14) taken 62 times.
✗ Branch 1 (13→101) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→17) taken 62 times.
✗ Branch 4 (15→16) not taken.
✗ Branch 5 (15→94) not taken.
 62 HANDLE_UNRESOLVED_TYPE_PTR(templateType)
431 // Check if it is a generic type
432
2/4
✓ Branch 0 (17→18) taken 62 times.
✗ Branch 1 (17→101) not taken.
✗ Branch 2 (18→19) not taken.
✓ Branch 3 (18→26) taken 62 times.
 62 if (!templateType.is(TY_GENERIC)) {
433 ✗ softError(dataType, EXPECTED_GENERIC_TYPE, "A template list can only contain generic types");
434 ✗ continue;
435 }
436 // Convert generic symbol type to generic type
437
2/4
✓ Branch 0 (26→27) taken 62 times.
✗ Branch 1 (26→101) not taken.
✓ Branch 2 (27→28) taken 62 times.
✗ Branch 3 (27→101) not taken.
 62 const GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
438
1/2
✗ Branch 0 (28→29) not taken.
✓ Branch 1 (28→30) taken 62 times.
 62 assert(genericType != nullptr);
439
1/2
✓ Branch 0 (30→31) taken 62 times.
✗ Branch 1 (30→101) not taken.
 62 usedTemplateTypes.push_back(*genericType);
440
1/2
✓ Branch 0 (31→32) taken 62 times.
✗ Branch 1 (31→101) not taken.
 62 templateTypesGeneric.push_back(*genericType);
441 }
442 }
443
444 // Update type of interface entry
445 83 const TypeChainElementData data = {.bodyScope = node->interfaceScope};
446
1/2
✓ Branch 0 (37→38) taken 83 times.
✗ Branch 1 (37→122) not taken.
 83 const Type *type = TypeRegistry::getOrInsert(TY_INTERFACE, node->interfaceName, node->typeId, data, usedTemplateTypes);
447
1/2
✓ Branch 0 (38→39) taken 83 times.
✗ Branch 1 (38→122) not taken.
 83 const QualType interfaceType(type, node->qualifiers);
448
1/2
✗ Branch 0 (39→40) not taken.
✓ Branch 1 (39→41) taken 83 times.
 83 assert(node->entry != nullptr);
449
1/2
✓ Branch 0 (41→42) taken 83 times.
✗ Branch 1 (41→122) not taken.
 83 node->entry->updateType(interfaceType, false);
450
451 // Change to interface scope
452 83 currentScope = node->interfaceScope;
453
1/2
✗ Branch 0 (42→43) not taken.
✓ Branch 1 (42→44) taken 83 times.
 83 assert(currentScope->type == ScopeType::INTERFACE);
454
455 // Visit methods
456 83 size_t vtableIndex = 0;
457 83 std::vector<Function *> methods;
458
1/2
✓ Branch 0 (45→46) taken 83 times.
✗ Branch 1 (45→120) not taken.
 83 methods.reserve(node->signatures.size());
459
2/2
✓ Branch 0 (68→48) taken 192 times.
✓ Branch 1 (68→69) taken 82 times.
 274 for (SignatureNode *signature : node->signatures) {
460
2/4
✓ Branch 0 (49→50) taken 192 times.
✗ Branch 1 (49→105) not taken.
✓ Branch 2 (50→51) taken 192 times.
✗ Branch 3 (50→103) not taken.
 192 const auto method = std::any_cast<std::vector<Function *> *>(visit(signature));
461
2/2
✓ Branch 0 (52→53) taken 1 times.
✓ Branch 1 (52→55) taken 191 times.
 192 if (!method)
462
1/2
✓ Branch 0 (53→54) taken 1 times.
✗ Branch 1 (53→106) not taken.
 1 return nullptr;
463
464 // Set 'this' type
465
2/2
✓ Branch 0 (60→57) taken 191 times.
✓ Branch 1 (60→61) taken 191 times.
 382 for (Function *m : *method) {
466 191 m->isVirtual = true; // Interface methods are always virtual
467 191 m->vtableIndex = vtableIndex;
468 191 m->thisType = interfaceType;
469 }
470
471
1/2
✓ Branch 0 (65→66) taken 191 times.
✗ Branch 1 (65→107) not taken.
 191 methods.insert(methods.end(), method->begin(), method->end());
472 191 vtableIndex++;
473 }
474
475 // Change to root scope
476 82 currentScope = rootScope;
477
1/2
✗ Branch 0 (69→70) not taken.
✓ Branch 1 (69→71) taken 82 times.
 82 assert(currentScope->type == ScopeType::GLOBAL);
478
479 // Build interface object
480
3/6
✓ Branch 0 (71→72) taken 82 times.
✗ Branch 1 (71→116) not taken.
✓ Branch 2 (72→73) taken 82 times.
✗ Branch 3 (72→113) not taken.
✓ Branch 4 (73→74) taken 82 times.
✗ Branch 5 (73→110) not taken.
 82 Interface spiceInterface(node->interfaceName, node->entry, node->interfaceScope, methods, templateTypesGeneric, node);
481
1/2
✓ Branch 0 (78→79) taken 82 times.
✗ Branch 1 (78→118) not taken.
 82 InterfaceManager::insert(currentScope, spiceInterface, &node->interfaceManifestations);
482 82 spiceInterface.scope = node->interfaceScope;
483
484 // Request RTTI runtime, that is always required when dealing with interfaces due to polymorphism
485
2/4
✓ Branch 0 (79→80) taken 82 times.
✗ Branch 1 (79→118) not taken.
✓ Branch 2 (82→83) taken 82 times.
✗ Branch 3 (82→84) not taken.
 164 if (!sourceFile->isRttiRT())
486
1/2
✓ Branch 0 (83→84) taken 82 times.
✗ Branch 1 (83→118) not taken.
 82 sourceFile->requestRuntimeModule(RTTI_RT);
487
488
1/2
✓ Branch 0 (84→85) taken 82 times.
✗ Branch 1 (84→117) not taken.
 82 return nullptr;
489 83 }
490
491 63 std::any TypeChecker::visitEnumDefPrepare(EnumDefNode *node) {
492 // Update type of enum entry
493 63 const TypeChainElementData data = {.bodyScope = node->enumScope};
494
1/2
✓ Branch 0 (3→4) taken 63 times.
✗ Branch 1 (3→59) not taken.
 63 const Type *type = TypeRegistry::getOrInsert(TY_ENUM, node->enumName, node->typeId, data, {});
495
1/2
✗ Branch 0 (5→6) not taken.
✓ Branch 1 (5→7) taken 63 times.
 63 assert(node->entry != nullptr);
496
2/4
✓ Branch 0 (7→8) taken 63 times.
✗ Branch 1 (7→62) not taken.
✓ Branch 2 (8→9) taken 63 times.
✗ Branch 3 (8→62) not taken.
 63 node->entry->updateType(QualType(type, node->qualifiers), false);
497
498 // Change to enum scope
499 63 currentScope = node->enumScope;
500
1/2
✗ Branch 0 (9→10) not taken.
✓ Branch 1 (9→11) taken 63 times.
 63 assert(currentScope->type == ScopeType::ENUM);
501
502 // Loop through all items with values
503 63 std::vector<std::string> names;
504 63 std::vector<uint32_t> values;
505
2/2
✓ Branch 0 (30→13) taken 733 times.
✓ Branch 1 (30→31) taken 63 times.
 796 for (const EnumItemNode *enumItem : node->itemLst->items) {
506 // Save name
507
1/2
✓ Branch 0 (14→15) taken 733 times.
✗ Branch 1 (14→71) not taken.
 733 names.push_back(enumItem->itemName);
508 // Check for duplicate value
509
2/2
✓ Branch 0 (15→16) taken 409 times.
✓ Branch 1 (15→28) taken 324 times.
 733 if (enumItem->hasValue) {
510
3/4
✓ Branch 0 (17→18) taken 409 times.
✗ Branch 1 (17→63) not taken.
✓ Branch 2 (19→20) taken 1 times.
✓ Branch 3 (19→27) taken 408 times.
 409 if (std::ranges::find(values, enumItem->itemValue) != values.end()) {
511
2/4
✓ Branch 0 (22→23) taken 1 times.
✗ Branch 1 (22→67) not taken.
✓ Branch 2 (23→24) taken 1 times.
✗ Branch 3 (23→65) not taken.
 1 softError(enumItem, DUPLICATE_ENUM_ITEM_VALUE, "Duplicate enum item value, please use another");
512 1 continue;
513 }
514
1/2
✓ Branch 0 (27→28) taken 408 times.
✗ Branch 1 (27→71) not taken.
 408 values.push_back(enumItem->itemValue);
515 }
516 }
517
518 // Loop through all items without values
519 63 uint32_t nextValue = 0;
520
1/2
✓ Branch 0 (31→32) taken 63 times.
✗ Branch 1 (31→76) not taken.
 63 const QualType intSymbolType(TY_INT);
521
2/2
✓ Branch 0 (51→34) taken 733 times.
✓ Branch 1 (51→52) taken 63 times.
 796 for (EnumItemNode *enumItem : node->itemLst->items) {
522 // Update type of enum item entry
523
1/2
✓ Branch 0 (35→36) taken 733 times.
✗ Branch 1 (35→74) not taken.
 733 SymbolTableEntry *itemEntry = currentScope->lookupStrict(enumItem->itemName);
524
1/2
✗ Branch 0 (38→39) not taken.
✓ Branch 1 (38→40) taken 733 times.
 733 assert(itemEntry != nullptr);
525
1/2
✓ Branch 0 (40→41) taken 733 times.
✗ Branch 1 (40→74) not taken.
 733 itemEntry->updateType(intSymbolType, false);
526 // Fill in value if not filled yet
527
2/2
✓ Branch 0 (41→42) taken 324 times.
✓ Branch 1 (41→49) taken 409 times.
 733 if (!enumItem->hasValue) {
528
3/4
✓ Branch 0 (45→46) taken 610 times.
✗ Branch 1 (45→72) not taken.
✓ Branch 2 (47→43) taken 286 times.
✓ Branch 3 (47→48) taken 324 times.
 610 while (std::ranges::find(values, nextValue) != values.end())
529 286 nextValue++;
530 324 enumItem->itemValue = nextValue;
531
1/2
✓ Branch 0 (48→49) taken 324 times.
✗ Branch 1 (48→74) not taken.
 324 values.push_back(nextValue);
532 }
533 }
534
535 // Change to root scope
536 63 currentScope = rootScope;
537
1/2
✗ Branch 0 (52→53) not taken.
✓ Branch 1 (52→54) taken 63 times.
 63 assert(currentScope->type == ScopeType::GLOBAL);
538
539
1/2
✓ Branch 0 (54→55) taken 63 times.
✗ Branch 1 (54→75) not taken.
 126 return nullptr;
540 63 }
541
542 816 std::any TypeChecker::visitGenericTypeDefPrepare(GenericTypeDefNode *node) {
543 // Retrieve type conditions
544 816 QualTypeList typeConditions;
545
1/2
✓ Branch 0 (3→4) taken 816 times.
✗ Branch 1 (3→60) not taken.
 816 typeConditions.reserve(node->typeAltsLst->dataTypes.size());
546
2/2
✓ Branch 0 (17→6) taken 1590 times.
✓ Branch 1 (17→18) taken 816 times.
 2406 for (const auto &typeAlt : node->typeAltsLst->dataTypes) {
547
2/4
✓ Branch 0 (7→8) taken 1590 times.
✗ Branch 1 (7→48) not taken.
✓ Branch 2 (8→9) taken 1590 times.
✗ Branch 3 (8→46) not taken.
 1590 auto typeCondition = std::any_cast<QualType>(visit(typeAlt));
548
2/6
✓ Branch 0 (10→11) taken 1590 times.
✗ Branch 1 (10→50) not taken.
✗ Branch 2 (11→12) not taken.
✓ Branch 3 (11→14) taken 1590 times.
✗ Branch 4 (12→13) not taken.
✗ Branch 5 (12→49) not taken.
 1590 HANDLE_UNRESOLVED_TYPE_PTR(typeCondition)
549
1/2
✓ Branch 0 (14→15) taken 1590 times.
✗ Branch 1 (14→50) not taken.
 1590 typeConditions.push_back(typeCondition);
550 }
551
552 // Add generic type to the scope
553
2/4
✓ Branch 0 (18→19) taken 816 times.
✗ Branch 1 (18→54) not taken.
✓ Branch 2 (19→20) taken 816 times.
✗ Branch 3 (19→52) not taken.
 816 const GenericType genericType(node->typeName, typeConditions);
554
1/2
✓ Branch 0 (21→22) taken 816 times.
✗ Branch 1 (21→58) not taken.
 816 rootScope->insertGenericType(node->typeName, genericType);
555
556 // Check if only one type condition is set
557
7/8
✓ Branch 0 (23→24) taken 289 times.
✓ Branch 1 (23→28) taken 527 times.
✓ Branch 2 (25→26) taken 289 times.
✗ Branch 3 (25→58) not taken.
✓ Branch 4 (26→27) taken 2 times.
✓ Branch 5 (26→28) taken 287 times.
✓ Branch 6 (29→30) taken 2 times.
✓ Branch 7 (29→32) taken 814 times.
 816 if (typeConditions.size() == 1 && !typeConditions.front().is(TY_DYN))
558
1/2
✓ Branch 0 (30→31) taken 2 times.
✗ Branch 1 (30→55) not taken.
 2 sourceFile->compilerOutput.warnings.emplace_back(node->typeAltsLst->codeLoc, SINGLE_GENERIC_TYPE_CONDITION,
559 "Generic type is locked to one type");
560
561 // Check if the list contains the dyn type, along with other types
562
1/2
✓ Branch 0 (32→33) taken 816 times.
✗ Branch 1 (32→58) not taken.
 2404 const bool containsDynType = std::ranges::any_of(typeConditions, [&](const QualType &type) { return type.is(TY_DYN); });
563
6/6
✓ Branch 0 (33→34) taken 289 times.
✓ Branch 1 (33→37) taken 527 times.
✓ Branch 2 (35→36) taken 2 times.
✓ Branch 3 (35→37) taken 287 times.
✓ Branch 4 (38→39) taken 2 times.
✓ Branch 5 (38→41) taken 814 times.
 816 if (containsDynType && typeConditions.size() > 1)
564 2 sourceFile->compilerOutput.warnings.emplace_back(
565
1/2
✓ Branch 0 (39→40) taken 2 times.
✗ Branch 1 (39→56) not taken.
 2 node->typeAltsLst->codeLoc, INEFFECTIVE_GENERIC_TYPE_CONDITION,
566 "One or several type conditions are superfluous, because the dyn type condition is given");
567
568
1/2
✓ Branch 0 (41→42) taken 816 times.
✗ Branch 1 (41→57) not taken.
 816 return nullptr;
569 816 }
570
571 54 std::any TypeChecker::visitAliasDefPrepare(AliasDefNode *node) {
572
2/4
✓ Branch 0 (2→3) taken 54 times.
✗ Branch 1 (2→5) not taken.
✓ Branch 2 (3→4) taken 54 times.
✗ Branch 3 (3→5) not taken.
 54 assert(node->entry != nullptr && node->aliasedTypeContainerEntry != nullptr);
573
574 // Update type of alias entry
575
1/2
✓ Branch 0 (7→8) taken 54 times.
✗ Branch 1 (7→23) not taken.
 54 const Type *type = TypeRegistry::getOrInsert(TY_ALIAS, node->aliasName, node->typeId, {}, {});
576
2/4
✓ Branch 0 (9→10) taken 54 times.
✗ Branch 1 (9→27) not taken.
✓ Branch 2 (10→11) taken 54 times.
✗ Branch 3 (10→27) not taken.
 54 node->entry->updateType(QualType(type, node->qualifiers), false);
577
578 // Update type of the aliased type container entry
579
2/4
✓ Branch 0 (11→12) taken 54 times.
✗ Branch 1 (11→30) not taken.
✓ Branch 2 (12→13) taken 54 times.
✗ Branch 3 (12→28) not taken.
 54 const auto aliasedType = std::any_cast<QualType>(visit(node->dataType));
580
4/6
✓ Branch 0 (14→15) taken 54 times.
✗ Branch 1 (14→33) not taken.
✓ Branch 2 (15→16) taken 1 times.
✓ Branch 3 (15→18) taken 53 times.
✓ Branch 4 (16→17) taken 1 times.
✗ Branch 5 (16→31) not taken.
 54 HANDLE_UNRESOLVED_TYPE_PTR(aliasedType)
581
1/2
✓ Branch 0 (18→19) taken 53 times.
✗ Branch 1 (18→33) not taken.
 53 node->aliasedTypeContainerEntry->updateType(aliasedType, false);
582 53 node->aliasedTypeContainerEntry->used = true; // The container type is always used per default
583
584
1/2
✓ Branch 0 (19→20) taken 53 times.
✗ Branch 1 (19→32) not taken.
 53 return nullptr;
585 }
586
587 1200 std::any TypeChecker::visitGlobalVarDefPrepare(GlobalVarDefNode *node) {
588 // Insert variable name to symbol table
589
2/4
✓ Branch 0 (2→3) taken 1200 times.
✗ Branch 1 (2→80) not taken.
✓ Branch 2 (3→4) taken 1200 times.
✗ Branch 3 (3→78) not taken.
 1200 auto globalVarType = std::any_cast<QualType>(visit(node->dataType));
590
2/6
✓ Branch 0 (5→6) taken 1200 times.
✗ Branch 1 (5→126) not taken.
✗ Branch 2 (6→7) not taken.
✓ Branch 3 (6→9) taken 1200 times.
✗ Branch 4 (7→8) not taken.
✗ Branch 5 (7→81) not taken.
 1200 HANDLE_UNRESOLVED_TYPE_PTR(globalVarType)
591
592
2/2
✓ Branch 0 (9→10) taken 1198 times.
✓ Branch 1 (9→37) taken 2 times.
 1200 if (node->constant) { // Variable is initialized here
593
2/4
✓ Branch 0 (10→11) taken 1198 times.
✗ Branch 1 (10→84) not taken.
✓ Branch 2 (11→12) taken 1198 times.
✗ Branch 3 (11→82) not taken.
 1198 const QualType rhsType = std::any_cast<ExprResult>(visit(node->constant)).type;
594
2/6
✓ Branch 0 (13→14) taken 1198 times.
✗ Branch 1 (13→103) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→17) taken 1198 times.
✗ Branch 4 (15→16) not taken.
✗ Branch 5 (15→86) not taken.
 1198 HANDLE_UNRESOLVED_TYPE_PTR(rhsType)
595
3/4
✓ Branch 0 (17→18) taken 1198 times.
✗ Branch 1 (17→103) not taken.
✓ Branch 2 (18→19) taken 1 times.
✓ Branch 3 (18→20) taken 1197 times.
 1198 if (globalVarType.is(TY_DYN)) { // Perform type inference
596 1 globalVarType = rhsType;
597
3/4
✓ Branch 0 (20→21) taken 1197 times.
✗ Branch 1 (20→103) not taken.
✓ Branch 2 (21→22) taken 2 times.
✓ Branch 3 (21→35) taken 1195 times.
 1197 } else if (!globalVarType.matches(rhsType, false, true, true)) { // Check if types are matching
598
7/14
✓ Branch 0 (22→23) taken 2 times.
✗ Branch 1 (22→100) not taken.
✓ Branch 2 (23→24) taken 2 times.
✗ Branch 3 (23→95) not taken.
✓ Branch 4 (24→25) taken 2 times.
✗ Branch 5 (24→93) not taken.
✓ Branch 6 (25→26) taken 2 times.
✗ Branch 7 (25→91) not taken.
✓ Branch 8 (26→27) taken 2 times.
✗ Branch 9 (26→89) not taken.
✓ Branch 10 (27→28) taken 2 times.
✗ Branch 11 (27→87) not taken.
✓ Branch 12 (33→34) taken 2 times.
✗ Branch 13 (33→102) not taken.
 2 SOFT_ERROR_BOOL(node->constant, OPERATOR_WRONG_DATA_TYPE,
599 "Expected " + globalVarType.getName(false) + ", but got " + rhsType.getName(false))
600 }
601 }
602
603 // Check if the type is still missing
604
3/4
✓ Branch 0 (37→38) taken 1198 times.
✗ Branch 1 (37→126) not taken.
✓ Branch 2 (38→39) taken 1 times.
✓ Branch 3 (38→47) taken 1197 times.
 1198 if (globalVarType.is(TY_DYN))
605
3/6
✓ Branch 0 (41→42) taken 1 times.
✗ Branch 1 (41→106) not taken.
✓ Branch 2 (42→43) taken 1 times.
✗ Branch 3 (42→104) not taken.
✓ Branch 4 (45→46) taken 1 times.
✗ Branch 5 (45→110) not taken.
 3 SOFT_ERROR_BOOL(node->dataType, GLOBAL_OF_TYPE_DYN, "Global variables must have an explicit data type")
606
607 // Check if we would need to insert instructions in the global scope to initialize the variable
608
2/4
✓ Branch 0 (47→48) taken 1197 times.
✗ Branch 1 (47→126) not taken.
✗ Branch 2 (48→49) not taken.
✓ Branch 3 (48→57) taken 1197 times.
 1197 if (!globalVarType.isPrimitive())
609 ✗ SOFT_ERROR_BOOL(node->dataType, GLOBAL_OF_INVALID_TYPE, "Spice does only support global variables of primitive type")
610
611 // Update type of global var entry
612
1/2
✗ Branch 0 (57→58) not taken.
✓ Branch 1 (57→59) taken 1197 times.
 1197 assert(node->entry != nullptr);
613
1/2
✓ Branch 0 (59→60) taken 1197 times.
✗ Branch 1 (59→126) not taken.
 1197 node->entry->updateType(globalVarType, false);
614
615 // Check if a value is attached
616
6/8
✓ Branch 0 (60→61) taken 1 times.
✓ Branch 1 (60→64) taken 1196 times.
✓ Branch 2 (61→62) taken 1 times.
✗ Branch 3 (61→126) not taken.
✓ Branch 4 (62→63) taken 1 times.
✗ Branch 5 (62→64) not taken.
✓ Branch 6 (65→66) taken 1 times.
✓ Branch 7 (65→74) taken 1196 times.
 1197 if (!node->constant && globalVarType.isConst())
617
3/6
✓ Branch 0 (68→69) taken 1 times.
✗ Branch 1 (68→120) not taken.
✓ Branch 2 (69→70) taken 1 times.
✗ Branch 3 (69→118) not taken.
✓ Branch 4 (72→73) taken 1 times.
✗ Branch 5 (72→124) not taken.
 3 SOFT_ERROR_BOOL(node, GLOBAL_CONST_WITHOUT_VALUE, "You must specify a value for constant global variables")
618
619
1/2
✓ Branch 0 (74→75) taken 1196 times.
✗ Branch 1 (74→125) not taken.
 1196 return nullptr;
620 }
621
622 882 std::any TypeChecker::visitExtDeclPrepare(ExtDeclNode *node) {
623 // Collect argument types
624 882 QualTypeList argTypes;
625 882 ParamList argList;
626
2/2
✓ Branch 0 (2→3) taken 842 times.
✓ Branch 1 (2→31) taken 40 times.
 882 if (node->hasArgs) {
627
1/2
✓ Branch 0 (4→5) taken 842 times.
✗ Branch 1 (4→149) not taken.
 842 argList.reserve(node->argTypeLst->dataTypes.size());
628
2/2
✓ Branch 0 (29→7) taken 1730 times.
✓ Branch 1 (29→30) taken 842 times.
 2572 for (DataTypeNode *arg : node->argTypeLst->dataTypes) {
629 // Visit argument
630
2/4
✓ Branch 0 (8→9) taken 1730 times.
✗ Branch 1 (8→96) not taken.
✓ Branch 2 (9→10) taken 1730 times.
✗ Branch 3 (9→94) not taken.
 1730 auto argType = std::any_cast<QualType>(visit(arg));
631
2/6
✓ Branch 0 (11→12) taken 1730 times.
✗ Branch 1 (11→105) not taken.
✗ Branch 2 (12→13) not taken.
✓ Branch 3 (12→15) taken 1730 times.
✗ Branch 4 (13→14) not taken.
✗ Branch 5 (13→97) not taken.
 1730 HANDLE_UNRESOLVED_TYPE_PTR(argType)
632 // Check if the argument type is 'dyn'
633
3/4
✓ Branch 0 (15→16) taken 1730 times.
✗ Branch 1 (15→105) not taken.
✓ Branch 2 (16→17) taken 1 times.
✓ Branch 3 (16→24) taken 1729 times.
 1730 if (argType.is(TY_DYN)) {
634
2/4
✓ Branch 0 (19→20) taken 1 times.
✗ Branch 1 (19→100) not taken.
✓ Branch 2 (20→21) taken 1 times.
✗ Branch 3 (20→98) not taken.
 1 softError(arg, UNEXPECTED_DYN_TYPE, "Dyn data type is not allowed as arg type for external functions");
635 1 continue;
636 }
637 // Save argument
638
1/2
✓ Branch 0 (24→25) taken 1729 times.
✗ Branch 1 (24→105) not taken.
 1729 argTypes.push_back(argType);
639
1/2
✓ Branch 0 (25→26) taken 1729 times.
✗ Branch 1 (25→104) not taken.
 1729 argList.push_back({argType, false});
640 }
641 }
642
643 // Retrieve return type
644
1/2
✓ Branch 0 (31→32) taken 882 times.
✗ Branch 1 (31→149) not taken.
 882 QualType returnType(TY_DYN);
645 882 const bool isFunction = node->returnType;
646
2/2
✓ Branch 0 (32→33) taken 576 times.
✓ Branch 1 (32→50) taken 306 times.
 882 if (isFunction) { // External function
647
2/4
✓ Branch 0 (33→34) taken 576 times.
✗ Branch 1 (33→109) not taken.
✓ Branch 2 (34→35) taken 576 times.
✗ Branch 3 (34→107) not taken.
 576 returnType = std::any_cast<QualType>(visit(node->returnType));
648
2/6
✓ Branch 0 (36→37) taken 576 times.
✗ Branch 1 (36→149) not taken.
✗ Branch 2 (37→38) not taken.
✓ Branch 3 (37→40) taken 576 times.
✗ Branch 4 (38→39) not taken.
✗ Branch 5 (38→111) not taken.
 576 HANDLE_UNRESOLVED_TYPE_PTR(returnType)
649 // Check if return type is dyn
650
3/4
✓ Branch 0 (40→41) taken 576 times.
✗ Branch 1 (40→149) not taken.
✓ Branch 2 (41→42) taken 1 times.
✓ Branch 3 (41→50) taken 575 times.
 576 if (returnType.is(TY_DYN))
651
3/6
✓ Branch 0 (44→45) taken 1 times.
✗ Branch 1 (44→114) not taken.
✓ Branch 2 (45→46) taken 1 times.
✗ Branch 3 (45→112) not taken.
✓ Branch 4 (48→49) taken 1 times.
✗ Branch 5 (48→118) not taken.
 3 SOFT_ERROR_BOOL(node->returnType, UNEXPECTED_DYN_TYPE, "dyn is not allowed as return type for external functions")
652 }
653
654 // Add function to current scope
655
3/6
✓ Branch 0 (51→52) taken 881 times.
✗ Branch 1 (51→123) not taken.
✓ Branch 2 (52→53) taken 881 times.
✗ Branch 3 (52→120) not taken.
✓ Branch 4 (53→54) taken 881 times.
✗ Branch 5 (53→119) not taken.
 881 const Function spiceFunc(node->extFunctionName, node->entry, QualType(TY_DYN), returnType, argList, {}, node);
656
1/2
✓ Branch 0 (58→59) taken 881 times.
✗ Branch 1 (58→147) not taken.
 881 node->extFunction = FunctionManager::insert(currentScope, spiceFunc, &node->extFunctionManifestations);
657 881 node->extFunction->mangleFunctionName = false;
658 881 node->extFunction->alreadyTypeChecked = true;
659
660 // Check procedure attributes
661
2/2
✓ Branch 0 (59→60) taken 1 times.
✓ Branch 1 (59→77) taken 880 times.
 881 if (node->attrs) {
662 1 const AttrLstNode *attrLst = node->attrs->attrLst;
663
3/6
✓ Branch 0 (62→63) taken 1 times.
✗ Branch 1 (62→129) not taken.
✓ Branch 2 (63→64) taken 1 times.
✗ Branch 3 (63→127) not taken.
✗ Branch 4 (66→67) not taken.
✓ Branch 5 (66→68) taken 1 times.
 3 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLE))
664 ✗ node->extFunction->mangleFunctionName = value->boolValue;
665
3/6
✓ Branch 0 (70→71) taken 1 times.
✗ Branch 1 (70→135) not taken.
✓ Branch 2 (71→72) taken 1 times.
✗ Branch 3 (71→133) not taken.
✓ Branch 4 (74→75) taken 1 times.
✗ Branch 5 (74→77) not taken.
 3 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLED_NAME)) {
666
1/2
✓ Branch 0 (75→76) taken 1 times.
✗ Branch 1 (75→147) not taken.
 1 const std::string &stringValue = resourceManager.compileTimeStringValues.at(value->stringValueOffset);
667
1/2
✓ Branch 0 (76→77) taken 1 times.
✗ Branch 1 (76→147) not taken.
 1 node->extFunction->predefinedMangledName = stringValue;
668 }
669 }
670
671 // Prepare ext function type
672
2/2
✓ Branch 0 (77→78) taken 575 times.
✓ Branch 1 (77→79) taken 306 times.
 881 const SuperType superType = isFunction ? TY_FUNCTION : TY_PROCEDURE;
673
2/4
✓ Branch 0 (80→81) taken 881 times.
✗ Branch 1 (80→139) not taken.
✓ Branch 2 (81→82) taken 881 times.
✗ Branch 3 (81→139) not taken.
 881 const QualType extFunctionType = QualType(superType).getWithFunctionParamAndReturnTypes(returnType, argTypes);
674
675 // Set type of external function
676
1/2
✓ Branch 0 (82→83) taken 881 times.
✗ Branch 1 (82→147) not taken.
 881 node->entry->updateType(extFunctionType, false);
677
678 // Rename the original child scope to reflect the substantiated versions of the external function
679
3/6
✓ Branch 0 (83→84) taken 881 times.
✗ Branch 1 (83→145) not taken.
✓ Branch 2 (84→85) taken 881 times.
✗ Branch 3 (84→142) not taken.
✓ Branch 4 (85→86) taken 881 times.
✗ Branch 5 (85→140) not taken.
 881 currentScope->renameChildScope(node->getScopeId(), spiceFunc.getSignature(false));
680
681
1/2
✓ Branch 0 (88→89) taken 881 times.
✗ Branch 1 (88→146) not taken.
 881 return nullptr;
682 882 }
683
684 516 std::any TypeChecker::visitImportDefPrepare(ImportDefNode *node) {
685 // Set entry to import type
686
1/2
✓ Branch 0 (2→3) taken 516 times.
✗ Branch 1 (2→10) not taken.
 516 const QualType importType(TY_IMPORT, node->importName);
687
1/2
✗ Branch 0 (3→4) not taken.
✓ Branch 1 (3→5) taken 516 times.
 516 assert(node->entry != nullptr);
688
1/2
✓ Branch 0 (5→6) taken 516 times.
✗ Branch 1 (5→10) not taken.
 516 node->entry->updateType(importType, false);
689
690
1/2
✓ Branch 0 (6→7) taken 516 times.
✗ Branch 1 (6→9) not taken.
 516 return nullptr;
691 }
692
693 } // namespace spice::compiler
694