GCC Code Coverage Report

Directory: ../
File: src/typechecker/TypeCheckerControlStructures.cpp
Date: 2025-10-27 22:48:14
Coverage Exec Excl Total
Lines: 98.8% 169 0 171
Functions: 100.0% 12 0 12
Branches: 53.8% 238 0 442
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 <global/GlobalResourceManager.h>
7 #include <symboltablebuilder/ScopeHandle.h>
8 #include <typechecker/MacroDefs.h>
9
10 namespace spice::compiler {
11
12 2148 std::any TypeChecker::visitUnsafeBlock(UnsafeBlockNode *node) {
13 // Change to unsafe block body scope
14
2/4
✓ Branch 2 → 3 taken 2148 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 2148 times.
✗ Branch 3 → 11 not taken.
 2148 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::UNSAFE_BODY);
15
16 // Visit body
17
1/2
✓ Branch 5 → 6 taken 2148 times.
✗ Branch 5 → 15 not taken.
 2148 visit(node->body);
18
19
1/2
✓ Branch 7 → 8 taken 2148 times.
✗ Branch 7 → 16 not taken.
 4296 return nullptr;
20 2148 }
21
22 1274 std::any TypeChecker::visitForLoop(ForLoopNode *node) {
23 // Change to for body scope
24
2/4
✓ Branch 2 → 3 taken 1274 times.
✗ Branch 2 → 37 not taken.
✓ Branch 3 → 4 taken 1274 times.
✗ Branch 3 → 35 not taken.
 1274 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::FOR_BODY);
25
26 // Visit loop variable declaration
27
1/2
✓ Branch 5 → 6 taken 1274 times.
✗ Branch 5 → 39 not taken.
 1274 visit(node->initDecl);
28
29 // Visit condition
30
2/4
✓ Branch 7 → 8 taken 1274 times.
✗ Branch 7 → 42 not taken.
✓ Branch 8 → 9 taken 1274 times.
✗ Branch 8 → 40 not taken.
 1274 const QualType conditionType = std::any_cast<ExprResult>(visit(node->condAssign)).type;
31
2/6
✓ Branch 10 → 11 taken 1274 times.
✗ Branch 10 → 55 not taken.
✗ Branch 11 → 12 not taken.
✓ Branch 11 → 14 taken 1274 times.
✗ Branch 12 → 13 not taken.
✗ Branch 12 → 44 not taken.
 1274 HANDLE_UNRESOLVED_TYPE_PTR(conditionType)
32 // Check if condition evaluates to bool
33
3/4
✓ Branch 14 → 15 taken 1274 times.
✗ Branch 14 → 55 not taken.
✓ Branch 15 → 16 taken 1 time.
✓ Branch 15 → 26 taken 1273 times.
 1274 if (!conditionType.is(TY_BOOL))
34
4/8
✓ Branch 18 → 19 taken 1 time.
✗ Branch 18 → 47 not taken.
✓ Branch 19 → 20 taken 1 time.
✗ Branch 19 → 45 not taken.
✓ Branch 22 → 23 taken 1 time.
✗ Branch 22 → 51 not taken.
✓ Branch 23 → 24 taken 1 time.
✗ Branch 23 → 51 not taken.
 3 SOFT_ERROR_ER(node->condAssign, CONDITION_MUST_BE_BOOL, "For loop condition must be of type bool")
35
36 // Visit incrementer
37
1/2
✓ Branch 26 → 27 taken 1273 times.
✗ Branch 26 → 52 not taken.
 1273 visit(node->incAssign);
38
39 // Visit body
40
1/2
✓ Branch 28 → 29 taken 1273 times.
✗ Branch 28 → 53 not taken.
 1273 visit(node->body);
41
42
1/2
✓ Branch 30 → 31 taken 1273 times.
✗ Branch 30 → 54 not taken.
 1273 return nullptr;
43 1274 }
44
45 116 std::any TypeChecker::visitForeachLoop(ForeachLoopNode *node) {
46 // Visit iterator assignment
47 116 AssignExprNode *iteratorNode = node->iteratorAssign;
48
2/4
✓ Branch 2 → 3 taken 116 times.
✗ Branch 2 → 202 not taken.
✓ Branch 3 → 4 taken 116 times.
✗ Branch 3 → 200 not taken.
 116 QualType iteratorOrIterableType = std::any_cast<ExprResult>(visit(iteratorNode)).type;
49
2/6
✓ Branch 5 → 6 taken 116 times.
✗ Branch 5 → 346 not taken.
✗ Branch 6 → 7 not taken.
✓ Branch 6 → 9 taken 116 times.
✗ Branch 7 → 8 not taken.
✗ Branch 7 → 204 not taken.
 116 HANDLE_UNRESOLVED_TYPE_PTR(iteratorOrIterableType)
50
1/2
✓ Branch 9 → 10 taken 116 times.
✗ Branch 9 → 205 not taken.
 116 iteratorOrIterableType = iteratorOrIterableType.removeReferenceWrapper();
51
52 // Retrieve iterator type
53 116 QualType iteratorType = iteratorOrIterableType;
54
55
3/4
✓ Branch 10 → 11 taken 116 times.
✗ Branch 10 → 346 not taken.
✓ Branch 11 → 12 taken 97 times.
✓ Branch 11 → 74 taken 19 times.
 116 if (iteratorOrIterableType.isIterable(node)) {
56 97 const QualType &iterableType = iteratorOrIterableType;
57
3/4
✓ Branch 12 → 13 taken 97 times.
✗ Branch 12 → 346 not taken.
✓ Branch 13 → 14 taken 8 times.
✓ Branch 13 → 50 taken 89 times.
 97 if (iteratorOrIterableType.isArray()) { // Array
58
2/4
✓ Branch 16 → 17 taken 8 times.
✗ Branch 16 → 208 not taken.
✓ Branch 17 → 18 taken 8 times.
✗ Branch 17 → 206 not taken.
 16 const NameRegistryEntry *nameRegistryEntry = sourceFile->getNameRegistryEntry(ARRAY_ITERATOR_NAME);
59
2/2
✓ Branch 20 → 21 taken 1 time.
✓ Branch 20 → 29 taken 7 times.
 8 if (!nameRegistryEntry) {
60
2/4
✓ Branch 23 → 24 taken 1 time.
✗ Branch 23 → 214 not taken.
✓ Branch 24 → 25 taken 1 time.
✗ Branch 24 → 212 not taken.
 1 softError(node, UNKNOWN_DATATYPE, "Forgot to import \"std/iterator/array-iterator\"?");
61
1/2
✓ Branch 27 → 28 taken 1 time.
✗ Branch 27 → 218 not taken.
 1 return nullptr;
62 }
63 7 nameRegistryEntry->targetEntry->used = nameRegistryEntry->importEntry->used = true;
64 7 Scope *matchScope = nameRegistryEntry->targetScope->parent;
65
1/2
✗ Branch 29 → 30 not taken.
✓ Branch 29 → 31 taken 7 times.
 7 assert(matchScope->type == ScopeType::GLOBAL);
66
1/2
✓ Branch 31 → 32 taken 7 times.
✗ Branch 31 → 236 not taken.
 7 QualType unsignedLongType(TY_LONG);
67
1/2
✓ Branch 32 → 33 taken 7 times.
✗ Branch 32 → 236 not taken.
 7 unsignedLongType.makeUnsigned(true);
68
1/2
✓ Branch 37 → 38 taken 7 times.
✗ Branch 37 → 219 not taken.
 14 const ArgList argTypes = {Arg(iterableType, false), Arg(unsignedLongType, false)};
69
1/2
✓ Branch 39 → 40 taken 7 times.
✗ Branch 39 → 234 not taken.
 7 const QualType thisType(TY_DYN);
70
2/4
✓ Branch 43 → 44 taken 7 times.
✗ Branch 43 → 227 not taken.
✓ Branch 44 → 45 taken 7 times.
✗ Branch 44 → 225 not taken.
 21 node->getIteratorFct = FunctionManager::match(matchScope, "iterate", thisType, argTypes, {}, true, iteratorNode);
71 7 } else { // Struct, implementing Iterator interface
72
1/2
✓ Branch 50 → 51 taken 89 times.
✗ Branch 50 → 346 not taken.
 89 Scope *matchScope = iterableType.getBodyScope();
73
2/4
✓ Branch 55 → 56 taken 89 times.
✗ Branch 55 → 239 not taken.
✓ Branch 56 → 57 taken 89 times.
✗ Branch 56 → 237 not taken.
 267 node->getIteratorFct = FunctionManager::match(matchScope, "getIterator", iterableType, {}, {}, true, iteratorNode);
74 }
75
2/2
✓ Branch 62 → 63 taken 1 time.
✓ Branch 62 → 71 taken 95 times.
 96 if (node->getIteratorFct == nullptr)
76
2/4
✓ Branch 66 → 67 taken 1 time.
✗ Branch 66 → 252 not taken.
✓ Branch 67 → 68 taken 1 time.
✗ Branch 67 → 249 not taken.
 3 throw SemanticError(iteratorNode, INVALID_ITERATOR, "No getIterator() function found for the given iterable type");
77
78 95 iteratorType = QualType(node->getIteratorFct->returnType);
79 // Add anonymous symbol to keep track of dtor call, if non-trivially destructible
80
2/4
✓ Branch 71 → 72 taken 95 times.
✗ Branch 71 → 346 not taken.
✗ Branch 72 → 73 not taken.
✓ Branch 72 → 74 taken 95 times.
 95 if (!iteratorType.isTriviallyDestructible(iteratorNode))
81 ✗ currentScope->symbolTable.insertAnonymous(iteratorType, iteratorNode);
82 }
83
84 // Change to foreach body scope
85
2/4
✓ Branch 74 → 75 taken 114 times.
✗ Branch 74 → 260 not taken.
✓ Branch 75 → 76 taken 114 times.
✗ Branch 75 → 258 not taken.
 114 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::FOREACH_BODY);
86
87 // Check iterator type
88
3/4
✓ Branch 77 → 78 taken 114 times.
✗ Branch 77 → 344 not taken.
✓ Branch 78 → 79 taken 1 time.
✓ Branch 78 → 86 taken 113 times.
 114 if (!iteratorType.isIterator(node)) {
89 const std::string errMsg =
90 "Can only iterate over arrays or data structures, inheriting from IIterator or IIterable. You provided " +
91
2/4
✓ Branch 79 → 80 taken 1 time.
✗ Branch 79 → 264 not taken.
✓ Branch 80 → 81 taken 1 time.
✗ Branch 80 → 262 not taken.
 1 iteratorType.getName(false, true);
92
1/2
✓ Branch 82 → 83 taken 1 time.
✗ Branch 82 → 266 not taken.
 1 softError(node->iteratorAssign, OPERATOR_WRONG_DATA_TYPE, errMsg);
93
1/2
✓ Branch 83 → 84 taken 1 time.
✗ Branch 83 → 265 not taken.
 1 return nullptr;
94 1 }
95
1/2
✓ Branch 86 → 87 taken 113 times.
✗ Branch 86 → 344 not taken.
 113 const QualTypeList &iteratorTemplateTypes = iteratorType.getTemplateTypes();
96
2/2
✓ Branch 88 → 89 taken 1 time.
✓ Branch 88 → 99 taken 112 times.
 113 if (iteratorTemplateTypes.empty())
97
4/8
✓ Branch 91 → 92 taken 1 time.
✗ Branch 91 → 271 not taken.
✓ Branch 92 → 93 taken 1 time.
✗ Branch 92 → 269 not taken.
✓ Branch 95 → 96 taken 1 time.
✗ Branch 95 → 275 not taken.
✓ Branch 96 → 97 taken 1 time.
✗ Branch 96 → 275 not taken.
 3 SOFT_ERROR_ER(node->iteratorAssign, INVALID_ITERATOR,
98 "Iterator has no generic arguments so that the item type could not be inferred")
99
100 112 const bool hasIdx = node->idxVarDecl;
101
2/2
✓ Branch 99 → 100 taken 6 times.
✓ Branch 99 → 120 taken 106 times.
 112 if (hasIdx) {
102 // Visit index declaration or assignment
103
2/4
✓ Branch 100 → 101 taken 6 times.
✗ Branch 100 → 278 not taken.
✓ Branch 101 → 102 taken 6 times.
✗ Branch 101 → 276 not taken.
 6 auto indexType = std::any_cast<QualType>(visit(node->idxVarDecl));
104
2/6
✓ Branch 103 → 104 taken 6 times.
✗ Branch 103 → 287 not taken.
✗ Branch 104 → 105 not taken.
✓ Branch 104 → 107 taken 6 times.
✗ Branch 105 → 106 not taken.
✗ Branch 105 → 279 not taken.
 6 HANDLE_UNRESOLVED_TYPE_PTR(indexType)
105 // Check if index type is int
106
3/4
✓ Branch 107 → 108 taken 6 times.
✗ Branch 107 → 287 not taken.
✓ Branch 108 → 109 taken 1 time.
✓ Branch 108 → 118 taken 5 times.
 6 if (!indexType.is(TY_LONG))
107
5/10
✓ Branch 109 → 110 taken 1 time.
✗ Branch 109 → 284 not taken.
✓ Branch 110 → 111 taken 1 time.
✗ Branch 110 → 282 not taken.
✓ Branch 111 → 112 taken 1 time.
✗ Branch 111 → 280 not taken.
✓ Branch 114 → 115 taken 1 time.
✗ Branch 114 → 286 not taken.
✓ Branch 115 → 116 taken 1 time.
✗ Branch 115 → 286 not taken.
 1 SOFT_ERROR_ER(node->idxVarDecl, FOREACH_IDX_NOT_LONG,
108 "Index in foreach loop must be of type long. You provided " + indexType.getName(false))
109 }
110
111 // Retrieve .get(), .getIdx(), .isValid() and .next() functions
112
1/2
✓ Branch 120 → 121 taken 111 times.
✗ Branch 120 → 344 not taken.
 111 Scope *matchScope = iteratorType.getBodyScope();
113 111 QualType iteratorItemType;
114
2/2
✓ Branch 121 → 122 taken 5 times.
✓ Branch 121 → 137 taken 106 times.
 111 if (hasIdx) {
115
2/4
✓ Branch 126 → 127 taken 5 times.
✗ Branch 126 → 290 not taken.
✓ Branch 127 → 128 taken 5 times.
✗ Branch 127 → 288 not taken.
 15 node->getIdxFct = FunctionManager::match(matchScope, "getIdx", iteratorType, {}, {}, false, node);
116
1/2
✗ Branch 132 → 133 not taken.
✓ Branch 132 → 134 taken 5 times.
 5 assert(node->getIdxFct != nullptr);
117
1/2
✓ Branch 134 → 135 taken 5 times.
✗ Branch 134 → 344 not taken.
 5 iteratorItemType = node->getIdxFct->returnType.getTemplateTypes().back();
118 } else {
119
2/4
✓ Branch 141 → 142 taken 106 times.
✗ Branch 141 → 302 not taken.
✓ Branch 142 → 143 taken 106 times.
✗ Branch 142 → 300 not taken.
 318 node->getFct = FunctionManager::match(matchScope, "get", iteratorType, {}, {}, false, node);
120
1/2
✗ Branch 147 → 148 not taken.
✓ Branch 147 → 149 taken 106 times.
 106 assert(node->getFct != nullptr);
121 106 iteratorItemType = node->getFct->returnType;
122 }
123
2/4
✓ Branch 154 → 155 taken 111 times.
✗ Branch 154 → 314 not taken.
✓ Branch 155 → 156 taken 111 times.
✗ Branch 155 → 312 not taken.
 333 node->isValidFct = FunctionManager::match(matchScope, "isValid", iteratorType, {}, {}, false, node);
124
1/2
✗ Branch 160 → 161 not taken.
✓ Branch 160 → 162 taken 111 times.
 111 assert(node->isValidFct != nullptr);
125
2/4
✓ Branch 166 → 167 taken 111 times.
✗ Branch 166 → 326 not taken.
✓ Branch 167 → 168 taken 111 times.
✗ Branch 167 → 324 not taken.
 333 node->nextFct = FunctionManager::match(matchScope, "next", iteratorType, {}, {}, false, node);
126
1/2
✗ Branch 172 → 173 not taken.
✓ Branch 172 → 174 taken 111 times.
 111 assert(node->nextFct != nullptr);
127
128 // Retrieve item variable entry
129
1/2
✓ Branch 174 → 175 taken 111 times.
✗ Branch 174 → 344 not taken.
 111 SymbolTableEntry *itemVarSymbol = currentScope->lookupStrict(node->itemVarDecl->varName);
130
1/2
✗ Branch 177 → 178 not taken.
✓ Branch 177 → 179 taken 111 times.
 111 assert(itemVarSymbol != nullptr);
131
132 // Check type of the item
133
2/4
✓ Branch 179 → 180 taken 111 times.
✗ Branch 179 → 338 not taken.
✓ Branch 180 → 181 taken 111 times.
✗ Branch 180 → 336 not taken.
 111 auto itemType = std::any_cast<QualType>(visit(node->itemVarDecl));
134
2/6
✓ Branch 182 → 183 taken 111 times.
✗ Branch 182 → 344 not taken.
✗ Branch 183 → 184 not taken.
✓ Branch 183 → 186 taken 111 times.
✗ Branch 184 → 185 not taken.
✗ Branch 184 → 339 not taken.
 111 HANDLE_UNRESOLVED_TYPE_PTR(itemType)
135
3/4
✓ Branch 186 → 187 taken 111 times.
✗ Branch 186 → 344 not taken.
✓ Branch 187 → 188 taken 4 times.
✓ Branch 187 → 190 taken 107 times.
 111 if (itemType.is(TY_DYN)) { // Perform type inference
136 // Update evaluated symbol type of the declaration data type
137
1/2
✓ Branch 188 → 189 taken 4 times.
✗ Branch 188 → 344 not taken.
 4 node->itemVarDecl->dataType->setEvaluatedSymbolType(iteratorItemType, manIdx);
138 // Update item type
139 4 itemType = iteratorItemType;
140 } else {
141 // Check item type
142 107 const ExprResult itemResult = {itemType, itemVarSymbol};
143 107 const ExprResult iteratorItemResult = {iteratorItemType, nullptr /* always a temporary */};
144
2/2
✓ Branch 190 → 191 taken 106 times.
✓ Branch 190 → 340 taken 1 time.
 107 (void)opRuleManager.getAssignResultType(node->itemVarDecl, itemResult, iteratorItemResult, true, false, ERROR_FOREACH_ITEM);
145 }
146
147 // Update type of item
148
1/2
✓ Branch 192 → 193 taken 110 times.
✗ Branch 192 → 344 not taken.
 110 itemVarSymbol->updateType(itemType, true);
149
150 // Visit body
151
1/2
✓ Branch 193 → 194 taken 110 times.
✗ Branch 193 → 342 not taken.
 110 visit(node->body);
152
153
1/2
✓ Branch 195 → 196 taken 110 times.
✗ Branch 195 → 343 not taken.
 110 return nullptr;
154 114 }
155
156 733 std::any TypeChecker::visitWhileLoop(WhileLoopNode *node) {
157 // Change to while body scope
158
2/4
✓ Branch 2 → 3 taken 733 times.
✗ Branch 2 → 33 not taken.
✓ Branch 3 → 4 taken 733 times.
✗ Branch 3 → 31 not taken.
 733 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::WHILE_BODY);
159
160 // Visit condition
161
3/4
✓ Branch 5 → 6 taken 732 times.
✓ Branch 5 → 37 taken 1 time.
✓ Branch 6 → 7 taken 732 times.
✗ Branch 6 → 35 not taken.
 733 const QualType conditionType = std::any_cast<ExprResult>(visit(node->condition)).type;
162
2/6
✓ Branch 8 → 9 taken 732 times.
✗ Branch 8 → 49 not taken.
✗ Branch 9 → 10 not taken.
✓ Branch 9 → 12 taken 732 times.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 39 not taken.
 732 HANDLE_UNRESOLVED_TYPE_PTR(conditionType)
163 // Check if condition evaluates to bool
164
3/4
✓ Branch 12 → 13 taken 732 times.
✗ Branch 12 → 49 not taken.
✓ Branch 13 → 14 taken 1 time.
✓ Branch 13 → 24 taken 731 times.
 732 if (!conditionType.is(TY_BOOL))
165
4/8
✓ Branch 16 → 17 taken 1 time.
✗ Branch 16 → 42 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 40 not taken.
✓ Branch 20 → 21 taken 1 time.
✗ Branch 20 → 46 not taken.
✓ Branch 21 → 22 taken 1 time.
✗ Branch 21 → 46 not taken.
 3 SOFT_ERROR_ER(node->condition, CONDITION_MUST_BE_BOOL, "While loop condition must be of type bool")
166
167 // Visit body
168
1/2
✓ Branch 24 → 25 taken 731 times.
✗ Branch 24 → 47 not taken.
 731 visit(node->body);
169
170
1/2
✓ Branch 26 → 27 taken 731 times.
✗ Branch 26 → 48 not taken.
 731 return nullptr;
171 733 }
172
173 9 std::any TypeChecker::visitDoWhileLoop(DoWhileLoopNode *node) {
174 // Change to while body scope
175
2/4
✓ Branch 2 → 3 taken 9 times.
✗ Branch 2 → 33 not taken.
✓ Branch 3 → 4 taken 9 times.
✗ Branch 3 → 31 not taken.
 9 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::WHILE_BODY);
176
177 // Visit body
178
1/2
✓ Branch 5 → 6 taken 9 times.
✗ Branch 5 → 35 not taken.
 9 visit(node->body);
179
180 // Visit condition
181
2/4
✓ Branch 7 → 8 taken 9 times.
✗ Branch 7 → 38 not taken.
✓ Branch 8 → 9 taken 9 times.
✗ Branch 8 → 36 not taken.
 9 const QualType conditionType = std::any_cast<ExprResult>(visit(node->condition)).type;
182
2/6
✓ Branch 10 → 11 taken 9 times.
✗ Branch 10 → 49 not taken.
✗ Branch 11 → 12 not taken.
✓ Branch 11 → 14 taken 9 times.
✗ Branch 12 → 13 not taken.
✗ Branch 12 → 40 not taken.
 9 HANDLE_UNRESOLVED_TYPE_PTR(conditionType)
183 // Check if condition evaluates to bool
184
3/4
✓ Branch 14 → 15 taken 9 times.
✗ Branch 14 → 49 not taken.
✓ Branch 15 → 16 taken 1 time.
✓ Branch 15 → 26 taken 8 times.
 9 if (!conditionType.is(TY_BOOL))
185
4/8
✓ Branch 18 → 19 taken 1 time.
✗ Branch 18 → 43 not taken.
✓ Branch 19 → 20 taken 1 time.
✗ Branch 19 → 41 not taken.
✓ Branch 22 → 23 taken 1 time.
✗ Branch 22 → 47 not taken.
✓ Branch 23 → 24 taken 1 time.
✗ Branch 23 → 47 not taken.
 3 SOFT_ERROR_ER(node->condition, CONDITION_MUST_BE_BOOL, "Do-While loop condition must be of type bool")
186
187
1/2
✓ Branch 26 → 27 taken 8 times.
✗ Branch 26 → 48 not taken.
 8 return nullptr;
188 9 }
189
190 4269 std::any TypeChecker::visitIfStmt(IfStmtNode *node) {
191 // Change to then body scope
192
2/4
✓ Branch 2 → 3 taken 4269 times.
✗ Branch 2 → 41 not taken.
✓ Branch 3 → 4 taken 4269 times.
✗ Branch 3 → 39 not taken.
 4269 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::IF_ELSE_BODY);
193
194 // Visit condition
195
3/4
✓ Branch 5 → 6 taken 4267 times.
✓ Branch 5 → 45 taken 2 times.
✓ Branch 6 → 7 taken 4267 times.
✗ Branch 6 → 43 not taken.
 4269 const QualType conditionType = std::any_cast<ExprResult>(visit(node->condition)).type;
196
4/6
✓ Branch 8 → 9 taken 4267 times.
✗ Branch 8 → 59 not taken.
✓ Branch 9 → 10 taken 1 time.
✓ Branch 9 → 12 taken 4266 times.
✓ Branch 10 → 11 taken 1 time.
✗ Branch 10 → 47 not taken.
 4267 HANDLE_UNRESOLVED_TYPE_PTR(conditionType)
197 // Check if condition evaluates to bool
198
3/4
✓ Branch 12 → 13 taken 4266 times.
✗ Branch 12 → 59 not taken.
✓ Branch 13 → 14 taken 2 times.
✓ Branch 13 → 24 taken 4264 times.
 4266 if (!conditionType.is(TY_BOOL))
199
4/8
✓ Branch 16 → 17 taken 2 times.
✗ Branch 16 → 50 not taken.
✓ Branch 17 → 18 taken 2 times.
✗ Branch 17 → 48 not taken.
✓ Branch 20 → 21 taken 2 times.
✗ Branch 20 → 54 not taken.
✓ Branch 21 → 22 taken 2 times.
✗ Branch 21 → 54 not taken.
 6 SOFT_ERROR_ER(node->condition, CONDITION_MUST_BE_BOOL, "If condition must be of type bool")
200
201 // Warning for bool assignment
202
2/2
✓ Branch 24 → 25 taken 1 time.
✓ Branch 24 → 27 taken 4263 times.
 4264 if (node->condition->op == AssignExprNode::AssignOp::OP_ASSIGN)
203
1/2
✓ Branch 25 → 26 taken 1 time.
✗ Branch 25 → 55 not taken.
 1 sourceFile->compilerOutput.warnings.emplace_back(node->condition->codeLoc, BOOL_ASSIGN_AS_CONDITION,
204 "If you want to compare the values, use '=='");
205
206 // Visit body
207
1/2
✓ Branch 27 → 28 taken 4264 times.
✗ Branch 27 → 56 not taken.
 4264 visit(node->thenBody);
208
209 // Leave then body scope
210
1/2
✓ Branch 29 → 30 taken 4264 times.
✗ Branch 29 → 59 not taken.
 4264 scopeHandle.leaveScopeEarly();
211
212 // Visit else statement if existing
213
2/2
✓ Branch 30 → 31 taken 186 times.
✓ Branch 30 → 34 taken 4078 times.
 4264 if (node->elseStmt)
214
1/2
✓ Branch 31 → 32 taken 186 times.
✗ Branch 31 → 57 not taken.
 186 visit(node->elseStmt);
215
216
1/2
✓ Branch 34 → 35 taken 4264 times.
✗ Branch 34 → 58 not taken.
 4264 return nullptr;
217 4269 }
218
219 186 std::any TypeChecker::visitElseStmt(ElseStmtNode *node) {
220 // Visit if statement in the case of an else if branch
221
2/2
✓ Branch 2 → 3 taken 53 times.
✓ Branch 2 → 7 taken 133 times.
 186 if (node->isElseIf) {
222
1/2
✓ Branch 3 → 4 taken 53 times.
✗ Branch 3 → 16 not taken.
 53 visit(node->ifStmt);
223
1/2
✓ Branch 5 → 6 taken 53 times.
✗ Branch 5 → 17 not taken.
 53 return nullptr;
224 }
225
226 // Change to else body scope
227
2/4
✓ Branch 7 → 8 taken 133 times.
✗ Branch 7 → 20 not taken.
✓ Branch 8 → 9 taken 133 times.
✗ Branch 8 → 18 not taken.
 133 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::IF_ELSE_BODY);
228
229 // Visit body
230
1/2
✓ Branch 10 → 11 taken 133 times.
✗ Branch 10 → 22 not taken.
 133 visit(node->body);
231
232
1/2
✓ Branch 12 → 13 taken 133 times.
✗ Branch 12 → 23 not taken.
 133 return nullptr;
233 133 }
234
235 12 std::any TypeChecker::visitSwitchStmt(SwitchStmtNode *node) {
236 // Check expression type
237
2/4
✓ Branch 2 → 3 taken 12 times.
✗ Branch 2 → 56 not taken.
✓ Branch 3 → 4 taken 12 times.
✗ Branch 3 → 54 not taken.
 12 const QualType exprType = std::any_cast<ExprResult>(visit(node->assignExpr)).type;
238
2/6
✓ Branch 5 → 6 taken 12 times.
✗ Branch 5 → 83 not taken.
✗ Branch 6 → 7 not taken.
✓ Branch 6 → 9 taken 12 times.
✗ Branch 7 → 8 not taken.
✗ Branch 7 → 58 not taken.
 12 HANDLE_UNRESOLVED_TYPE_PTR(exprType)
239
3/4
✓ Branch 9 → 10 taken 12 times.
✗ Branch 9 → 59 not taken.
✓ Branch 10 → 11 taken 1 time.
✓ Branch 10 → 21 taken 11 times.
 12 if (!exprType.isOneOf({TY_INT, TY_SHORT, TY_LONG, TY_BYTE, TY_CHAR, TY_BOOL}))
240
4/8
✓ Branch 13 → 14 taken 1 time.
✗ Branch 13 → 62 not taken.
✓ Branch 14 → 15 taken 1 time.
✗ Branch 14 → 60 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 66 not taken.
✓ Branch 18 → 19 taken 1 time.
✗ Branch 18 → 66 not taken.
 3 SOFT_ERROR_ER(node->assignExpr, SWITCH_EXPR_MUST_BE_PRIMITIVE,
241 "Switch expression must be of int, short, long, byte, char or bool type")
242
243 // Visit children
244
1/2
✓ Branch 21 → 22 taken 11 times.
✗ Branch 21 → 67 not taken.
 11 visitChildren(node);
245
246 // Check if case constant types match switch expression type
247
2/2
✓ Branch 49 → 25 taken 53 times.
✓ Branch 49 → 50 taken 9 times.
 62 for (const CaseBranchNode *caseBranchNode : node->caseBranches)
248
2/2
✓ Branch 46 → 28 taken 70 times.
✓ Branch 46 → 47 taken 51 times.
 121 for (CaseConstantNode *constantNode : caseBranchNode->caseConstants) {
249
2/4
✓ Branch 29 → 30 taken 70 times.
✗ Branch 29 → 70 not taken.
✓ Branch 30 → 31 taken 70 times.
✗ Branch 30 → 68 not taken.
 70 const QualType constantType = std::any_cast<ExprResult>(visit(constantNode)).type;
250
3/4
✓ Branch 32 → 33 taken 70 times.
✗ Branch 32 → 79 not taken.
✓ Branch 33 → 34 taken 2 times.
✓ Branch 33 → 44 taken 68 times.
 70 if (!constantType.matches(exprType, false, true, true))
251
4/8
✓ Branch 36 → 37 taken 2 times.
✗ Branch 36 → 74 not taken.
✓ Branch 37 → 38 taken 2 times.
✗ Branch 37 → 72 not taken.
✓ Branch 40 → 41 taken 2 times.
✗ Branch 40 → 78 not taken.
✓ Branch 41 → 42 taken 2 times.
✗ Branch 41 → 78 not taken.
 6 SOFT_ERROR_ER(constantNode, SWITCH_CASE_TYPE_MISMATCH, "Case value type does not match the switch expression type")
252 }
253
254
1/2
✓ Branch 50 → 51 taken 9 times.
✗ Branch 50 → 82 not taken.
 9 return nullptr;
255 }
256
257 53 std::any TypeChecker::visitCaseBranch(CaseBranchNode *node) {
258 // Change to case body scope
259
2/4
✓ Branch 2 → 3 taken 53 times.
✗ Branch 2 → 21 not taken.
✓ Branch 3 → 4 taken 53 times.
✗ Branch 3 → 19 not taken.
 53 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::CASE_BODY);
260
261 // Visit constant list
262
2/2
✓ Branch 12 → 7 taken 70 times.
✓ Branch 12 → 13 taken 53 times.
 123 for (CaseConstantNode *constant : node->caseConstants)
263
1/2
✓ Branch 8 → 9 taken 70 times.
✗ Branch 8 → 23 not taken.
 70 visit(constant);
264
265 // Visit body
266
1/2
✓ Branch 13 → 14 taken 53 times.
✗ Branch 13 → 25 not taken.
 53 visit(node->body);
267
268
1/2
✓ Branch 15 → 16 taken 53 times.
✗ Branch 15 → 26 not taken.
 106 return nullptr;
269 53 }
270
271 140 std::any TypeChecker::visitCaseConstant(CaseConstantNode *node) {
272 // If we have a normal constant, we can take the symbol type from there
273
2/2
✓ Branch 2 → 3 taken 36 times.
✓ Branch 2 → 4 taken 104 times.
 140 if (node->constant)
274 36 return visit(node->constant);
275
276 // Check if a local or global variable can be found by searching for the name
277
2/2
✓ Branch 5 → 6 taken 30 times.
✓ Branch 5 → 11 taken 74 times.
 104 if (node->identifierFragments.size() == 1)
278 60 node->entry = currentScope->lookup(node->identifierFragments.back());
279
280 // If no local or global was found, search in the name registry
281
2/2
✓ Branch 11 → 12 taken 37 times.
✓ Branch 11 → 24 taken 67 times.
 104 if (!node->entry) {
282 37 const NameRegistryEntry *registryEntry = sourceFile->getNameRegistryEntry(node->fqIdentifier);
283
1/2
✗ Branch 13 → 14 not taken.
✓ Branch 13 → 23 taken 37 times.
 37 if (!registryEntry)
284 ✗ SOFT_ERROR_ER(node, REFERENCED_UNDEFINED_VARIABLE, "The variable '" + node->fqIdentifier + "' could not be found")
285 37 node->entry = registryEntry->targetEntry;
286 }
287
1/2
✗ Branch 24 → 25 not taken.
✓ Branch 24 → 26 taken 104 times.
 104 assert(node->entry != nullptr);
288
289 // Check for the correct type
290 104 const QualType &qualType = node->entry->getQualType();
291
3/4
✓ Branch 27 → 28 taken 104 times.
✗ Branch 27 → 51 not taken.
✓ Branch 28 → 29 taken 2 times.
✓ Branch 28 → 39 taken 102 times.
 104 if (!qualType.isOneOf({TY_INT, TY_SHORT, TY_LONG, TY_BYTE, TY_CHAR, TY_BOOL}))
292
4/8
✓ Branch 31 → 32 taken 2 times.
✗ Branch 31 → 54 not taken.
✓ Branch 32 → 33 taken 2 times.
✗ Branch 32 → 52 not taken.
✓ Branch 35 → 36 taken 2 times.
✗ Branch 35 → 58 not taken.
✓ Branch 36 → 37 taken 2 times.
✗ Branch 36 → 58 not taken.
 6 SOFT_ERROR_ER(node, CASE_CONSTANT_INVALID_TYPE, "Case constants must be of type int, short, long, byte, char, bool or enum")
293
294
2/4
✓ Branch 39 → 40 taken 102 times.
✗ Branch 39 → 59 not taken.
✓ Branch 40 → 41 taken 102 times.
✗ Branch 40 → 59 not taken.
 102 return ExprResult{node->setEvaluatedSymbolType(qualType, manIdx)};
295 }
296
297 6 std::any TypeChecker::visitDefaultBranch(DefaultBranchNode *node) {
298 // Change to default body scope
299
2/4
✓ Branch 2 → 3 taken 6 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 6 times.
✗ Branch 3 → 11 not taken.
 6 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::DEFAULT_BODY);
300
301 // Visit body
302
1/2
✓ Branch 5 → 6 taken 6 times.
✗ Branch 5 → 15 not taken.
 6 visit(node->body);
303
304
1/2
✓ Branch 7 → 8 taken 6 times.
✗ Branch 7 → 16 not taken.
 12 return nullptr;
305 6 }
306
307 30 std::any TypeChecker::visitAnonymousBlockStmt(AnonymousBlockStmtNode *node) {
308 // Change to anonymous scope body scope
309
2/4
✓ Branch 2 → 3 taken 30 times.
✗ Branch 2 → 13 not taken.
✓ Branch 3 → 4 taken 30 times.
✗ Branch 3 → 11 not taken.
 30 ScopeHandle scopeHandle(this, node->getScopeId(), ScopeType::ANONYMOUS_BLOCK_BODY);
310
311 // Visit body
312
1/2
✓ Branch 5 → 6 taken 30 times.
✗ Branch 5 → 15 not taken.
 30 visit(node->body);
313
314
1/2
✓ Branch 7 → 8 taken 30 times.
✗ Branch 7 → 16 not taken.
 60 return nullptr;
315 30 }
316
317 } // namespace spice::compiler
318