GCC Code Coverage Report

Directory: ../
File: src/typechecker/TypeCheckerTopLevelDefinitionsPrepare.cpp
Date: 2025-03-05 01:50:32
Exec Total Coverage
Lines: 390 414 94.2%
Functions: 14 14 100.0%
Branches: 546 976 55.9%
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 360 std::any TypeChecker::visitMainFctDefPrepare(MainFctDefNode *node) {
15 // Mark unreachable statements
16 360 bool returnsOnAllControlPaths = true;
17
1/2
✓ Branch 0 (2→3) taken 360 times.
✗ Branch 1 (2→68) not taken.
 360 node->returnsOnAllControlPaths(&returnsOnAllControlPaths);
18
19 // Retrieve return type
20
1/2
✓ Branch 0 (3→4) taken 360 times.
✗ Branch 1 (3→68) not taken.
 360 const QualType returnType(TY_INT);
21
22 // Change to function body scope
23 360 currentScope = node->bodyScope;
24
25 // Set type of 'result' variable to int
26
1/2
✓ Branch 0 (6→7) taken 360 times.
✗ Branch 1 (6→47) not taken.
 1080 SymbolTableEntry *resultEntry = currentScope->lookupStrict(RETURN_VARIABLE_NAME);
27
1/2
✗ Branch 0 (12→13) not taken.
✓ Branch 1 (12→14) taken 360 times.
 360 assert(resultEntry != nullptr);
28
1/2
✓ Branch 0 (14→15) taken 360 times.
✗ Branch 1 (14→68) not taken.
 360 resultEntry->updateType(returnType, false);
29 360 resultEntry->used = true;
30
31 // Retrieve param types
32 360 QualTypeList paramTypes;
33
2/2
✓ Branch 0 (15→16) taken 4 times.
✓ Branch 1 (15→28) taken 356 times.
 360 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 360 times.
✗ Branch 1 (28→58) not taken.
✓ Branch 2 (29→30) taken 360 times.
✗ Branch 3 (29→58) not taken.
 360 const QualType functionType = QualType(TY_FUNCTION).getWithFunctionParamAndReturnTypes(returnType, paramTypes);
41
42 // Update main function symbol type
43
1/2
✓ Branch 0 (32→33) taken 360 times.
✗ Branch 1 (32→61) not taken.
 1080 SymbolTableEntry *functionEntry = rootScope->lookupStrict(MAIN_FUNCTION_NAME);
44
1/2
✗ Branch 0 (38→39) not taken.
✓ Branch 1 (38→40) taken 360 times.
 360 assert(functionEntry != nullptr);
45
1/2
✓ Branch 0 (40→41) taken 360 times.
✗ Branch 1 (40→66) not taken.
 360 functionEntry->updateType(functionType, false);
46 360 functionEntry->used = true;
47
48 // Leave main function body scope
49 360 currentScope = rootScope;
50
51
1/2
✓ Branch 0 (41→42) taken 360 times.
✗ Branch 1 (41→65) not taken.
 720 return nullptr;
52 360 }
53
54 6226 std::any TypeChecker::visitFctDefPrepare(FctDefNode *node) {
55 // Check if name is dtor
56
3/4
✓ Branch 0 (2→3) taken 6226 times.
✗ Branch 1 (2→376) not taken.
✓ Branch 2 (3→4) taken 1 times.
✓ Branch 3 (3→12) taken 6225 times.
 6226 if (node->name->name == DTOR_FUNCTION_NAME)
57
3/6
✓ Branch 0 (6→7) taken 1 times.
✗ Branch 1 (6→236) not taken.
✓ Branch 2 (7→8) taken 1 times.
✗ Branch 3 (7→234) not taken.
✓ Branch 4 (10→11) taken 1 times.
✗ Branch 5 (10→240) 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 6225 bool doSetPredecessorsUnreachable = true;
61
3/4
✓ Branch 0 (12→13) taken 6225 times.
✗ Branch 1 (12→376) not taken.
✓ Branch 2 (13→14) taken 1 times.
✓ Branch 3 (13→22) taken 6224 times.
 6225 if (!node->returnsOnAllControlPaths(&doSetPredecessorsUnreachable))
62
3/6
✓ Branch 0 (16→17) taken 1 times.
✗ Branch 1 (16→243) not taken.
✓ Branch 2 (17→18) taken 1 times.
✗ Branch 3 (17→241) not taken.
✓ Branch 4 (20→21) taken 1 times.
✗ Branch 5 (20→247) 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 6224 currentScope = node->scope;
66
1/2
✗ Branch 0 (22→23) not taken.
✓ Branch 1 (22→24) taken 6224 times.
 6224 assert(currentScope->type == ScopeType::FUNC_PROC_BODY);
67
68 // Retrieve function template types
69 6224 std::vector<GenericType> usedGenericTypes;
70
2/2
✓ Branch 0 (24→25) taken 834 times.
✓ Branch 1 (24→54) taken 5390 times.
 6224 if (node->hasTemplateTypes) {
71
2/2
✓ Branch 0 (52→27) taken 1014 times.
✓ Branch 1 (52→53) taken 833 times.
 1847 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
72 // Visit template type
73
2/4
✓ Branch 0 (28→29) taken 1014 times.
✗ Branch 1 (28→250) not taken.
✓ Branch 2 (29→30) taken 1014 times.
✗ Branch 3 (29→248) not taken.
 1014 auto templateType = std::any_cast<QualType>(visit(dataType));
74
2/4
✓ Branch 0 (31→32) taken 1014 times.
✗ Branch 1 (31→260) not taken.
✗ Branch 2 (32→33) not taken.
✓ Branch 3 (32→34) taken 1014 times.
 1014 if (templateType.is(TY_UNRESOLVED))
75 ✗ continue;
76 // Check if it is a generic type
77
3/4
✓ Branch 0 (34→35) taken 1014 times.
✗ Branch 1 (34→260) not taken.
✓ Branch 2 (35→36) taken 1 times.
✓ Branch 3 (35→44) taken 1013 times.
 1014 if (!templateType.is(TY_GENERIC))
78
2/4
✓ Branch 0 (39→40) taken 1 times.
✗ Branch 1 (39→254) not taken.
✓ Branch 2 (40→41) taken 1 times.
✗ Branch 3 (40→251) 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 1013 times.
✗ Branch 1 (44→260) not taken.
✓ Branch 2 (45→46) taken 1013 times.
✗ Branch 3 (45→260) not taken.
 1013 GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
81
1/2
✗ Branch 0 (46→47) not taken.
✓ Branch 1 (46→48) taken 1013 times.
 1013 assert(genericType != nullptr);
82
1/2
✓ Branch 0 (48→49) taken 1013 times.
✗ Branch 1 (48→260) not taken.
 1013 usedGenericTypes.push_back(*genericType);
83 }
84 }
85
86 // Retrieve 'this' type
87
1/2
✓ Branch 0 (54→55) taken 6223 times.
✗ Branch 1 (54→374) not taken.
 6223 QualType thisType(TY_DYN); // If the function is not a method, the default this type is TY_DYN
88 6223 QualType thisPtrType = thisType;
89
2/2
✓ Branch 0 (55→56) taken 2726 times.
✓ Branch 1 (55→85) taken 3497 times.
 6223 if (node->isMethod) {
90 2726 Scope *structParentScope = node->structScope->parent;
91
1/2
✓ Branch 0 (56→57) taken 2726 times.
✗ Branch 1 (56→374) not taken.
 2726 SymbolTableEntry *structEntry = structParentScope->lookupStrict(node->name->structName);
92
1/2
✗ Branch 0 (59→60) not taken.
✓ Branch 1 (59→61) taken 2726 times.
 2726 assert(structEntry != nullptr);
93 // Set struct to used
94 2726 structEntry->used = true;
95 // Get type and ptr type
96
1/2
✓ Branch 0 (61→62) taken 2726 times.
✗ Branch 1 (61→374) not taken.
 2726 thisType = structEntry->getQualType();
97
1/2
✓ Branch 0 (62→63) taken 2726 times.
✗ Branch 1 (62→262) not taken.
 2726 thisPtrType = thisType.toPtr(node);
98 // Collect template types of 'this' type
99
3/4
✓ Branch 0 (63→64) taken 2726 times.
✗ Branch 1 (63→264) not taken.
✓ Branch 2 (73→66) taken 951 times.
✓ Branch 3 (73→74) taken 2726 times.
 3677 for (const QualType &templateType : thisType.getTemplateTypes()) {
100 223 const auto lambda = [&](const GenericType &genericType) { return genericType == templateType; };
101
3/4
✓ Branch 0 (67→68) taken 951 times.
✗ Branch 1 (67→263) not taken.
✓ Branch 2 (68→69) taken 947 times.
✓ Branch 3 (68→70) taken 4 times.
 951 if (std::ranges::none_of(usedGenericTypes, lambda))
102
1/2
✓ Branch 0 (69→70) taken 947 times.
✗ Branch 1 (69→263) not taken.
 947 usedGenericTypes.emplace_back(templateType);
103 951 usedGenericTypes.back().used = true;
104 }
105
106 // Set type of 'this' variable
107
1/2
✓ Branch 0 (76→77) taken 2726 times.
✗ Branch 1 (76→267) not taken.
 8178 SymbolTableEntry *thisEntry = currentScope->lookupStrict(THIS_VARIABLE_NAME);
108
1/2
✗ Branch 0 (82→83) not taken.
✓ Branch 1 (82→84) taken 2726 times.
 2726 assert(thisEntry != nullptr);
109
1/2
✓ Branch 0 (84→85) taken 2726 times.
✗ Branch 1 (84→374) not taken.
 2726 thisEntry->updateType(thisPtrType, false);
110 }
111
112 // Visit parameters
113 6223 QualTypeList paramTypes;
114 6223 ParamList paramList;
115
2/2
✓ Branch 0 (85→86) taken 4741 times.
✓ Branch 1 (85→111) taken 1482 times.
 6223 if (node->hasParams) {
116 4741 std::vector<const char *> paramNames;
117 // Visit param list to retrieve the param names
118
2/4
✓ Branch 0 (86→87) taken 4741 times.
✗ Branch 1 (86→273) not taken.
✓ Branch 2 (87→88) taken 4741 times.
✗ Branch 3 (87→271) not taken.
 4741 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
119
2/2
✓ Branch 0 (107→91) taken 7863 times.
✓ Branch 1 (107→108) taken 4739 times.
 12602 for (const auto &[name, qualType, isOptional] : namedParamList) {
120
1/2
✓ Branch 0 (92→93) taken 7863 times.
✗ Branch 1 (92→284) not taken.
 7863 paramNames.push_back(name);
121
1/2
✓ Branch 0 (93→94) taken 7863 times.
✗ Branch 1 (93→284) not taken.
 7863 paramTypes.push_back(qualType);
122
1/2
✓ Branch 0 (94→95) taken 7863 times.
✗ Branch 1 (94→274) not taken.
 7863 paramList.push_back({qualType, isOptional});
123 // Check if the type is present in the template for generic types
124
3/4
✓ Branch 0 (95→96) taken 7863 times.
✗ Branch 1 (95→284) not taken.
✓ Branch 2 (96→97) taken 2 times.
✓ Branch 3 (96→105) taken 7861 times.
 7863 if (!qualType.isCoveredByGenericTypeList(usedGenericTypes))
125 ✗ throw SemanticError(node->paramLst, GENERIC_TYPE_NOT_IN_TEMPLATE,
126
2/4
✓ Branch 0 (100→101) taken 2 times.
✗ Branch 1 (100→278) not taken.
✓ Branch 2 (101→102) taken 2 times.
✗ Branch 3 (101→275) not taken.
 6 "Generic param type not included in the template type list of the function");
127 }
128 4743 }
129
130 // Retrieve return type
131
2/4
✓ Branch 0 (111→112) taken 6221 times.
✗ Branch 1 (111→292) not taken.
✓ Branch 2 (112→113) taken 6221 times.
✗ Branch 3 (112→290) not taken.
 6221 auto returnType = std::any_cast<QualType>(visit(node->returnType));
132
2/6
✓ Branch 0 (114→115) taken 6221 times.
✗ Branch 1 (114→370) not taken.
✗ Branch 2 (115→116) not taken.
✓ Branch 3 (115→118) taken 6221 times.
✗ Branch 4 (116→117) not taken.
✗ Branch 5 (116→293) not taken.
 6221 HANDLE_UNRESOLVED_TYPE_PTR(returnType)
133
3/4
✓ Branch 0 (118→119) taken 6221 times.
✗ Branch 1 (118→370) not taken.
✓ Branch 2 (119→120) taken 1 times.
✓ Branch 3 (119→128) taken 6220 times.
 6221 if (returnType.is(TY_DYN))
134
3/6
✓ Branch 0 (122→123) taken 1 times.
✗ Branch 1 (122→296) not taken.
✓ Branch 2 (123→124) taken 1 times.
✗ Branch 3 (123→294) not taken.
✓ Branch 4 (126→127) taken 1 times.
✗ Branch 5 (126→300) not taken.
 3 SOFT_ERROR_BOOL(node, UNEXPECTED_DYN_TYPE, "Dyn return types are not allowed")
135
3/4
✓ Branch 0 (128→129) taken 6220 times.
✗ Branch 1 (128→370) not taken.
✓ Branch 2 (129→130) taken 1 times.
✓ Branch 3 (129→138) taken 6219 times.
 6220 if (!returnType.isCoveredByGenericTypeList(usedGenericTypes))
136
3/6
✓ Branch 0 (132→133) taken 1 times.
✗ Branch 1 (132→303) not taken.
✓ Branch 2 (133→134) taken 1 times.
✗ Branch 3 (133→301) not taken.
✓ Branch 4 (136→137) taken 1 times.
✗ Branch 5 (136→307) 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 6219 currentScope = node->scope->parent;
141
3/4
✓ Branch 0 (138→139) taken 2726 times.
✓ Branch 1 (138→141) taken 3493 times.
✗ Branch 2 (139→140) not taken.
✓ Branch 3 (139→141) taken 2726 times.
 6219 assert(currentScope->type == ScopeType::GLOBAL || currentScope->type == ScopeType::STRUCT);
142
143 // Prepare type of function
144
2/4
✓ Branch 0 (141→142) taken 6219 times.
✗ Branch 1 (141→308) not taken.
✓ Branch 2 (142→143) taken 6219 times.
✗ Branch 3 (142→308) not taken.
 6219 QualType functionType = QualType(TY_FUNCTION).getWithFunctionParamAndReturnTypes(returnType, paramTypes);
145 6219 functionType.setQualifiers(node->qualifiers);
146
147 // Update type of function entry
148
1/2
✓ Branch 0 (144→145) taken 6219 times.
✗ Branch 1 (144→311) not taken.
 12438 SymbolTableEntry *functionEntry = currentScope->lookupStrict(node->getSymbolTableEntryName());
149
1/2
✗ Branch 0 (149→150) not taken.
✓ Branch 1 (149→151) taken 6219 times.
 6219 assert(functionEntry != nullptr);
150
1/2
✓ Branch 0 (151→152) taken 6219 times.
✗ Branch 1 (151→370) not taken.
 6219 functionEntry->updateType(functionType, false);
151
152 // Build function object
153
3/6
✓ Branch 0 (152→153) taken 6219 times.
✗ Branch 1 (152→318) not taken.
✓ Branch 2 (153→154) taken 6219 times.
✗ Branch 3 (153→315) not taken.
✓ Branch 4 (154→155) taken 6219 times.
✗ Branch 5 (154→312) not taken.
 6219 Function spiceFunc(node->name->name, functionEntry, thisType, returnType, paramList, usedGenericTypes, node);
154 6219 spiceFunc.bodyScope = node->scope;
155
2/2
✓ Branch 0 (159→160) taken 6218 times.
✓ Branch 1 (159→368) taken 1 times.
 6219 FunctionManager::insert(currentScope, spiceFunc, &node->manifestations);
156
157 // Check function attributes
158
2/2
✓ Branch 0 (160→161) taken 297 times.
✓ Branch 1 (160→208) taken 5921 times.
 6218 if (node->attrs) {
159 297 const AttrLstNode *attrLst = node->attrs->attrLst;
160 297 Function *firstManifestation = node->manifestations.front();
161
3/6
✓ Branch 0 (164→165) taken 297 times.
✗ Branch 1 (164→321) not taken.
✓ Branch 2 (165→166) taken 297 times.
✗ Branch 3 (165→319) not taken.
✗ Branch 4 (168→169) not taken.
✓ Branch 5 (168→170) taken 297 times.
 891 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLE))
162 ✗ firstManifestation->mangleFunctionName = value->boolValue;
163
3/6
✓ Branch 0 (172→173) taken 297 times.
✗ Branch 1 (172→327) not taken.
✓ Branch 2 (173→174) taken 297 times.
✗ Branch 3 (173→325) not taken.
✗ Branch 4 (176→177) not taken.
✓ Branch 5 (176→179) taken 297 times.
 891 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 (181→182) taken 297 times.
✗ Branch 1 (181→333) not taken.
✓ Branch 2 (182→183) taken 297 times.
✗ Branch 3 (182→331) not taken.
✓ Branch 4 (185→186) taken 12 times.
✓ Branch 5 (185→208) taken 285 times.
✓ Branch 6 (186→187) taken 11 times.
✓ Branch 7 (186→208) taken 1 times.
 891 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 (187→188) taken 1 times.
✓ Branch 1 (187→196) taken 10 times.
 11 if (node->hasParams)
170
2/4
✓ Branch 0 (191→192) taken 1 times.
✗ Branch 1 (191→340) not taken.
✓ Branch 2 (192→193) taken 1 times.
✗ Branch 3 (192→337) not taken.
 3 throw SemanticError(node->paramLst, TEST_FUNCTION_WITH_PARAMS, "Test function may not have parameters");
171
3/4
✓ Branch 0 (196→197) taken 10 times.
✗ Branch 1 (196→368) not taken.
✓ Branch 2 (197→198) taken 1 times.
✓ Branch 3 (197→206) taken 9 times.
 10 if (!returnType.is(TY_BOOL))
172
2/4
✓ Branch 0 (201→202) taken 1 times.
✗ Branch 1 (201→349) not taken.
✓ Branch 2 (202→203) taken 1 times.
✗ Branch 3 (202→346) 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 (207→208) taken 9 times.
✗ Branch 1 (207→368) 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 (218→209) taken 618 times.
✓ Branch 1 (218→219) taken 6216 times.
 6834 for (size_t i = 1; i < node->manifestations.size(); i++) {
182
4/8
✓ Branch 0 (209→210) taken 618 times.
✗ Branch 1 (209→360) not taken.
✓ Branch 2 (210→211) taken 618 times.
✗ Branch 3 (210→360) not taken.
✓ Branch 4 (211→212) taken 618 times.
✗ Branch 5 (211→357) not taken.
✓ Branch 6 (212→213) taken 618 times.
✗ Branch 7 (212→355) not taken.
 618 Scope *scope = currentScope->copyChildScope(node->getScopeId(), node->manifestations.at(i)->getSignature(false));
183
1/2
✓ Branch 0 (215→216) taken 618 times.
✗ Branch 1 (215→368) not taken.
 618 node->manifestations.at(i)->bodyScope = scope;
184 }
185
3/6
✓ Branch 0 (220→221) taken 6216 times.
✗ Branch 1 (220→366) not taken.
✓ Branch 2 (221→222) taken 6216 times.
✗ Branch 3 (221→363) not taken.
✓ Branch 4 (222→223) taken 6216 times.
✗ Branch 5 (222→361) not taken.
 6216 currentScope->renameChildScope(node->getScopeId(), node->manifestations.front()->getSignature(false));
186
187 // Change to the root scope
188 6216 currentScope = rootScope;
189
1/2
✗ Branch 0 (225→226) not taken.
✓ Branch 1 (225→227) taken 6216 times.
 6216 assert(currentScope->type == ScopeType::GLOBAL);
190
191
1/2
✓ Branch 0 (227→228) taken 6216 times.
✗ Branch 1 (227→367) not taken.
 6216 return nullptr;
192 6237 }
193
194 3400 std::any TypeChecker::visitProcDefPrepare(ProcDefNode *node) {
195 // Mark unreachable statements
196 3400 bool doSetPredecessorsUnreachable = true;
197
1/2
✓ Branch 0 (2→3) taken 3400 times.
✗ Branch 1 (2→273) not taken.
 3400 node->returnsOnAllControlPaths(&doSetPredecessorsUnreachable);
198
199 // Check if dtor and has params
200
7/8
✓ Branch 0 (3→4) taken 2509 times.
✓ Branch 1 (3→7) taken 891 times.
✓ Branch 2 (4→5) taken 2509 times.
✗ Branch 3 (4→273) not taken.
✓ Branch 4 (5→6) taken 1 times.
✓ Branch 5 (5→7) taken 2508 times.
✓ Branch 6 (8→9) taken 1 times.
✓ Branch 7 (8→17) taken 3399 times.
 3400 if (node->hasParams && node->name->name == DTOR_FUNCTION_NAME)
201
2/4
✓ Branch 0 (12→13) taken 1 times.
✗ Branch 1 (12→179) not taken.
✓ Branch 2 (13→14) taken 1 times.
✗ Branch 3 (13→176) 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 3399 currentScope = node->scope;
205
1/2
✗ Branch 0 (17→18) not taken.
✓ Branch 1 (17→19) taken 3399 times.
 3399 assert(currentScope->type == ScopeType::FUNC_PROC_BODY);
206
207 // Retrieve procedure template types
208 3399 std::vector<GenericType> usedGenericTypes;
209
2/2
✓ Branch 0 (19→20) taken 930 times.
✓ Branch 1 (19→49) taken 2469 times.
 3399 if (node->hasTemplateTypes) {
210
2/2
✓ Branch 0 (47→22) taken 1001 times.
✓ Branch 1 (47→48) taken 929 times.
 1930 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
211 // Visit template type
212
2/4
✓ Branch 0 (23→24) taken 1001 times.
✗ Branch 1 (23→187) not taken.
✓ Branch 2 (24→25) taken 1001 times.
✗ Branch 3 (24→185) not taken.
 1001 auto templateType = std::any_cast<QualType>(visit(dataType));
213
2/4
✓ Branch 0 (26→27) taken 1001 times.
✗ Branch 1 (26→197) not taken.
✗ Branch 2 (27→28) not taken.
✓ Branch 3 (27→29) taken 1001 times.
 1001 if (templateType.is(TY_UNRESOLVED))
214 ✗ continue;
215 // Check if it is a generic type
216
3/4
✓ Branch 0 (29→30) taken 1001 times.
✗ Branch 1 (29→197) not taken.
✓ Branch 2 (30→31) taken 1 times.
✓ Branch 3 (30→39) taken 1000 times.
 1001 if (!templateType.is(TY_GENERIC))
217
2/4
✓ Branch 0 (34→35) taken 1 times.
✗ Branch 1 (34→191) not taken.
✓ Branch 2 (35→36) taken 1 times.
✗ Branch 3 (35→188) 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 1000 times.
✗ Branch 1 (39→197) not taken.
✓ Branch 2 (40→41) taken 1000 times.
✗ Branch 3 (40→197) not taken.
 1000 const GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
220
1/2
✗ Branch 0 (41→42) not taken.
✓ Branch 1 (41→43) taken 1000 times.
 1000 assert(genericType != nullptr);
221
1/2
✓ Branch 0 (43→44) taken 1000 times.
✗ Branch 1 (43→197) not taken.
 1000 usedGenericTypes.push_back(*genericType);
222 }
223 }
224
225 // Retrieve 'this' type
226
1/2
✓ Branch 0 (49→50) taken 3398 times.
✗ Branch 1 (49→271) not taken.
 3398 QualType thisType(TY_DYN); // If the procedure is not a method, the default this type is TY_DYN
227 3398 QualType thisPtrType = thisType;
228
2/2
✓ Branch 0 (50→51) taken 2884 times.
✓ Branch 1 (50→80) taken 514 times.
 3398 if (node->isMethod) {
229 2884 Scope *structParentScope = node->structScope->parent;
230
1/2
✓ Branch 0 (51→52) taken 2884 times.
✗ Branch 1 (51→271) not taken.
 2884 SymbolTableEntry *structEntry = structParentScope->lookupStrict(node->name->structName);
231
1/2
✗ Branch 0 (54→55) not taken.
✓ Branch 1 (54→56) taken 2884 times.
 2884 assert(structEntry != nullptr);
232 // Set struct to used
233 2884 structEntry->used = true;
234 // Get type and ptr type
235
1/2
✓ Branch 0 (56→57) taken 2884 times.
✗ Branch 1 (56→271) not taken.
 2884 thisType = structEntry->getQualType();
236
1/2
✓ Branch 0 (57→58) taken 2884 times.
✗ Branch 1 (57→199) not taken.
 2884 thisPtrType = thisType.toPtr(node);
237 // Collect template types of 'this' type
238
3/4
✓ Branch 0 (58→59) taken 2884 times.
✗ Branch 1 (58→201) not taken.
✓ Branch 2 (68→61) taken 907 times.
✓ Branch 3 (68→69) taken 2884 times.
 3791 for (const QualType &templateType : thisType.getTemplateTypes()) {
239 284 const auto lambda = [&](const GenericType &genericType) { return genericType == templateType; };
240
3/4
✓ Branch 0 (62→63) taken 907 times.
✗ Branch 1 (62→200) not taken.
✓ Branch 2 (63→64) taken 839 times.
✓ Branch 3 (63→65) taken 68 times.
 907 if (std::ranges::none_of(usedGenericTypes, lambda))
241
1/2
✓ Branch 0 (64→65) taken 839 times.
✗ Branch 1 (64→200) not taken.
 839 usedGenericTypes.emplace_back(templateType);
242 907 usedGenericTypes.back().used = true;
243 }
244
245 // Set type of 'this' variable
246
1/2
✓ Branch 0 (71→72) taken 2884 times.
✗ Branch 1 (71→204) not taken.
 8652 SymbolTableEntry *thisEntry = currentScope->lookupStrict(THIS_VARIABLE_NAME);
247
1/2
✗ Branch 0 (77→78) not taken.
✓ Branch 1 (77→79) taken 2884 times.
 2884 assert(thisEntry != nullptr);
248
1/2
✓ Branch 0 (79→80) taken 2884 times.
✗ Branch 1 (79→271) not taken.
 2884 thisEntry->updateType(thisPtrType, false);
249 }
250
251 // Visit parameters
252 3398 QualTypeList paramTypes;
253 3398 ParamList paramList;
254
2/2
✓ Branch 0 (80→81) taken 2508 times.
✓ Branch 1 (80→106) taken 890 times.
 3398 if (node->hasParams) {
255 2508 std::vector<const char *> paramNames;
256 // Visit param list to retrieve the param names
257
2/4
✓ Branch 0 (81→82) taken 2508 times.
✗ Branch 1 (81→210) not taken.
✓ Branch 2 (82→83) taken 2508 times.
✗ Branch 3 (82→208) not taken.
 2508 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
258
2/2
✓ Branch 0 (102→86) taken 3386 times.
✓ Branch 1 (102→103) taken 2507 times.
 5893 for (const auto &[name, qualType, isOptional] : namedParamList) {
259
1/2
✓ Branch 0 (87→88) taken 3386 times.
✗ Branch 1 (87→221) not taken.
 3386 paramNames.push_back(name);
260
1/2
✓ Branch 0 (88→89) taken 3386 times.
✗ Branch 1 (88→221) not taken.
 3386 paramTypes.push_back(qualType);
261
1/2
✓ Branch 0 (89→90) taken 3386 times.
✗ Branch 1 (89→211) not taken.
 3386 paramList.push_back({qualType, isOptional});
262 // Check if the type is present in the template for generic types
263
3/4
✓ Branch 0 (90→91) taken 3386 times.
✗ Branch 1 (90→221) not taken.
✓ Branch 2 (91→92) taken 1 times.
✓ Branch 3 (91→100) taken 3385 times.
 3386 if (!qualType.isCoveredByGenericTypeList(usedGenericTypes))
264 ✗ throw SemanticError(node->paramLst, GENERIC_TYPE_NOT_IN_TEMPLATE,
265
2/4
✓ Branch 0 (95→96) taken 1 times.
✗ Branch 1 (95→215) not taken.
✓ Branch 2 (96→97) taken 1 times.
✗ Branch 3 (96→212) not taken.
 3 "Generic param type not included in the template type list of the procedure");
266 }
267 2509 }
268
269 // Leave procedure body scope
270 3397 currentScope = node->scope->parent;
271
3/4
✓ Branch 0 (106→107) taken 2884 times.
✓ Branch 1 (106→109) taken 513 times.
✗ Branch 2 (107→108) not taken.
✓ Branch 3 (107→109) taken 2884 times.
 3397 assert(currentScope->type == ScopeType::GLOBAL || currentScope->type == ScopeType::STRUCT);
272
273 // Prepare type of procedure
274
3/6
✓ Branch 0 (109→110) taken 3397 times.
✗ Branch 1 (109→228) not taken.
✓ Branch 2 (110→111) taken 3397 times.
✗ Branch 3 (110→227) not taken.
✓ Branch 4 (111→112) taken 3397 times.
✗ Branch 5 (111→227) not taken.
 3397 QualType procedureType = QualType(TY_PROCEDURE).getWithFunctionParamAndReturnTypes(QualType(TY_DYN), paramTypes);
275 3397 procedureType.setQualifiers(node->qualifiers);
276
277 // Update type of procedure entry
278
1/2
✓ Branch 0 (113→114) taken 3397 times.
✗ Branch 1 (113→231) not taken.
 6794 SymbolTableEntry *procedureEntry = currentScope->lookupStrict(node->getSymbolTableEntryName());
279
1/2
✗ Branch 0 (118→119) not taken.
✓ Branch 1 (118→120) taken 3397 times.
 3397 assert(procedureEntry != nullptr);
280
1/2
✓ Branch 0 (120→121) taken 3397 times.
✗ Branch 1 (120→267) not taken.
 3397 procedureEntry->updateType(procedureType, false);
281
282 // Build procedure object
283
4/8
✓ Branch 0 (121→122) taken 3397 times.
✗ Branch 1 (121→239) not taken.
✓ Branch 2 (122→123) taken 3397 times.
✗ Branch 3 (122→236) not taken.
✓ Branch 4 (123→124) taken 3397 times.
✗ Branch 5 (123→233) not taken.
✓ Branch 6 (124→125) taken 3397 times.
✗ Branch 7 (124→232) not taken.
 3397 Function spiceProc(node->name->name, procedureEntry, thisType, QualType(TY_DYN), paramList, usedGenericTypes, node);
284 3397 spiceProc.bodyScope = node->scope;
285
2/2
✓ Branch 0 (129→130) taken 3396 times.
✓ Branch 1 (129→265) taken 1 times.
 3397 FunctionManager::insert(currentScope, spiceProc, &node->manifestations);
286
287 // Check procedure attributes
288
1/2
✗ Branch 0 (130→131) not taken.
✓ Branch 1 (130→150) taken 3396 times.
 3396 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 (160→151) taken 148 times.
✓ Branch 1 (160→161) taken 3396 times.
 3544 for (size_t i = 1; i < node->manifestations.size(); i++) {
300
4/8
✓ Branch 0 (151→152) taken 148 times.
✗ Branch 1 (151→257) not taken.
✓ Branch 2 (152→153) taken 148 times.
✗ Branch 3 (152→257) not taken.
✓ Branch 4 (153→154) taken 148 times.
✗ Branch 5 (153→254) not taken.
✓ Branch 6 (154→155) taken 148 times.
✗ Branch 7 (154→252) not taken.
 148 Scope *scope = currentScope->copyChildScope(node->getScopeId(), node->manifestations.at(i)->getSignature(false));
301
1/2
✓ Branch 0 (157→158) taken 148 times.
✗ Branch 1 (157→265) not taken.
 148 node->manifestations.at(i)->bodyScope = scope;
302 }
303
3/6
✓ Branch 0 (162→163) taken 3396 times.
✗ Branch 1 (162→263) not taken.
✓ Branch 2 (163→164) taken 3396 times.
✗ Branch 3 (163→260) not taken.
✓ Branch 4 (164→165) taken 3396 times.
✗ Branch 5 (164→258) not taken.
 3396 currentScope->renameChildScope(node->getScopeId(), node->manifestations.front()->getSignature(false));
304
305 // Change to the root scope
306 3396 currentScope = rootScope;
307
1/2
✗ Branch 0 (167→168) not taken.
✓ Branch 1 (167→169) taken 3396 times.
 3396 assert(currentScope->type == ScopeType::GLOBAL);
308
309
1/2
✓ Branch 0 (169→170) taken 3396 times.
✗ Branch 1 (169→264) not taken.
 6792 return nullptr;
310 3404 }
311
312 605 std::any TypeChecker::visitStructDefPrepare(StructDefNode *node) {
313 605 QualTypeList usedTemplateTypes;
314 605 std::vector<GenericType> templateTypesGeneric;
315
316 // Retrieve struct template types
317
2/2
✓ Branch 0 (2→3) taken 192 times.
✓ Branch 1 (2→37) taken 413 times.
 605 if (node->hasTemplateTypes) {
318
1/2
✓ Branch 0 (4→5) taken 192 times.
✗ Branch 1 (4→288) not taken.
 192 usedTemplateTypes.reserve(node->templateTypeLst->dataTypes.size());
319
1/2
✓ Branch 0 (6→7) taken 192 times.
✗ Branch 1 (6→288) not taken.
 192 templateTypesGeneric.reserve(node->templateTypeLst->dataTypes.size());
320
2/2
✓ Branch 0 (35→9) taken 262 times.
✓ Branch 1 (35→36) taken 192 times.
 454 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
321 // Visit template type
322
2/4
✓ Branch 0 (10→11) taken 262 times.
✗ Branch 1 (10→194) not taken.
✓ Branch 2 (11→12) taken 262 times.
✗ Branch 3 (11→192) not taken.
 262 auto templateType = std::any_cast<QualType>(visit(dataType));
323
2/4
✓ Branch 0 (13→14) taken 262 times.
✗ Branch 1 (13→204) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→16) taken 262 times.
 262 if (templateType.is(TY_UNRESOLVED))
324 ✗ continue;
325 // Check if it is a generic type
326
2/4
✓ Branch 0 (16→17) taken 262 times.
✗ Branch 1 (16→204) not taken.
✗ Branch 2 (17→18) not taken.
✓ Branch 3 (17→26) taken 262 times.
 262 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 262 times.
✗ Branch 1 (26→204) not taken.
✓ Branch 2 (27→28) taken 262 times.
✗ Branch 3 (27→204) not taken.
 262 GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
330
1/2
✗ Branch 0 (28→29) not taken.
✓ Branch 1 (28→30) taken 262 times.
 262 assert(genericType != nullptr);
331
1/2
✓ Branch 0 (30→31) taken 262 times.
✗ Branch 1 (30→204) not taken.
 262 usedTemplateTypes.push_back(*genericType);
332
1/2
✓ Branch 0 (31→32) taken 262 times.
✗ Branch 1 (31→204) not taken.
 262 templateTypesGeneric.push_back(*genericType);
333 }
334 }
335
336 // Retrieve implemented interfaces
337 605 QualTypeList interfaceTypes;
338
2/2
✓ Branch 0 (37→38) taken 102 times.
✓ Branch 1 (37→89) taken 503 times.
 605 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 604 times.
 604 assert(node->entry != nullptr);
365 604 const TypeChainElementData data = {.bodyScope = node->structScope};
366
1/2
✓ Branch 0 (91→92) taken 604 times.
✗ Branch 1 (91→286) not taken.
 604 const Type *type = TypeRegistry::getOrInsert(TY_STRUCT, node->structName, node->typeId, data, usedTemplateTypes);
367
2/4
✓ Branch 0 (92→93) taken 604 times.
✗ Branch 1 (92→232) not taken.
✓ Branch 2 (93→94) taken 604 times.
✗ Branch 3 (93→232) not taken.
 604 node->entry->updateType(QualType(type, node->qualifiers), false);
368
369 // Change to struct scope
370 604 currentScope = node->structScope;
371
1/2
✗ Branch 0 (94→95) not taken.
✓ Branch 1 (94→96) taken 604 times.
 604 assert(currentScope->type == ScopeType::STRUCT);
372
373 // Retrieve field types
374 604 QualTypeList fieldTypes;
375
1/2
✓ Branch 0 (97→98) taken 604 times.
✗ Branch 1 (97→284) not taken.
 604 fieldTypes.reserve(node->fields.size());
376
2/2
✓ Branch 0 (141→100) taken 1300 times.
✓ Branch 1 (141→142) taken 601 times.
 1901 for (FieldNode *field : node->fields) {
377 // Visit field type
378
2/4
✓ Branch 0 (101→102) taken 1300 times.
✗ Branch 1 (101→235) not taken.
✓ Branch 2 (102→103) taken 1300 times.
✗ Branch 3 (102→233) not taken.
 1300 auto fieldType = std::any_cast<QualType>(visit(field));
379
3/4
✓ Branch 0 (104→105) taken 1300 times.
✗ Branch 1 (104→254) not taken.
✓ Branch 2 (105→106) taken 2 times.
✓ Branch 3 (105→107) taken 1298 times.
 1300 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 1298 times.
✗ Branch 1 (107→254) not taken.
✓ Branch 2 (108→109) taken 138 times.
✓ Branch 3 (108→112) taken 1160 times.
✓ Branch 4 (109→110) taken 138 times.
✗ Branch 5 (109→254) not taken.
✗ Branch 6 (110→111) not taken.
✓ Branch 7 (110→112) taken 138 times.
✗ Branch 8 (113→114) not taken.
✓ Branch 9 (113→122) taken 1298 times.
 1298 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 1298 times.
✗ Branch 1 (122→254) not taken.
 1298 fieldTypes.push_back(fieldType);
389
390 // Update type of field entry
391
1/2
✓ Branch 0 (123→124) taken 1298 times.
✗ Branch 1 (123→254) not taken.
 1298 SymbolTableEntry *fieldEntry = currentScope->lookupStrict(field->fieldName);
392
1/2
✗ Branch 0 (126→127) not taken.
✓ Branch 1 (126→128) taken 1298 times.
 1298 assert(fieldEntry != nullptr);
393
1/2
✓ Branch 0 (128→129) taken 1298 times.
✗ Branch 1 (128→254) not taken.
 1298 fieldEntry->updateType(fieldType, false);
394
395 // Check if the template type list contains this type
396
3/4
✓ Branch 0 (129→130) taken 1298 times.
✗ Branch 1 (129→254) not taken.
✓ Branch 2 (130→131) taken 1 times.
✓ Branch 3 (130→139) taken 1297 times.
 1298 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 601 currentScope = rootScope;
402
1/2
✗ Branch 0 (142→143) not taken.
✓ Branch 1 (142→144) taken 601 times.
 601 assert(currentScope->type == ScopeType::GLOBAL);
403
404 // Build struct object
405
4/8
✓ Branch 0 (144→145) taken 601 times.
✗ Branch 1 (144→265) not taken.
✓ Branch 2 (145→146) taken 601 times.
✗ Branch 3 (145→262) not taken.
✓ Branch 4 (146→147) taken 601 times.
✗ Branch 5 (146→259) not taken.
✓ Branch 6 (147→148) taken 601 times.
✗ Branch 7 (147→256) not taken.
 601 Struct spiceStruct(node->structName, node->entry, node->structScope, fieldTypes, templateTypesGeneric, interfaceTypes, node);
406
1/2
✓ Branch 0 (153→154) taken 601 times.
✗ Branch 1 (153→282) not taken.
 601 StructManager::insert(currentScope, spiceStruct, &node->structManifestations);
407 601 spiceStruct.scope = node->structScope;
408
409 // Request RTTI runtime if the struct is polymorphic
410 601 node->emitVTable |= node->hasInterfaces;
411
12/18
✓ Branch 0 (154→155) taken 54 times.
✓ Branch 1 (154→161) taken 547 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 547 times.
✓ Branch 10 (164→165) taken 54 times.
✓ Branch 11 (164→167) taken 547 times.
✓ Branch 12 (167→168) taken 53 times.
✓ Branch 13 (167→175) taken 548 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.
 709 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 447 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 499 times.
 755 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 601 times.
✗ Branch 1 (184→281) not taken.
 1202 return nullptr;
417 616 }
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 810 std::any TypeChecker::visitGenericTypeDefPrepare(GenericTypeDefNode *node) {
543 // Retrieve type conditions
544 810 QualTypeList typeConditions;
545
1/2
✓ Branch 0 (3→4) taken 810 times.
✗ Branch 1 (3→60) not taken.
 810 typeConditions.reserve(node->typeAltsLst->dataTypes.size());
546
2/2
✓ Branch 0 (17→6) taken 1577 times.
✓ Branch 1 (17→18) taken 810 times.
 2387 for (const auto &typeAlt : node->typeAltsLst->dataTypes) {
547
2/4
✓ Branch 0 (7→8) taken 1577 times.
✗ Branch 1 (7→48) not taken.
✓ Branch 2 (8→9) taken 1577 times.
✗ Branch 3 (8→46) not taken.
 1577 auto typeCondition = std::any_cast<QualType>(visit(typeAlt));
548
2/6
✓ Branch 0 (10→11) taken 1577 times.
✗ Branch 1 (10→50) not taken.
✗ Branch 2 (11→12) not taken.
✓ Branch 3 (11→14) taken 1577 times.
✗ Branch 4 (12→13) not taken.
✗ Branch 5 (12→49) not taken.
 1577 HANDLE_UNRESOLVED_TYPE_PTR(typeCondition)
549
1/2
✓ Branch 0 (14→15) taken 1577 times.
✗ Branch 1 (14→50) not taken.
 1577 typeConditions.push_back(typeCondition);
550 }
551
552 // Add generic type to the scope
553
2/4
✓ Branch 0 (18→19) taken 810 times.
✗ Branch 1 (18→54) not taken.
✓ Branch 2 (19→20) taken 810 times.
✗ Branch 3 (19→52) not taken.
 810 const GenericType genericType(node->typeName, typeConditions);
554
1/2
✓ Branch 0 (21→22) taken 810 times.
✗ Branch 1 (21→58) not taken.
 810 rootScope->insertGenericType(node->typeName, genericType);
555
556 // Check if only one type condition is set
557
7/8
✓ Branch 0 (23→24) taken 288 times.
✓ Branch 1 (23→28) taken 522 times.
✓ Branch 2 (25→26) taken 288 times.
✗ Branch 3 (25→58) not taken.
✓ Branch 4 (26→27) taken 2 times.
✓ Branch 5 (26→28) taken 286 times.
✓ Branch 6 (29→30) taken 2 times.
✓ Branch 7 (29→32) taken 808 times.
 810 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 810 times.
✗ Branch 1 (32→58) not taken.
 2385 const bool containsDynType = std::ranges::any_of(typeConditions, [&](const QualType &type) { return type.is(TY_DYN); });
563
6/6
✓ Branch 0 (33→34) taken 288 times.
✓ Branch 1 (33→37) taken 522 times.
✓ Branch 2 (35→36) taken 2 times.
✓ Branch 3 (35→37) taken 286 times.
✓ Branch 4 (38→39) taken 2 times.
✓ Branch 5 (38→41) taken 808 times.
 810 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 810 times.
✗ Branch 1 (41→57) not taken.
 810 return nullptr;
569 810 }
570
571 53 std::any TypeChecker::visitAliasDefPrepare(AliasDefNode *node) {
572
2/4
✓ Branch 0 (2→3) taken 53 times.
✗ Branch 1 (2→5) not taken.
✓ Branch 2 (3→4) taken 53 times.
✗ Branch 3 (3→5) not taken.
 53 assert(node->entry != nullptr && node->aliasedTypeContainerEntry != nullptr);
573
574 // Update type of alias entry
575
1/2
✓ Branch 0 (7→8) taken 53 times.
✗ Branch 1 (7→23) not taken.
 53 const Type *type = TypeRegistry::getOrInsert(TY_ALIAS, node->aliasName, node->typeId, {}, {});
576
2/4
✓ Branch 0 (9→10) taken 53 times.
✗ Branch 1 (9→27) not taken.
✓ Branch 2 (10→11) taken 53 times.
✗ Branch 3 (10→27) not taken.
 53 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 53 times.
✗ Branch 1 (11→30) not taken.
✓ Branch 2 (12→13) taken 53 times.
✗ Branch 3 (12→28) not taken.
 53 const auto aliasedType = std::any_cast<QualType>(visit(node->dataType));
580
4/6
✓ Branch 0 (14→15) taken 53 times.
✗ Branch 1 (14→33) not taken.
✓ Branch 2 (15→16) taken 1 times.
✓ Branch 3 (15→18) taken 52 times.
✓ Branch 4 (16→17) taken 1 times.
✗ Branch 5 (16→31) not taken.
 53 HANDLE_UNRESOLVED_TYPE_PTR(aliasedType)
581
1/2
✓ Branch 0 (18→19) taken 52 times.
✗ Branch 1 (18→33) not taken.
 52 node->aliasedTypeContainerEntry->updateType(aliasedType, false);
582 52 node->aliasedTypeContainerEntry->used = true; // The container type is always used per default
583
584
1/2
✓ Branch 0 (19→20) taken 52 times.
✗ Branch 1 (19→32) not taken.
 52 return nullptr;
585 }
586
587 1144 std::any TypeChecker::visitGlobalVarDefPrepare(GlobalVarDefNode *node) {
588 // Insert variable name to symbol table
589
2/4
✓ Branch 0 (2→3) taken 1144 times.
✗ Branch 1 (2→80) not taken.
✓ Branch 2 (3→4) taken 1144 times.
✗ Branch 3 (3→78) not taken.
 1144 auto globalVarType = std::any_cast<QualType>(visit(node->dataType));
590
2/6
✓ Branch 0 (5→6) taken 1144 times.
✗ Branch 1 (5→126) not taken.
✗ Branch 2 (6→7) not taken.
✓ Branch 3 (6→9) taken 1144 times.
✗ Branch 4 (7→8) not taken.
✗ Branch 5 (7→81) not taken.
 1144 HANDLE_UNRESOLVED_TYPE_PTR(globalVarType)
591
592
2/2
✓ Branch 0 (9→10) taken 1142 times.
✓ Branch 1 (9→37) taken 2 times.
 1144 if (node->constant) { // Variable is initialized here
593
2/4
✓ Branch 0 (10→11) taken 1142 times.
✗ Branch 1 (10→84) not taken.
✓ Branch 2 (11→12) taken 1142 times.
✗ Branch 3 (11→82) not taken.
 1142 const QualType rhsType = std::any_cast<ExprResult>(visit(node->constant)).type;
594
2/6
✓ Branch 0 (13→14) taken 1142 times.
✗ Branch 1 (13→103) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→17) taken 1142 times.
✗ Branch 4 (15→16) not taken.
✗ Branch 5 (15→86) not taken.
 1142 HANDLE_UNRESOLVED_TYPE_PTR(rhsType)
595
3/4
✓ Branch 0 (17→18) taken 1142 times.
✗ Branch 1 (17→103) not taken.
✓ Branch 2 (18→19) taken 1 times.
✓ Branch 3 (18→20) taken 1141 times.
 1142 if (globalVarType.is(TY_DYN)) { // Perform type inference
596 1 globalVarType = rhsType;
597
3/4
✓ Branch 0 (20→21) taken 1141 times.
✗ Branch 1 (20→103) not taken.
✓ Branch 2 (21→22) taken 2 times.
✓ Branch 3 (21→35) taken 1139 times.
 1141 } 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 1142 times.
✗ Branch 1 (37→126) not taken.
✓ Branch 2 (38→39) taken 1 times.
✓ Branch 3 (38→47) taken 1141 times.
 1142 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 1141 times.
✗ Branch 1 (47→126) not taken.
✗ Branch 2 (48→49) not taken.
✓ Branch 3 (48→57) taken 1141 times.
 1141 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 1141 times.
 1141 assert(node->entry != nullptr);
613
1/2
✓ Branch 0 (59→60) taken 1141 times.
✗ Branch 1 (59→126) not taken.
 1141 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 1140 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 1140 times.
 1141 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 1140 times.
✗ Branch 1 (74→125) not taken.
 1140 return nullptr;
620 }
621
622 868 std::any TypeChecker::visitExtDeclPrepare(ExtDeclNode *node) {
623 // Collect argument types
624 868 QualTypeList argTypes;
625 868 ParamList argList;
626
2/2
✓ Branch 0 (2→3) taken 828 times.
✓ Branch 1 (2→31) taken 40 times.
 868 if (node->hasArgs) {
627
1/2
✓ Branch 0 (4→5) taken 828 times.
✗ Branch 1 (4→149) not taken.
 828 argList.reserve(node->argTypeLst->dataTypes.size());
628
2/2
✓ Branch 0 (29→7) taken 1706 times.
✓ Branch 1 (29→30) taken 828 times.
 2534 for (DataTypeNode *arg : node->argTypeLst->dataTypes) {
629 // Visit argument
630
2/4
✓ Branch 0 (8→9) taken 1706 times.
✗ Branch 1 (8→96) not taken.
✓ Branch 2 (9→10) taken 1706 times.
✗ Branch 3 (9→94) not taken.
 1706 auto argType = std::any_cast<QualType>(visit(arg));
631
2/6
✓ Branch 0 (11→12) taken 1706 times.
✗ Branch 1 (11→105) not taken.
✗ Branch 2 (12→13) not taken.
✓ Branch 3 (12→15) taken 1706 times.
✗ Branch 4 (13→14) not taken.
✗ Branch 5 (13→97) not taken.
 1706 HANDLE_UNRESOLVED_TYPE_PTR(argType)
632 // Check if the argument type is 'dyn'
633
3/4
✓ Branch 0 (15→16) taken 1706 times.
✗ Branch 1 (15→105) not taken.
✓ Branch 2 (16→17) taken 1 times.
✓ Branch 3 (16→24) taken 1705 times.
 1706 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 1705 times.
✗ Branch 1 (24→105) not taken.
 1705 argTypes.push_back(argType);
639
1/2
✓ Branch 0 (25→26) taken 1705 times.
✗ Branch 1 (25→104) not taken.
 1705 argList.push_back({argType, false});
640 }
641 }
642
643 // Retrieve return type
644
1/2
✓ Branch 0 (31→32) taken 868 times.
✗ Branch 1 (31→149) not taken.
 868 QualType returnType(TY_DYN);
645 868 const bool isFunction = node->returnType;
646
2/2
✓ Branch 0 (32→33) taken 564 times.
✓ Branch 1 (32→50) taken 304 times.
 868 if (isFunction) { // External function
647
2/4
✓ Branch 0 (33→34) taken 564 times.
✗ Branch 1 (33→109) not taken.
✓ Branch 2 (34→35) taken 564 times.
✗ Branch 3 (34→107) not taken.
 564 returnType = std::any_cast<QualType>(visit(node->returnType));
648
2/6
✓ Branch 0 (36→37) taken 564 times.
✗ Branch 1 (36→149) not taken.
✗ Branch 2 (37→38) not taken.
✓ Branch 3 (37→40) taken 564 times.
✗ Branch 4 (38→39) not taken.
✗ Branch 5 (38→111) not taken.
 564 HANDLE_UNRESOLVED_TYPE_PTR(returnType)
649 // Check if return type is dyn
650
3/4
✓ Branch 0 (40→41) taken 564 times.
✗ Branch 1 (40→149) not taken.
✓ Branch 2 (41→42) taken 1 times.
✓ Branch 3 (41→50) taken 563 times.
 564 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 867 times.
✗ Branch 1 (51→123) not taken.
✓ Branch 2 (52→53) taken 867 times.
✗ Branch 3 (52→120) not taken.
✓ Branch 4 (53→54) taken 867 times.
✗ Branch 5 (53→119) not taken.
 867 const Function spiceFunc(node->extFunctionName, node->entry, QualType(TY_DYN), returnType, argList, {}, node);
656
1/2
✓ Branch 0 (58→59) taken 867 times.
✗ Branch 1 (58→147) not taken.
 867 node->extFunction = FunctionManager::insert(currentScope, spiceFunc, &node->extFunctionManifestations);
657 867 node->extFunction->mangleFunctionName = false;
658 867 node->extFunction->alreadyTypeChecked = true;
659
660 // Check procedure attributes
661
2/2
✓ Branch 0 (59→60) taken 1 times.
✓ Branch 1 (59→77) taken 866 times.
 867 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 563 times.
✓ Branch 1 (77→79) taken 304 times.
 867 const SuperType superType = isFunction ? TY_FUNCTION : TY_PROCEDURE;
673
2/4
✓ Branch 0 (80→81) taken 867 times.
✗ Branch 1 (80→139) not taken.
✓ Branch 2 (81→82) taken 867 times.
✗ Branch 3 (81→139) not taken.
 867 const QualType extFunctionType = QualType(superType).getWithFunctionParamAndReturnTypes(returnType, argTypes);
674
675 // Set type of external function
676
1/2
✓ Branch 0 (82→83) taken 867 times.
✗ Branch 1 (82→147) not taken.
 867 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 867 times.
✗ Branch 1 (83→145) not taken.
✓ Branch 2 (84→85) taken 867 times.
✗ Branch 3 (84→142) not taken.
✓ Branch 4 (85→86) taken 867 times.
✗ Branch 5 (85→140) not taken.
 867 currentScope->renameChildScope(node->getScopeId(), spiceFunc.getSignature(false));
680
681
1/2
✓ Branch 0 (88→89) taken 867 times.
✗ Branch 1 (88→146) not taken.
 867 return nullptr;
682 868 }
683
684 508 std::any TypeChecker::visitImportDefPrepare(ImportDefNode *node) {
685 // Set entry to import type
686
1/2
✓ Branch 0 (2→3) taken 508 times.
✗ Branch 1 (2→10) not taken.
 508 const QualType importType(TY_IMPORT, node->importName);
687
1/2
✗ Branch 0 (3→4) not taken.
✓ Branch 1 (3→5) taken 508 times.
 508 assert(node->entry != nullptr);
688
1/2
✓ Branch 0 (5→6) taken 508 times.
✗ Branch 1 (5→10) not taken.
 508 node->entry->updateType(importType, false);
689
690
1/2
✓ Branch 0 (6→7) taken 508 times.
✗ Branch 1 (6→9) not taken.
 508 return nullptr;
691 }
692
693 } // namespace spice::compiler
694