GCC Code Coverage Report

Directory: ../
File: src/typechecker/TypeCheckerPrepare.cpp
Date: 2025-02-09 02:24:02
Exec Total Coverage
Lines: 387 411 94.2%
Functions: 13 13 100.0%
Branches: 540 970 55.7%
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 355 std::any TypeChecker::visitMainFctDefPrepare(MainFctDefNode *node) {
15 // Mark unreachable statements
16 355 bool returnsOnAllControlPaths = true;
17
1/2
✓ Branch 0 (2→3) taken 355 times.
✗ Branch 1 (2→68) not taken.
 355 node->returnsOnAllControlPaths(&returnsOnAllControlPaths);
18
19 // Retrieve return type
20
1/2
✓ Branch 0 (3→4) taken 355 times.
✗ Branch 1 (3→68) not taken.
 355 const QualType returnType(TY_INT);
21
22 // Change to function body scope
23 355 currentScope = node->bodyScope;
24
25 // Set type of 'result' variable to int
26
1/2
✓ Branch 0 (6→7) taken 355 times.
✗ Branch 1 (6→47) not taken.
 1065 SymbolTableEntry *resultEntry = currentScope->lookupStrict(RETURN_VARIABLE_NAME);
27
1/2
✗ Branch 0 (12→13) not taken.
✓ Branch 1 (12→14) taken 355 times.
 355 assert(resultEntry != nullptr);
28
1/2
✓ Branch 0 (14→15) taken 355 times.
✗ Branch 1 (14→68) not taken.
 355 resultEntry->updateType(returnType, false);
29 355 resultEntry->used = true;
30
31 // Retrieve param types
32 355 QualTypeList paramTypes;
33
2/2
✓ Branch 0 (15→16) taken 4 times.
✓ Branch 1 (15→28) taken 351 times.
 355 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 355 times.
✗ Branch 1 (28→58) not taken.
✓ Branch 2 (29→30) taken 355 times.
✗ Branch 3 (29→58) not taken.
 355 const QualType functionType = QualType(TY_FUNCTION).getWithFunctionParamAndReturnTypes(returnType, paramTypes);
41
42 // Update main function symbol type
43
1/2
✓ Branch 0 (32→33) taken 355 times.
✗ Branch 1 (32→61) not taken.
 1065 SymbolTableEntry *functionEntry = rootScope->lookupStrict(MAIN_FUNCTION_NAME);
44
1/2
✗ Branch 0 (38→39) not taken.
✓ Branch 1 (38→40) taken 355 times.
 355 assert(functionEntry != nullptr);
45
1/2
✓ Branch 0 (40→41) taken 355 times.
✗ Branch 1 (40→66) not taken.
 355 functionEntry->updateType(functionType, false);
46 355 functionEntry->used = true;
47
48 // Leave main function body scope
49 355 currentScope = rootScope;
50
51
1/2
✓ Branch 0 (41→42) taken 355 times.
✗ Branch 1 (41→65) not taken.
 710 return nullptr;
52 355 }
53
54 6005 std::any TypeChecker::visitFctDefPrepare(FctDefNode *node) {
55 // Check if name is dtor
56
3/4
✓ Branch 0 (2→3) taken 6005 times.
✗ Branch 1 (2→376) not taken.
✓ Branch 2 (3→4) taken 1 times.
✓ Branch 3 (3→12) taken 6004 times.
 6005 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 6004 bool doSetPredecessorsUnreachable = true;
61
3/4
✓ Branch 0 (12→13) taken 6004 times.
✗ Branch 1 (12→376) not taken.
✓ Branch 2 (13→14) taken 1 times.
✓ Branch 3 (13→22) taken 6003 times.
 6004 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 6003 currentScope = node->scope;
66
1/2
✗ Branch 0 (22→23) not taken.
✓ Branch 1 (22→24) taken 6003 times.
 6003 assert(currentScope->type == ScopeType::FUNC_PROC_BODY);
67
68 // Retrieve function template types
69 6003 std::vector<GenericType> usedGenericTypes;
70
2/2
✓ Branch 0 (24→25) taken 784 times.
✓ Branch 1 (24→54) taken 5219 times.
 6003 if (node->hasTemplateTypes) {
71
2/2
✓ Branch 0 (52→27) taken 945 times.
✓ Branch 1 (52→53) taken 783 times.
 1728 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
72 // Visit template type
73
2/4
✓ Branch 0 (28→29) taken 945 times.
✗ Branch 1 (28→250) not taken.
✓ Branch 2 (29→30) taken 945 times.
✗ Branch 3 (29→248) not taken.
 945 auto templateType = std::any_cast<QualType>(visit(dataType));
74
2/4
✓ Branch 0 (31→32) taken 945 times.
✗ Branch 1 (31→260) not taken.
✗ Branch 2 (32→33) not taken.
✓ Branch 3 (32→34) taken 945 times.
 945 if (templateType.is(TY_UNRESOLVED))
75 ✗ continue;
76 // Check if it is a generic type
77
3/4
✓ Branch 0 (34→35) taken 945 times.
✗ Branch 1 (34→260) not taken.
✓ Branch 2 (35→36) taken 1 times.
✓ Branch 3 (35→44) taken 944 times.
 945 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 944 times.
✗ Branch 1 (44→260) not taken.
✓ Branch 2 (45→46) taken 944 times.
✗ Branch 3 (45→260) not taken.
 944 GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
81
1/2
✗ Branch 0 (46→47) not taken.
✓ Branch 1 (46→48) taken 944 times.
 944 assert(genericType != nullptr);
82
1/2
✓ Branch 0 (48→49) taken 944 times.
✗ Branch 1 (48→260) not taken.
 944 usedGenericTypes.push_back(*genericType);
83 }
84 }
85
86 // Retrieve 'this' type
87
1/2
✓ Branch 0 (54→55) taken 6002 times.
✗ Branch 1 (54→374) not taken.
 6002 QualType thisType(TY_DYN); // If the function is not a method, the default this type is TY_DYN
88 6002 QualType thisPtrType = thisType;
89
2/2
✓ Branch 0 (55→56) taken 2671 times.
✓ Branch 1 (55→85) taken 3331 times.
 6002 if (node->isMethod) {
90 2671 Scope *structParentScope = node->structScope->parent;
91
1/2
✓ Branch 0 (56→57) taken 2671 times.
✗ Branch 1 (56→374) not taken.
 2671 SymbolTableEntry *structEntry = structParentScope->lookupStrict(node->name->structName);
92
1/2
✗ Branch 0 (59→60) not taken.
✓ Branch 1 (59→61) taken 2671 times.
 2671 assert(structEntry != nullptr);
93 // Set struct to used
94 2671 structEntry->used = true;
95 // Get type and ptr type
96
1/2
✓ Branch 0 (61→62) taken 2671 times.
✗ Branch 1 (61→374) not taken.
 2671 thisType = structEntry->getQualType();
97
1/2
✓ Branch 0 (62→63) taken 2671 times.
✗ Branch 1 (62→262) not taken.
 2671 thisPtrType = thisType.toPtr(node);
98 // Collect template types of 'this' type
99
3/4
✓ Branch 0 (63→64) taken 2671 times.
✗ Branch 1 (63→264) not taken.
✓ Branch 2 (73→66) taken 875 times.
✓ Branch 3 (73→74) taken 2671 times.
 3546 for (const QualType &templateType : thisType.getTemplateTypes()) {
100 200 const auto lambda = [&](const GenericType &genericType) { return genericType == templateType; };
101
3/4
✓ Branch 0 (67→68) taken 875 times.
✗ Branch 1 (67→263) not taken.
✓ Branch 2 (68→69) taken 871 times.
✓ Branch 3 (68→70) taken 4 times.
 875 if (std::ranges::none_of(usedGenericTypes, lambda))
102
1/2
✓ Branch 0 (69→70) taken 871 times.
✗ Branch 1 (69→263) not taken.
 871 usedGenericTypes.emplace_back(templateType);
103 875 usedGenericTypes.back().used = true;
104 }
105
106 // Set type of 'this' variable
107
1/2
✓ Branch 0 (76→77) taken 2671 times.
✗ Branch 1 (76→267) not taken.
 8013 SymbolTableEntry *thisEntry = currentScope->lookupStrict(THIS_VARIABLE_NAME);
108
1/2
✗ Branch 0 (82→83) not taken.
✓ Branch 1 (82→84) taken 2671 times.
 2671 assert(thisEntry != nullptr);
109
1/2
✓ Branch 0 (84→85) taken 2671 times.
✗ Branch 1 (84→374) not taken.
 2671 thisEntry->updateType(thisPtrType, false);
110 }
111
112 // Visit parameters
113 6002 QualTypeList paramTypes;
114 6002 ParamList paramList;
115
2/2
✓ Branch 0 (85→86) taken 4579 times.
✓ Branch 1 (85→111) taken 1423 times.
 6002 if (node->hasParams) {
116 4579 std::vector<const char *> paramNames;
117 // Visit param list to retrieve the param names
118
2/4
✓ Branch 0 (86→87) taken 4579 times.
✗ Branch 1 (86→273) not taken.
✓ Branch 2 (87→88) taken 4579 times.
✗ Branch 3 (87→271) not taken.
 4579 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
119
2/2
✓ Branch 0 (107→91) taken 7691 times.
✓ Branch 1 (107→108) taken 4577 times.
 12268 for (const auto &[name, qualType, isOptional] : namedParamList) {
120
1/2
✓ Branch 0 (92→93) taken 7691 times.
✗ Branch 1 (92→284) not taken.
 7691 paramNames.push_back(name);
121
1/2
✓ Branch 0 (93→94) taken 7691 times.
✗ Branch 1 (93→284) not taken.
 7691 paramTypes.push_back(qualType);
122
1/2
✓ Branch 0 (94→95) taken 7691 times.
✗ Branch 1 (94→274) not taken.
 7691 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 7691 times.
✗ Branch 1 (95→284) not taken.
✓ Branch 2 (96→97) taken 2 times.
✓ Branch 3 (96→105) taken 7689 times.
 7691 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 4581 }
129
130 // Retrieve return type
131
2/4
✓ Branch 0 (111→112) taken 6000 times.
✗ Branch 1 (111→292) not taken.
✓ Branch 2 (112→113) taken 6000 times.
✗ Branch 3 (112→290) not taken.
 6000 auto returnType = std::any_cast<QualType>(visit(node->returnType));
132
2/6
✓ Branch 0 (114→115) taken 6000 times.
✗ Branch 1 (114→370) not taken.
✗ Branch 2 (115→116) not taken.
✓ Branch 3 (115→118) taken 6000 times.
✗ Branch 4 (116→117) not taken.
✗ Branch 5 (116→293) not taken.
 6000 HANDLE_UNRESOLVED_TYPE_PTR(returnType)
133
3/4
✓ Branch 0 (118→119) taken 6000 times.
✗ Branch 1 (118→370) not taken.
✓ Branch 2 (119→120) taken 1 times.
✓ Branch 3 (119→128) taken 5999 times.
 6000 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 5999 times.
✗ Branch 1 (128→370) not taken.
✓ Branch 2 (129→130) taken 1 times.
✓ Branch 3 (129→138) taken 5998 times.
 5999 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 5998 currentScope = node->scope->parent;
141
3/4
✓ Branch 0 (138→139) taken 2671 times.
✓ Branch 1 (138→141) taken 3327 times.
✗ Branch 2 (139→140) not taken.
✓ Branch 3 (139→141) taken 2671 times.
 5998 assert(currentScope->type == ScopeType::GLOBAL || currentScope->type == ScopeType::STRUCT);
142
143 // Prepare type of function
144
2/4
✓ Branch 0 (141→142) taken 5998 times.
✗ Branch 1 (141→308) not taken.
✓ Branch 2 (142→143) taken 5998 times.
✗ Branch 3 (142→308) not taken.
 5998 QualType functionType = QualType(TY_FUNCTION).getWithFunctionParamAndReturnTypes(returnType, paramTypes);
145 5998 functionType.setQualifiers(node->qualifiers);
146
147 // Update type of function entry
148
1/2
✓ Branch 0 (144→145) taken 5998 times.
✗ Branch 1 (144→311) not taken.
 11996 SymbolTableEntry *functionEntry = currentScope->lookupStrict(node->getSymbolTableEntryName());
149
1/2
✗ Branch 0 (149→150) not taken.
✓ Branch 1 (149→151) taken 5998 times.
 5998 assert(functionEntry != nullptr);
150
1/2
✓ Branch 0 (151→152) taken 5998 times.
✗ Branch 1 (151→370) not taken.
 5998 functionEntry->updateType(functionType, false);
151
152 // Build function object
153
3/6
✓ Branch 0 (152→153) taken 5998 times.
✗ Branch 1 (152→318) not taken.
✓ Branch 2 (153→154) taken 5998 times.
✗ Branch 3 (153→315) not taken.
✓ Branch 4 (154→155) taken 5998 times.
✗ Branch 5 (154→312) not taken.
 5998 Function spiceFunc(node->name->name, functionEntry, thisType, returnType, paramList, usedGenericTypes, node);
154 5998 spiceFunc.bodyScope = node->scope;
155
2/2
✓ Branch 0 (159→160) taken 5997 times.
✓ Branch 1 (159→368) taken 1 times.
 5998 FunctionManager::insert(currentScope, spiceFunc, &node->manifestations);
156
157 // Check function attributes
158
2/2
✓ Branch 0 (160→161) taken 323 times.
✓ Branch 1 (160→208) taken 5674 times.
 5997 if (node->attrs) {
159 323 const AttrLstNode *attrLst = node->attrs->attrLst;
160 323 Function *firstManifestation = node->manifestations.front();
161
3/6
✓ Branch 0 (164→165) taken 323 times.
✗ Branch 1 (164→321) not taken.
✓ Branch 2 (165→166) taken 323 times.
✗ Branch 3 (165→319) not taken.
✗ Branch 4 (168→169) not taken.
✓ Branch 5 (168→170) taken 323 times.
 969 if (const CompileTimeValue *value = attrLst->getAttrValueByName(ATTR_CORE_COMPILER_MANGLE))
162 ✗ firstManifestation->mangleFunctionName = value->boolValue;
163
3/6
✓ Branch 0 (172→173) taken 323 times.
✗ Branch 1 (172→327) not taken.
✓ Branch 2 (173→174) taken 323 times.
✗ Branch 3 (173→325) not taken.
✗ Branch 4 (176→177) not taken.
✓ Branch 5 (176→179) taken 323 times.
 969 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 323 times.
✗ Branch 1 (181→333) not taken.
✓ Branch 2 (182→183) taken 323 times.
✗ Branch 3 (182→331) not taken.
✓ Branch 4 (185→186) taken 12 times.
✓ Branch 5 (185→208) taken 311 times.
✓ Branch 6 (186→187) taken 11 times.
✓ Branch 7 (186→208) taken 1 times.
 969 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 602 times.
✓ Branch 1 (218→219) taken 5995 times.
 6597 for (size_t i = 1; i < node->manifestations.size(); i++) {
182
4/8
✓ Branch 0 (209→210) taken 602 times.
✗ Branch 1 (209→360) not taken.
✓ Branch 2 (210→211) taken 602 times.
✗ Branch 3 (210→360) not taken.
✓ Branch 4 (211→212) taken 602 times.
✗ Branch 5 (211→357) not taken.
✓ Branch 6 (212→213) taken 602 times.
✗ Branch 7 (212→355) not taken.
 602 Scope *scope = currentScope->copyChildScope(node->getScopeId(), node->manifestations.at(i)->getSignature(false));
183
1/2
✓ Branch 0 (215→216) taken 602 times.
✗ Branch 1 (215→368) not taken.
 602 node->manifestations.at(i)->bodyScope = scope;
184 }
185
3/6
✓ Branch 0 (220→221) taken 5995 times.
✗ Branch 1 (220→366) not taken.
✓ Branch 2 (221→222) taken 5995 times.
✗ Branch 3 (221→363) not taken.
✓ Branch 4 (222→223) taken 5995 times.
✗ Branch 5 (222→361) not taken.
 5995 currentScope->renameChildScope(node->getScopeId(), node->manifestations.front()->getSignature(false));
186
187 // Change to the root scope
188 5995 currentScope = rootScope;
189
1/2
✗ Branch 0 (225→226) not taken.
✓ Branch 1 (225→227) taken 5995 times.
 5995 assert(currentScope->type == ScopeType::GLOBAL);
190
191
1/2
✓ Branch 0 (227→228) taken 5995 times.
✗ Branch 1 (227→367) not taken.
 5995 return nullptr;
192 6016 }
193
194 2950 std::any TypeChecker::visitProcDefPrepare(ProcDefNode *node) {
195 // Mark unreachable statements
196 2950 bool doSetPredecessorsUnreachable = true;
197
1/2
✓ Branch 0 (2→3) taken 2950 times.
✗ Branch 1 (2→273) not taken.
 2950 node->returnsOnAllControlPaths(&doSetPredecessorsUnreachable);
198
199 // Check if dtor and has params
200
7/8
✓ Branch 0 (3→4) taken 2093 times.
✓ Branch 1 (3→7) taken 857 times.
✓ Branch 2 (4→5) taken 2093 times.
✗ Branch 3 (4→273) not taken.
✓ Branch 4 (5→6) taken 1 times.
✓ Branch 5 (5→7) taken 2092 times.
✓ Branch 6 (8→9) taken 1 times.
✓ Branch 7 (8→17) taken 2949 times.
 2950 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 2949 currentScope = node->scope;
205
1/2
✗ Branch 0 (17→18) not taken.
✓ Branch 1 (17→19) taken 2949 times.
 2949 assert(currentScope->type == ScopeType::FUNC_PROC_BODY);
206
207 // Retrieve procedure template types
208 2949 std::vector<GenericType> usedGenericTypes;
209
2/2
✓ Branch 0 (19→20) taken 573 times.
✓ Branch 1 (19→49) taken 2376 times.
 2949 if (node->hasTemplateTypes) {
210
2/2
✓ Branch 0 (47→22) taken 637 times.
✓ Branch 1 (47→48) taken 572 times.
 1209 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
211 // Visit template type
212
2/4
✓ Branch 0 (23→24) taken 637 times.
✗ Branch 1 (23→187) not taken.
✓ Branch 2 (24→25) taken 637 times.
✗ Branch 3 (24→185) not taken.
 637 auto templateType = std::any_cast<QualType>(visit(dataType));
213
2/4
✓ Branch 0 (26→27) taken 637 times.
✗ Branch 1 (26→197) not taken.
✗ Branch 2 (27→28) not taken.
✓ Branch 3 (27→29) taken 637 times.
 637 if (templateType.is(TY_UNRESOLVED))
214 ✗ continue;
215 // Check if it is a generic type
216
3/4
✓ Branch 0 (29→30) taken 637 times.
✗ Branch 1 (29→197) not taken.
✓ Branch 2 (30→31) taken 1 times.
✓ Branch 3 (30→39) taken 636 times.
 637 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 636 times.
✗ Branch 1 (39→197) not taken.
✓ Branch 2 (40→41) taken 636 times.
✗ Branch 3 (40→197) not taken.
 636 const GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
220
1/2
✗ Branch 0 (41→42) not taken.
✓ Branch 1 (41→43) taken 636 times.
 636 assert(genericType != nullptr);
221
1/2
✓ Branch 0 (43→44) taken 636 times.
✗ Branch 1 (43→197) not taken.
 636 usedGenericTypes.push_back(*genericType);
222 }
223 }
224
225 // Retrieve 'this' type
226
1/2
✓ Branch 0 (49→50) taken 2948 times.
✗ Branch 1 (49→271) not taken.
 2948 QualType thisType(TY_DYN); // If the procedure is not a method, the default this type is TY_DYN
227 2948 QualType thisPtrType = thisType;
228
2/2
✓ Branch 0 (50→51) taken 2454 times.
✓ Branch 1 (50→80) taken 494 times.
 2948 if (node->isMethod) {
229 2454 Scope *structParentScope = node->structScope->parent;
230
1/2
✓ Branch 0 (51→52) taken 2454 times.
✗ Branch 1 (51→271) not taken.
 2454 SymbolTableEntry *structEntry = structParentScope->lookupStrict(node->name->structName);
231
1/2
✗ Branch 0 (54→55) not taken.
✓ Branch 1 (54→56) taken 2454 times.
 2454 assert(structEntry != nullptr);
232 // Set struct to used
233 2454 structEntry->used = true;
234 // Get type and ptr type
235
1/2
✓ Branch 0 (56→57) taken 2454 times.
✗ Branch 1 (56→271) not taken.
 2454 thisType = structEntry->getQualType();
236
1/2
✓ Branch 0 (57→58) taken 2454 times.
✗ Branch 1 (57→199) not taken.
 2454 thisPtrType = thisType.toPtr(node);
237 // Collect template types of 'this' type
238
3/4
✓ Branch 0 (58→59) taken 2454 times.
✗ Branch 1 (58→201) not taken.
✓ Branch 2 (68→61) taken 839 times.
✓ Branch 3 (68→69) taken 2454 times.
 3293 for (const QualType &templateType : thisType.getTemplateTypes()) {
239 260 const auto lambda = [&](const GenericType &genericType) { return genericType == templateType; };
240
3/4
✓ Branch 0 (62→63) taken 839 times.
✗ Branch 1 (62→200) not taken.
✓ Branch 2 (63→64) taken 778 times.
✓ Branch 3 (63→65) taken 61 times.
 839 if (std::ranges::none_of(usedGenericTypes, lambda))
241
1/2
✓ Branch 0 (64→65) taken 778 times.
✗ Branch 1 (64→200) not taken.
 778 usedGenericTypes.emplace_back(templateType);
242 839 usedGenericTypes.back().used = true;
243 }
244
245 // Set type of 'this' variable
246
1/2
✓ Branch 0 (71→72) taken 2454 times.
✗ Branch 1 (71→204) not taken.
 7362 SymbolTableEntry *thisEntry = currentScope->lookupStrict(THIS_VARIABLE_NAME);
247
1/2
✗ Branch 0 (77→78) not taken.
✓ Branch 1 (77→79) taken 2454 times.
 2454 assert(thisEntry != nullptr);
248
1/2
✓ Branch 0 (79→80) taken 2454 times.
✗ Branch 1 (79→271) not taken.
 2454 thisEntry->updateType(thisPtrType, false);
249 }
250
251 // Visit parameters
252 2948 QualTypeList paramTypes;
253 2948 ParamList paramList;
254
2/2
✓ Branch 0 (80→81) taken 2092 times.
✓ Branch 1 (80→106) taken 856 times.
 2948 if (node->hasParams) {
255 2092 std::vector<const char *> paramNames;
256 // Visit param list to retrieve the param names
257
2/4
✓ Branch 0 (81→82) taken 2092 times.
✗ Branch 1 (81→210) not taken.
✓ Branch 2 (82→83) taken 2092 times.
✗ Branch 3 (82→208) not taken.
 2092 auto namedParamList = std::any_cast<NamedParamList>(visit(node->paramLst));
258
2/2
✓ Branch 0 (102→86) taken 2609 times.
✓ Branch 1 (102→103) taken 2091 times.
 4700 for (const auto &[name, qualType, isOptional] : namedParamList) {
259
1/2
✓ Branch 0 (87→88) taken 2609 times.
✗ Branch 1 (87→221) not taken.
 2609 paramNames.push_back(name);
260
1/2
✓ Branch 0 (88→89) taken 2609 times.
✗ Branch 1 (88→221) not taken.
 2609 paramTypes.push_back(qualType);
261
1/2
✓ Branch 0 (89→90) taken 2609 times.
✗ Branch 1 (89→211) not taken.
 2609 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 2609 times.
✗ Branch 1 (90→221) not taken.
✓ Branch 2 (91→92) taken 1 times.
✓ Branch 3 (91→100) taken 2608 times.
 2609 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 2093 }
268
269 // Leave procedure body scope
270 2947 currentScope = node->scope->parent;
271
3/4
✓ Branch 0 (106→107) taken 2454 times.
✓ Branch 1 (106→109) taken 493 times.
✗ Branch 2 (107→108) not taken.
✓ Branch 3 (107→109) taken 2454 times.
 2947 assert(currentScope->type == ScopeType::GLOBAL || currentScope->type == ScopeType::STRUCT);
272
273 // Prepare type of procedure
274
3/6
✓ Branch 0 (109→110) taken 2947 times.
✗ Branch 1 (109→228) not taken.
✓ Branch 2 (110→111) taken 2947 times.
✗ Branch 3 (110→227) not taken.
✓ Branch 4 (111→112) taken 2947 times.
✗ Branch 5 (111→227) not taken.
 2947 QualType procedureType = QualType(TY_PROCEDURE).getWithFunctionParamAndReturnTypes(QualType(TY_DYN), paramTypes);
275 2947 procedureType.setQualifiers(node->qualifiers);
276
277 // Update type of procedure entry
278
1/2
✓ Branch 0 (113→114) taken 2947 times.
✗ Branch 1 (113→231) not taken.
 5894 SymbolTableEntry *procedureEntry = currentScope->lookupStrict(node->getSymbolTableEntryName());
279
1/2
✗ Branch 0 (118→119) not taken.
✓ Branch 1 (118→120) taken 2947 times.
 2947 assert(procedureEntry != nullptr);
280
1/2
✓ Branch 0 (120→121) taken 2947 times.
✗ Branch 1 (120→267) not taken.
 2947 procedureEntry->updateType(procedureType, false);
281
282 // Build procedure object
283
4/8
✓ Branch 0 (121→122) taken 2947 times.
✗ Branch 1 (121→239) not taken.
✓ Branch 2 (122→123) taken 2947 times.
✗ Branch 3 (122→236) not taken.
✓ Branch 4 (123→124) taken 2947 times.
✗ Branch 5 (123→233) not taken.
✓ Branch 6 (124→125) taken 2947 times.
✗ Branch 7 (124→232) not taken.
 2947 Function spiceProc(node->name->name, procedureEntry, thisType, QualType(TY_DYN), paramList, usedGenericTypes, node);
284 2947 spiceProc.bodyScope = node->scope;
285
2/2
✓ Branch 0 (129→130) taken 2946 times.
✓ Branch 1 (129→265) taken 1 times.
 2947 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 2946 times.
 2946 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 140 times.
✓ Branch 1 (160→161) taken 2946 times.
 3086 for (size_t i = 1; i < node->manifestations.size(); i++) {
300
4/8
✓ Branch 0 (151→152) taken 140 times.
✗ Branch 1 (151→257) not taken.
✓ Branch 2 (152→153) taken 140 times.
✗ Branch 3 (152→257) not taken.
✓ Branch 4 (153→154) taken 140 times.
✗ Branch 5 (153→254) not taken.
✓ Branch 6 (154→155) taken 140 times.
✗ Branch 7 (154→252) not taken.
 140 Scope *scope = currentScope->copyChildScope(node->getScopeId(), node->manifestations.at(i)->getSignature(false));
301
1/2
✓ Branch 0 (157→158) taken 140 times.
✗ Branch 1 (157→265) not taken.
 140 node->manifestations.at(i)->bodyScope = scope;
302 }
303
3/6
✓ Branch 0 (162→163) taken 2946 times.
✗ Branch 1 (162→263) not taken.
✓ Branch 2 (163→164) taken 2946 times.
✗ Branch 3 (163→260) not taken.
✓ Branch 4 (164→165) taken 2946 times.
✗ Branch 5 (164→258) not taken.
 2946 currentScope->renameChildScope(node->getScopeId(), node->manifestations.front()->getSignature(false));
304
305 // Change to the root scope
306 2946 currentScope = rootScope;
307
1/2
✗ Branch 0 (167→168) not taken.
✓ Branch 1 (167→169) taken 2946 times.
 2946 assert(currentScope->type == ScopeType::GLOBAL);
308
309
1/2
✓ Branch 0 (169→170) taken 2946 times.
✗ Branch 1 (169→264) not taken.
 5892 return nullptr;
310 2954 }
311
312 585 std::any TypeChecker::visitStructDefPrepare(StructDefNode *node) {
313 585 QualTypeList usedTemplateTypes;
314 585 std::vector<GenericType> templateTypesGeneric;
315
316 // Retrieve struct template types
317
2/2
✓ Branch 0 (2→3) taken 180 times.
✓ Branch 1 (2→37) taken 405 times.
 585 if (node->hasTemplateTypes) {
318
1/2
✓ Branch 0 (4→5) taken 180 times.
✗ Branch 1 (4→288) not taken.
 180 usedTemplateTypes.reserve(node->templateTypeLst->dataTypes.size());
319
1/2
✓ Branch 0 (6→7) taken 180 times.
✗ Branch 1 (6→288) not taken.
 180 templateTypesGeneric.reserve(node->templateTypeLst->dataTypes.size());
320
2/2
✓ Branch 0 (35→9) taken 244 times.
✓ Branch 1 (35→36) taken 180 times.
 424 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
321 // Visit template type
322
2/4
✓ Branch 0 (10→11) taken 244 times.
✗ Branch 1 (10→194) not taken.
✓ Branch 2 (11→12) taken 244 times.
✗ Branch 3 (11→192) not taken.
 244 auto templateType = std::any_cast<QualType>(visit(dataType));
323
2/4
✓ Branch 0 (13→14) taken 244 times.
✗ Branch 1 (13→204) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→16) taken 244 times.
 244 if (templateType.is(TY_UNRESOLVED))
324 ✗ continue;
325 // Check if it is a generic type
326
2/4
✓ Branch 0 (16→17) taken 244 times.
✗ Branch 1 (16→204) not taken.
✗ Branch 2 (17→18) not taken.
✓ Branch 3 (17→26) taken 244 times.
 244 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 244 times.
✗ Branch 1 (26→204) not taken.
✓ Branch 2 (27→28) taken 244 times.
✗ Branch 3 (27→204) not taken.
 244 GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
330
1/2
✗ Branch 0 (28→29) not taken.
✓ Branch 1 (28→30) taken 244 times.
 244 assert(genericType != nullptr);
331
1/2
✓ Branch 0 (30→31) taken 244 times.
✗ Branch 1 (30→204) not taken.
 244 usedTemplateTypes.push_back(*genericType);
332
1/2
✓ Branch 0 (31→32) taken 244 times.
✗ Branch 1 (31→204) not taken.
 244 templateTypesGeneric.push_back(*genericType);
333 }
334 }
335
336 // Retrieve implemented interfaces
337 585 QualTypeList interfaceTypes;
338
2/2
✓ Branch 0 (37→38) taken 93 times.
✓ Branch 1 (37→89) taken 492 times.
 585 if (node->hasInterfaces) {
339
1/2
✓ Branch 0 (39→40) taken 93 times.
✗ Branch 1 (39→286) not taken.
 93 interfaceTypes.reserve(node->interfaceTypeLst->dataTypes.size());
340
2/2
✓ Branch 0 (87→42) taken 93 times.
✓ Branch 1 (87→88) taken 92 times.
 185 for (DataTypeNode *interfaceNode : node->interfaceTypeLst->dataTypes) {
341 // Visit interface type
342
2/4
✓ Branch 0 (43→44) taken 93 times.
✗ Branch 1 (43→208) not taken.
✓ Branch 2 (44→45) taken 93 times.
✗ Branch 3 (44→206) not taken.
 93 auto interfaceType = std::any_cast<QualType>(visit(interfaceNode));
343
2/4
✓ Branch 0 (46→47) taken 93 times.
✗ Branch 1 (46→230) not taken.
✗ Branch 2 (47→48) not taken.
✓ Branch 3 (47→49) taken 93 times.
 93 if (interfaceType.is(TY_UNRESOLVED))
344 ✗ continue;
345 // Check if it is an interface type
346
2/4
✓ Branch 0 (49→50) taken 93 times.
✗ Branch 1 (49→230) not taken.
✗ Branch 2 (50→51) not taken.
✓ Branch 3 (50→58) taken 93 times.
 93 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 93 times.
✗ Branch 1 (58→230) not taken.
✓ Branch 2 (59→60) taken 93 times.
✗ Branch 3 (59→230) not taken.
✓ Branch 4 (60→61) taken 79 times.
✓ Branch 5 (60→64) taken 14 times.
✓ Branch 6 (61→62) taken 79 times.
✗ Branch 7 (61→230) not taken.
✓ Branch 8 (62→63) taken 1 times.
✓ Branch 9 (62→64) taken 78 times.
✓ Branch 10 (65→66) taken 1 times.
✓ Branch 11 (65→74) taken 92 times.
 93 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 92 times.
✗ Branch 1 (74→230) not taken.
 92 interfaceTypes.push_back(interfaceType);
355 // Update the type of the entry for that interface field
356 92 const std::string &interfaceName = interfaceNode->baseDataType->customDataType->typeNameFragments.back();
357
1/2
✓ Branch 0 (76→77) taken 92 times.
✗ Branch 1 (76→229) not taken.
 184 SymbolTableEntry *interfaceEntry = node->structScope->lookupStrict("this." + interfaceName);
358
1/2
✗ Branch 0 (81→82) not taken.
✓ Branch 1 (81→83) taken 92 times.
 92 assert(interfaceEntry != nullptr);
359
1/2
✓ Branch 0 (83→84) taken 92 times.
✗ Branch 1 (83→230) not taken.
 92 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 584 times.
 584 assert(node->entry != nullptr);
365 584 const TypeChainElementData data = {.bodyScope = node->structScope};
366
1/2
✓ Branch 0 (91→92) taken 584 times.
✗ Branch 1 (91→286) not taken.
 584 const Type *type = TypeRegistry::getOrInsert(TY_STRUCT, node->structName, node->typeId, data, usedTemplateTypes);
367
2/4
✓ Branch 0 (92→93) taken 584 times.
✗ Branch 1 (92→232) not taken.
✓ Branch 2 (93→94) taken 584 times.
✗ Branch 3 (93→232) not taken.
 584 node->entry->updateType(QualType(type, node->qualifiers), false);
368
369 // Change to struct scope
370 584 currentScope = node->structScope;
371
1/2
✗ Branch 0 (94→95) not taken.
✓ Branch 1 (94→96) taken 584 times.
 584 assert(currentScope->type == ScopeType::STRUCT);
372
373 // Retrieve field types
374 584 QualTypeList fieldTypes;
375
1/2
✓ Branch 0 (97→98) taken 584 times.
✗ Branch 1 (97→284) not taken.
 584 fieldTypes.reserve(node->fields.size());
376
2/2
✓ Branch 0 (141→100) taken 1260 times.
✓ Branch 1 (141→142) taken 581 times.
 1841 for (FieldNode *field : node->fields) {
377 // Visit field type
378
2/4
✓ Branch 0 (101→102) taken 1260 times.
✗ Branch 1 (101→235) not taken.
✓ Branch 2 (102→103) taken 1260 times.
✗ Branch 3 (102→233) not taken.
 1260 auto fieldType = std::any_cast<QualType>(visit(field));
379
3/4
✓ Branch 0 (104→105) taken 1260 times.
✗ Branch 1 (104→254) not taken.
✓ Branch 2 (105→106) taken 2 times.
✓ Branch 3 (105→107) taken 1258 times.
 1260 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 1258 times.
✗ Branch 1 (107→254) not taken.
✓ Branch 2 (108→109) taken 131 times.
✓ Branch 3 (108→112) taken 1127 times.
✓ Branch 4 (109→110) taken 131 times.
✗ Branch 5 (109→254) not taken.
✗ Branch 6 (110→111) not taken.
✓ Branch 7 (110→112) taken 131 times.
✗ Branch 8 (113→114) not taken.
✓ Branch 9 (113→122) taken 1258 times.
 1258 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 1258 times.
✗ Branch 1 (122→254) not taken.
 1258 fieldTypes.push_back(fieldType);
389
390 // Update type of field entry
391
1/2
✓ Branch 0 (123→124) taken 1258 times.
✗ Branch 1 (123→254) not taken.
 1258 SymbolTableEntry *fieldEntry = currentScope->lookupStrict(field->fieldName);
392
1/2
✗ Branch 0 (126→127) not taken.
✓ Branch 1 (126→128) taken 1258 times.
 1258 assert(fieldEntry != nullptr);
393
1/2
✓ Branch 0 (128→129) taken 1258 times.
✗ Branch 1 (128→254) not taken.
 1258 fieldEntry->updateType(fieldType, false);
394
395 // Check if the template type list contains this type
396
3/4
✓ Branch 0 (129→130) taken 1258 times.
✗ Branch 1 (129→254) not taken.
✓ Branch 2 (130→131) taken 1 times.
✓ Branch 3 (130→139) taken 1257 times.
 1258 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 581 currentScope = rootScope;
402
1/2
✗ Branch 0 (142→143) not taken.
✓ Branch 1 (142→144) taken 581 times.
 581 assert(currentScope->type == ScopeType::GLOBAL);
403
404 // Build struct object
405
4/8
✓ Branch 0 (144→145) taken 581 times.
✗ Branch 1 (144→265) not taken.
✓ Branch 2 (145→146) taken 581 times.
✗ Branch 3 (145→262) not taken.
✓ Branch 4 (146→147) taken 581 times.
✗ Branch 5 (146→259) not taken.
✓ Branch 6 (147→148) taken 581 times.
✗ Branch 7 (147→256) not taken.
 581 Struct spiceStruct(node->structName, node->entry, node->structScope, fieldTypes, templateTypesGeneric, interfaceTypes, node);
406
1/2
✓ Branch 0 (153→154) taken 581 times.
✗ Branch 1 (153→282) not taken.
 581 StructManager::insert(currentScope, spiceStruct, &node->structManifestations);
407 581 spiceStruct.scope = node->structScope;
408
409 // Request RTTI runtime if the struct is polymorphic
410 581 node->emitVTable |= node->hasInterfaces;
411
12/18
✓ Branch 0 (154→155) taken 53 times.
✓ Branch 1 (154→161) taken 528 times.
✓ Branch 2 (157→158) taken 53 times.
✗ Branch 3 (157→266) not taken.
✓ Branch 4 (158→159) taken 53 times.
✗ Branch 5 (158→266) not taken.
✓ Branch 6 (159→160) taken 52 times.
✓ Branch 7 (159→161) taken 1 times.
✓ Branch 8 (162→163) taken 53 times.
✓ Branch 9 (162→164) taken 528 times.
✓ Branch 10 (164→165) taken 53 times.
✓ Branch 11 (164→167) taken 528 times.
✓ Branch 12 (167→168) taken 52 times.
✓ Branch 13 (167→175) taken 529 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.
 687 if (node->attrs && node->attrs->attrLst->hasAttr(ATTR_CORE_COMPILER_EMIT_VTABLE))
412
2/4
✓ Branch 0 (170→171) taken 52 times.
✗ Branch 1 (170→277) not taken.
✓ Branch 2 (171→172) taken 52 times.
✗ Branch 3 (171→275) not taken.
 156 node->emitVTable |= node->attrs->attrLst->getAttrValueByName(ATTR_CORE_COMPILER_EMIT_VTABLE)->boolValue;
413
7/8
✓ Branch 0 (175→176) taken 144 times.
✓ Branch 1 (175→181) taken 437 times.
✓ Branch 2 (176→177) taken 144 times.
✗ Branch 3 (176→282) not taken.
✓ Branch 4 (179→180) taken 93 times.
✓ Branch 5 (179→181) taken 51 times.
✓ Branch 6 (182→183) taken 93 times.
✓ Branch 7 (182→184) taken 488 times.
 725 if (node->emitVTable && !sourceFile->isRttiRT())
414
1/2
✓ Branch 0 (183→184) taken 93 times.
✗ Branch 1 (183→282) not taken.
 93 sourceFile->requestRuntimeModule(RTTI_RT);
415
416
1/2
✓ Branch 0 (184→185) taken 581 times.
✗ Branch 1 (184→281) not taken.
 1162 return nullptr;
417 596 }
418
419 80 std::any TypeChecker::visitInterfaceDefPrepare(InterfaceDefNode *node) {
420 80 QualTypeList usedTemplateTypes;
421 80 std::vector<GenericType> templateTypesGeneric;
422
423 // Retrieve interface template types
424
2/2
✓ Branch 0 (2→3) taken 60 times.
✓ Branch 1 (2→37) taken 20 times.
 80 if (node->hasTemplateTypes) {
425
1/2
✓ Branch 0 (4→5) taken 60 times.
✗ Branch 1 (4→122) not taken.
 60 usedTemplateTypes.reserve(node->templateTypeLst->dataTypes.size());
426
1/2
✓ Branch 0 (6→7) taken 60 times.
✗ Branch 1 (6→122) not taken.
 60 templateTypesGeneric.reserve(node->templateTypeLst->dataTypes.size());
427
2/2
✓ Branch 0 (35→9) taken 60 times.
✓ Branch 1 (35→36) taken 60 times.
 120 for (DataTypeNode *dataType : node->templateTypeLst->dataTypes) {
428 // Visit template type
429
2/4
✓ Branch 0 (10→11) taken 60 times.
✗ Branch 1 (10→93) not taken.
✓ Branch 2 (11→12) taken 60 times.
✗ Branch 3 (11→91) not taken.
 60 auto templateType = std::any_cast<QualType>(visit(dataType));
430
2/6
✓ Branch 0 (13→14) taken 60 times.
✗ Branch 1 (13→101) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→17) taken 60 times.
✗ Branch 4 (15→16) not taken.
✗ Branch 5 (15→94) not taken.
 60 HANDLE_UNRESOLVED_TYPE_PTR(templateType)
431 // Check if it is a generic type
432
2/4
✓ Branch 0 (17→18) taken 60 times.
✗ Branch 1 (17→101) not taken.
✗ Branch 2 (18→19) not taken.
✓ Branch 3 (18→26) taken 60 times.
 60 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 60 times.
✗ Branch 1 (26→101) not taken.
✓ Branch 2 (27→28) taken 60 times.
✗ Branch 3 (27→101) not taken.
 60 const GenericType *genericType = rootScope->lookupGenericTypeStrict(templateType.getSubType());
438
1/2
✗ Branch 0 (28→29) not taken.
✓ Branch 1 (28→30) taken 60 times.
 60 assert(genericType != nullptr);
439
1/2
✓ Branch 0 (30→31) taken 60 times.
✗ Branch 1 (30→101) not taken.
 60 usedTemplateTypes.push_back(*genericType);
440
1/2
✓ Branch 0 (31→32) taken 60 times.
✗ Branch 1 (31→101) not taken.
 60 templateTypesGeneric.push_back(*genericType);
441 }
442 }
443
444 // Update type of interface entry
445 80 const TypeChainElementData data = {.bodyScope = node->interfaceScope};
446
1/2
✓ Branch 0 (37→38) taken 80 times.
✗ Branch 1 (37→122) not taken.
 80 const Type *type = TypeRegistry::getOrInsert(TY_INTERFACE, node->interfaceName, node->typeId, data, usedTemplateTypes);
447
1/2
✓ Branch 0 (38→39) taken 80 times.
✗ Branch 1 (38→122) not taken.
 80 const QualType interfaceType(type, node->qualifiers);
448
1/2
✗ Branch 0 (39→40) not taken.
✓ Branch 1 (39→41) taken 80 times.
 80 assert(node->entry != nullptr);
449
1/2
✓ Branch 0 (41→42) taken 80 times.
✗ Branch 1 (41→122) not taken.
 80 node->entry->updateType(interfaceType, false);
450
451 // Change to interface scope
452 80 currentScope = node->interfaceScope;
453
1/2
✗ Branch 0 (42→43) not taken.
✓ Branch 1 (42→44) taken 80 times.
 80 assert(currentScope->type == ScopeType::INTERFACE);
454
455 // Visit methods
456 80 size_t vtableIndex = 0;
457 80 std::vector<Function *> methods;
458
1/2
✓ Branch 0 (45→46) taken 80 times.
✗ Branch 1 (45→120) not taken.
 80 methods.reserve(node->signatures.size());
459
2/2
✓ Branch 0 (68→48) taken 186 times.
✓ Branch 1 (68→69) taken 79 times.
 265 for (SignatureNode *signature : node->signatures) {
460
2/4
✓ Branch 0 (49→50) taken 186 times.
✗ Branch 1 (49→105) not taken.
✓ Branch 2 (50→51) taken 186 times.
✗ Branch 3 (50→103) not taken.
 186 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 185 times.
 186 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 185 times.
✓ Branch 1 (60→61) taken 185 times.
 370 for (Function *m : *method) {
466 185 m->isVirtual = true; // Interface methods are always virtual
467 185 m->vtableIndex = vtableIndex;
468 185 m->thisType = interfaceType;
469 }
470
471
1/2
✓ Branch 0 (65→66) taken 185 times.
✗ Branch 1 (65→107) not taken.
 185 methods.insert(methods.end(), method->begin(), method->end());
472 185 vtableIndex++;
473 }
474
475 // Change to root scope
476 79 currentScope = rootScope;
477
1/2
✗ Branch 0 (69→70) not taken.
✓ Branch 1 (69→71) taken 79 times.
 79 assert(currentScope->type == ScopeType::GLOBAL);
478
479 // Build interface object
480
3/6
✓ Branch 0 (71→72) taken 79 times.
✗ Branch 1 (71→116) not taken.
✓ Branch 2 (72→73) taken 79 times.
✗ Branch 3 (72→113) not taken.
✓ Branch 4 (73→74) taken 79 times.
✗ Branch 5 (73→110) not taken.
 79 Interface spiceInterface(node->interfaceName, node->entry, node->interfaceScope, methods, templateTypesGeneric, node);
481
1/2
✓ Branch 0 (78→79) taken 79 times.
✗ Branch 1 (78→118) not taken.
 79 InterfaceManager::insert(currentScope, spiceInterface, &node->interfaceManifestations);
482 79 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 79 times.
✗ Branch 1 (79→118) not taken.
✓ Branch 2 (82→83) taken 79 times.
✗ Branch 3 (82→84) not taken.
 158 if (!sourceFile->isRttiRT())
486
1/2
✓ Branch 0 (83→84) taken 79 times.
✗ Branch 1 (83→118) not taken.
 79 sourceFile->requestRuntimeModule(RTTI_RT);
487
488
1/2
✓ Branch 0 (84→85) taken 79 times.
✗ Branch 1 (84→117) not taken.
 79 return nullptr;
489 80 }
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 732 times.
✓ Branch 1 (30→31) taken 63 times.
 795 for (const EnumItemNode *enumItem : node->itemLst->items) {
506 // Save name
507
1/2
✓ Branch 0 (14→15) taken 732 times.
✗ Branch 1 (14→71) not taken.
 732 names.push_back(enumItem->itemName);
508 // Check for duplicate value
509
2/2
✓ Branch 0 (15→16) taken 408 times.
✓ Branch 1 (15→28) taken 324 times.
 732 if (enumItem->hasValue) {
510
3/4
✓ Branch 0 (17→18) taken 408 times.
✗ Branch 1 (17→63) not taken.
✓ Branch 2 (19→20) taken 1 times.
✓ Branch 3 (19→27) taken 407 times.
 408 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 407 times.
✗ Branch 1 (27→71) not taken.
 407 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 732 times.
✓ Branch 1 (51→52) taken 63 times.
 795 for (EnumItemNode *enumItem : node->itemLst->items) {
522 // Update type of enum item entry
523
1/2
✓ Branch 0 (35→36) taken 732 times.
✗ Branch 1 (35→74) not taken.
 732 SymbolTableEntry *itemEntry = currentScope->lookupStrict(enumItem->itemName);
524
1/2
✗ Branch 0 (38→39) not taken.
✓ Branch 1 (38→40) taken 732 times.
 732 assert(itemEntry != nullptr);
525
1/2
✓ Branch 0 (40→41) taken 732 times.
✗ Branch 1 (40→74) not taken.
 732 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 408 times.
 732 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 759 std::any TypeChecker::visitGenericTypeDefPrepare(GenericTypeDefNode *node) {
543 // Retrieve type conditions
544 759 QualTypeList typeConditions;
545
1/2
✓ Branch 0 (3→4) taken 759 times.
✗ Branch 1 (3→52) not taken.
 759 typeConditions.reserve(node->typeAltsLst->dataTypes.size());
546
2/2
✓ Branch 0 (19→6) taken 1467 times.
✓ Branch 1 (19→20) taken 759 times.
 2226 for (const auto &typeAlt : node->typeAltsLst->dataTypes) {
547
2/4
✓ Branch 0 (7→8) taken 1467 times.
✗ Branch 1 (7→41) not taken.
✓ Branch 2 (8→9) taken 1467 times.
✗ Branch 3 (8→39) not taken.
 1467 auto typeCondition = std::any_cast<QualType>(visit(typeAlt));
548
2/6
✓ Branch 0 (10→11) taken 1467 times.
✗ Branch 1 (10→43) not taken.
✗ Branch 2 (11→12) not taken.
✓ Branch 3 (11→14) taken 1467 times.
✗ Branch 4 (12→13) not taken.
✗ Branch 5 (12→42) not taken.
 1467 HANDLE_UNRESOLVED_TYPE_PTR(typeCondition)
549
3/4
✓ Branch 0 (14→15) taken 1467 times.
✗ Branch 1 (14→43) not taken.
✓ Branch 2 (15→16) taken 1194 times.
✓ Branch 3 (15→17) taken 273 times.
 1467 if (!typeCondition.is(TY_DYN))
550
1/2
✓ Branch 0 (16→17) taken 1194 times.
✗ Branch 1 (16→43) not taken.
 1194 typeConditions.push_back(typeCondition);
551 }
552
553 // Add generic type to the scope
554
2/4
✓ Branch 0 (20→21) taken 759 times.
✗ Branch 1 (20→47) not taken.
✓ Branch 2 (21→22) taken 759 times.
✗ Branch 3 (21→45) not taken.
 759 const GenericType genericType(node->typeName, typeConditions);
555
1/2
✓ Branch 0 (23→24) taken 759 times.
✗ Branch 1 (23→50) not taken.
 759 rootScope->insertGenericType(node->typeName, genericType);
556
557 // Check if only one type condition is set
558
6/8
✓ Branch 0 (25→26) taken 1 times.
✓ Branch 1 (25→30) taken 758 times.
✓ Branch 2 (27→28) taken 1 times.
✗ Branch 3 (27→50) not taken.
✓ Branch 4 (28→29) taken 1 times.
✗ Branch 5 (28→30) not taken.
✓ Branch 6 (31→32) taken 1 times.
✓ Branch 7 (31→34) taken 758 times.
 759 if (typeConditions.size() == 1 && !typeConditions.front().is(TY_DYN))
559
1/2
✓ Branch 0 (32→33) taken 1 times.
✗ Branch 1 (32→48) not taken.
 1 sourceFile->compilerOutput.warnings.emplace_back(node->typeAltsLst->codeLoc, SINGLE_GENERIC_TYPE_CONDITION,
560 "Generic type is locked to one type");
561
562
1/2
✓ Branch 0 (34→35) taken 759 times.
✗ Branch 1 (34→49) not taken.
 759 return nullptr;
563 759 }
564
565 48 std::any TypeChecker::visitAliasDefPrepare(AliasDefNode *node) {
566
2/4
✓ Branch 0 (2→3) taken 48 times.
✗ Branch 1 (2→5) not taken.
✓ Branch 2 (3→4) taken 48 times.
✗ Branch 3 (3→5) not taken.
 48 assert(node->entry != nullptr && node->aliasedTypeContainerEntry != nullptr);
567
568 // Update type of alias entry
569
1/2
✓ Branch 0 (7→8) taken 48 times.
✗ Branch 1 (7→23) not taken.
 48 const Type *type = TypeRegistry::getOrInsert(TY_ALIAS, node->aliasName, node->typeId, {}, {});
570
2/4
✓ Branch 0 (9→10) taken 48 times.
✗ Branch 1 (9→27) not taken.
✓ Branch 2 (10→11) taken 48 times.
✗ Branch 3 (10→27) not taken.
 48 node->entry->updateType(QualType(type, node->qualifiers), false);
571
572 // Update type of the aliased type container entry
573
2/4
✓ Branch 0 (11→12) taken 48 times.
✗ Branch 1 (11→30) not taken.
✓ Branch 2 (12→13) taken 48 times.
✗ Branch 3 (12→28) not taken.
 48 const auto aliasedType = std::any_cast<QualType>(visit(node->dataType));
574
4/6
✓ Branch 0 (14→15) taken 48 times.
✗ Branch 1 (14→33) not taken.
✓ Branch 2 (15→16) taken 1 times.
✓ Branch 3 (15→18) taken 47 times.
✓ Branch 4 (16→17) taken 1 times.
✗ Branch 5 (16→31) not taken.
 48 HANDLE_UNRESOLVED_TYPE_PTR(aliasedType)
575
1/2
✓ Branch 0 (18→19) taken 47 times.
✗ Branch 1 (18→33) not taken.
 47 node->aliasedTypeContainerEntry->updateType(aliasedType, false);
576 47 node->aliasedTypeContainerEntry->used = true; // The container type is always used per default
577
578
1/2
✓ Branch 0 (19→20) taken 47 times.
✗ Branch 1 (19→32) not taken.
 47 return nullptr;
579 }
580
581 760 std::any TypeChecker::visitGlobalVarDefPrepare(GlobalVarDefNode *node) {
582 // Insert variable name to symbol table
583
2/4
✓ Branch 0 (2→3) taken 760 times.
✗ Branch 1 (2→80) not taken.
✓ Branch 2 (3→4) taken 760 times.
✗ Branch 3 (3→78) not taken.
 760 auto globalVarType = std::any_cast<QualType>(visit(node->dataType));
584
2/6
✓ Branch 0 (5→6) taken 760 times.
✗ Branch 1 (5→126) not taken.
✗ Branch 2 (6→7) not taken.
✓ Branch 3 (6→9) taken 760 times.
✗ Branch 4 (7→8) not taken.
✗ Branch 5 (7→81) not taken.
 760 HANDLE_UNRESOLVED_TYPE_PTR(globalVarType)
585
586
2/2
✓ Branch 0 (9→10) taken 758 times.
✓ Branch 1 (9→37) taken 2 times.
 760 if (node->constant) { // Variable is initialized here
587
2/4
✓ Branch 0 (10→11) taken 758 times.
✗ Branch 1 (10→84) not taken.
✓ Branch 2 (11→12) taken 758 times.
✗ Branch 3 (11→82) not taken.
 758 const QualType rhsType = std::any_cast<ExprResult>(visit(node->constant)).type;
588
2/6
✓ Branch 0 (13→14) taken 758 times.
✗ Branch 1 (13→103) not taken.
✗ Branch 2 (14→15) not taken.
✓ Branch 3 (14→17) taken 758 times.
✗ Branch 4 (15→16) not taken.
✗ Branch 5 (15→86) not taken.
 758 HANDLE_UNRESOLVED_TYPE_PTR(rhsType)
589
3/4
✓ Branch 0 (17→18) taken 758 times.
✗ Branch 1 (17→103) not taken.
✓ Branch 2 (18→19) taken 1 times.
✓ Branch 3 (18→20) taken 757 times.
 758 if (globalVarType.is(TY_DYN)) { // Perform type inference
590 1 globalVarType = rhsType;
591
3/4
✓ Branch 0 (20→21) taken 757 times.
✗ Branch 1 (20→103) not taken.
✓ Branch 2 (21→22) taken 2 times.
✓ Branch 3 (21→35) taken 755 times.
 757 } else if (!globalVarType.matches(rhsType, false, true, true)) { // Check if types are matching
592
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,
593 "Expected " + globalVarType.getName(false) + ", but got " + rhsType.getName(false))
594 }
595 }
596
597 // Check if the type is still missing
598
3/4
✓ Branch 0 (37→38) taken 758 times.
✗ Branch 1 (37→126) not taken.
✓ Branch 2 (38→39) taken 1 times.
✓ Branch 3 (38→47) taken 757 times.
 758 if (globalVarType.is(TY_DYN))
599
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")
600
601 // Check if we would need to insert instructions in the global scope to initialize the variable
602
2/4
✓ Branch 0 (47→48) taken 757 times.
✗ Branch 1 (47→126) not taken.
✗ Branch 2 (48→49) not taken.
✓ Branch 3 (48→57) taken 757 times.
 757 if (!globalVarType.isPrimitive())
603 ✗ SOFT_ERROR_BOOL(node->dataType, GLOBAL_OF_INVALID_TYPE, "Spice does only support global variables of primitive type")
604
605 // Update type of global var entry
606
1/2
✗ Branch 0 (57→58) not taken.
✓ Branch 1 (57→59) taken 757 times.
 757 assert(node->entry != nullptr);
607
1/2
✓ Branch 0 (59→60) taken 757 times.
✗ Branch 1 (59→126) not taken.
 757 node->entry->updateType(globalVarType, false);
608
609 // Check if a value is attached
610
6/8
✓ Branch 0 (60→61) taken 1 times.
✓ Branch 1 (60→64) taken 756 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 756 times.
 757 if (!node->constant && globalVarType.isConst())
611
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")
612
613
1/2
✓ Branch 0 (74→75) taken 756 times.
✗ Branch 1 (74→125) not taken.
 756 return nullptr;
614 }
615
616 851 std::any TypeChecker::visitExtDeclPrepare(ExtDeclNode *node) {
617 // Collect argument types
618 851 QualTypeList argTypes;
619 851 ParamList argList;
620
2/2
✓ Branch 0 (2→3) taken 811 times.
✓ Branch 1 (2→31) taken 40 times.
 851 if (node->hasArgs) {
621
1/2
✓ Branch 0 (4→5) taken 811 times.
✗ Branch 1 (4→149) not taken.
 811 argList.reserve(node->argTypeLst->dataTypes.size());
622
2/2
✓ Branch 0 (29→7) taken 1666 times.
✓ Branch 1 (29→30) taken 811 times.
 2477 for (DataTypeNode *arg : node->argTypeLst->dataTypes) {
623 // Visit argument
624
2/4
✓ Branch 0 (8→9) taken 1666 times.
✗ Branch 1 (8→96) not taken.
✓ Branch 2 (9→10) taken 1666 times.
✗ Branch 3 (9→94) not taken.
 1666 auto argType = std::any_cast<QualType>(visit(arg));
625
2/6
✓ Branch 0 (11→12) taken 1666 times.
✗ Branch 1 (11→105) not taken.
✗ Branch 2 (12→13) not taken.
✓ Branch 3 (12→15) taken 1666 times.
✗ Branch 4 (13→14) not taken.
✗ Branch 5 (13→97) not taken.
 1666 HANDLE_UNRESOLVED_TYPE_PTR(argType)
626 // Check if the argument type is 'dyn'
627
3/4
✓ Branch 0 (15→16) taken 1666 times.
✗ Branch 1 (15→105) not taken.
✓ Branch 2 (16→17) taken 1 times.
✓ Branch 3 (16→24) taken 1665 times.
 1666 if (argType.is(TY_DYN)) {
628
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");
629 1 continue;
630 }
631 // Save argument
632
1/2
✓ Branch 0 (24→25) taken 1665 times.
✗ Branch 1 (24→105) not taken.
 1665 argTypes.push_back(argType);
633
1/2
✓ Branch 0 (25→26) taken 1665 times.
✗ Branch 1 (25→104) not taken.
 1665 argList.push_back({argType, false});
634 }
635 }
636
637 // Retrieve return type
638
1/2
✓ Branch 0 (31→32) taken 851 times.
✗ Branch 1 (31→149) not taken.
 851 QualType returnType(TY_DYN);
639 851 const bool isFunction = node->returnType;
640
2/2
✓ Branch 0 (32→33) taken 553 times.
✓ Branch 1 (32→50) taken 298 times.
 851 if (isFunction) { // External function
641
2/4
✓ Branch 0 (33→34) taken 553 times.
✗ Branch 1 (33→109) not taken.
✓ Branch 2 (34→35) taken 553 times.
✗ Branch 3 (34→107) not taken.
 553 returnType = std::any_cast<QualType>(visit(node->returnType));
642
2/6
✓ Branch 0 (36→37) taken 553 times.
✗ Branch 1 (36→149) not taken.
✗ Branch 2 (37→38) not taken.
✓ Branch 3 (37→40) taken 553 times.
✗ Branch 4 (38→39) not taken.
✗ Branch 5 (38→111) not taken.
 553 HANDLE_UNRESOLVED_TYPE_PTR(returnType)
643 // Check if return type is dyn
644
3/4
✓ Branch 0 (40→41) taken 553 times.
✗ Branch 1 (40→149) not taken.
✓ Branch 2 (41→42) taken 1 times.
✓ Branch 3 (41→50) taken 552 times.
 553 if (returnType.is(TY_DYN))
645
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")
646 }
647
648 // Add function to current scope
649
3/6
✓ Branch 0 (51→52) taken 850 times.
✗ Branch 1 (51→123) not taken.
✓ Branch 2 (52→53) taken 850 times.
✗ Branch 3 (52→120) not taken.
✓ Branch 4 (53→54) taken 850 times.
✗ Branch 5 (53→119) not taken.
 850 const Function spiceFunc(node->extFunctionName, node->entry, QualType(TY_DYN), returnType, argList, {}, node);
650
1/2
✓ Branch 0 (58→59) taken 850 times.
✗ Branch 1 (58→147) not taken.
 850 node->extFunction = FunctionManager::insert(currentScope, spiceFunc, &node->extFunctionManifestations);
651 850 node->extFunction->mangleFunctionName = false;
652 850 node->extFunction->alreadyTypeChecked = true;
653
654 // Check procedure attributes
655
2/2
✓ Branch 0 (59→60) taken 1 times.
✓ Branch 1 (59→77) taken 849 times.
 850 if (node->attrs) {
656 1 const AttrLstNode *attrLst = node->attrs->attrLst;
657
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))
658 ✗ node->extFunction->mangleFunctionName = value->boolValue;
659
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)) {
660
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);
661
1/2
✓ Branch 0 (76→77) taken 1 times.
✗ Branch 1 (76→147) not taken.
 1 node->extFunction->predefinedMangledName = stringValue;
662 }
663 }
664
665 // Prepare ext function type
666
2/2
✓ Branch 0 (77→78) taken 552 times.
✓ Branch 1 (77→79) taken 298 times.
 850 const SuperType superType = isFunction ? TY_FUNCTION : TY_PROCEDURE;
667
2/4
✓ Branch 0 (80→81) taken 850 times.
✗ Branch 1 (80→139) not taken.
✓ Branch 2 (81→82) taken 850 times.
✗ Branch 3 (81→139) not taken.
 850 const QualType extFunctionType = QualType(superType).getWithFunctionParamAndReturnTypes(returnType, argTypes);
668
669 // Set type of external function
670
1/2
✓ Branch 0 (82→83) taken 850 times.
✗ Branch 1 (82→147) not taken.
 850 node->entry->updateType(extFunctionType, false);
671
672 // Rename the original child scope to reflect the substantiated versions of the external function
673
3/6
✓ Branch 0 (83→84) taken 850 times.
✗ Branch 1 (83→145) not taken.
✓ Branch 2 (84→85) taken 850 times.
✗ Branch 3 (84→142) not taken.
✓ Branch 4 (85→86) taken 850 times.
✗ Branch 5 (85→140) not taken.
 850 currentScope->renameChildScope(node->getScopeId(), spiceFunc.getSignature(false));
674
675
1/2
✓ Branch 0 (88→89) taken 850 times.
✗ Branch 1 (88→146) not taken.
 850 return nullptr;
676 851 }
677
678 466 std::any TypeChecker::visitImportDefPrepare(ImportDefNode *node) {
679 // Set entry to import type
680
1/2
✓ Branch 0 (2→3) taken 466 times.
✗ Branch 1 (2→10) not taken.
 466 const QualType importType(TY_IMPORT, node->importName);
681
1/2
✗ Branch 0 (3→4) not taken.
✓ Branch 1 (3→5) taken 466 times.
 466 assert(node->entry != nullptr);
682
1/2
✓ Branch 0 (5→6) taken 466 times.
✗ Branch 1 (5→10) not taken.
 466 node->entry->updateType(importType, false);
683
684
1/2
✓ Branch 0 (6→7) taken 466 times.
✗ Branch 1 (6→9) not taken.
 466 return nullptr;
685 }
686
687 } // namespace spice::compiler
688