GCC Code Coverage Report


Directory: ../
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 99.2% 117 / 5 / 123
Functions: 100.0% 4 / 0 / 4
Branches: 85.9% 73 / 4 / 89

src/symboltablebuilder/TypeChain.cpp
Line Branch Exec Source
1 // Copyright (c) 2021-2026 ChilliBits. All rights reserved.
2
3 #include "TypeChain.h"
4
5 #include <exception/CompilerError.h>
6
7 namespace spice::compiler {
8
9 11080121 bool operator==(const TypeChainElement &lhs, const TypeChainElement &rhs) {
10 // Check super type
11
2/2
✓ Branch 2 → 3 taken 88707 times.
✓ Branch 2 → 4 taken 10991414 times.
11080121 if (lhs.superType != rhs.superType)
12 88707 return false;
13
14 // Check data
15
7/7
✓ Branch 4 → 5 taken 1107 times.
✓ Branch 4 → 6 taken 4201627 times.
✓ Branch 4 → 16 taken 158589 times.
✓ Branch 4 → 17 taken 1252 times.
✓ Branch 4 → 26 taken 341434 times.
✓ Branch 4 → 40 taken 785147 times.
✓ Branch 4 → 41 taken 5502258 times.
10991414 switch (lhs.superType) {
16 1107 case TY_ARRAY:
17 1107 return lhs.data.arraySize == rhs.data.arraySize;
18 4201627 case TY_STRUCT:
19
2/4
✓ Branch 6 → 7 taken 4201627 times.
✗ Branch 6 → 9 not taken.
✓ Branch 7 → 8 taken 4201627 times.
✗ Branch 7 → 9 not taken.
4201627 assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr);
20
4/4
✓ Branch 10 → 11 taken 4186915 times.
✓ Branch 10 → 14 taken 14712 times.
✓ Branch 12 → 13 taken 4186842 times.
✓ Branch 12 → 14 taken 73 times.
4201627 return lhs.typeId == rhs.typeId && lhs.templateTypes == rhs.templateTypes;
21 158589 case TY_INTERFACE:
22 158589 return lhs.typeId == rhs.typeId;
23 1252 case TY_ENUM:
24
2/4
✓ Branch 17 → 18 taken 1252 times.
✗ Branch 17 → 20 not taken.
✓ Branch 18 → 19 taken 1252 times.
✗ Branch 18 → 20 not taken.
1252 assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr);
25
2/4
✓ Branch 21 → 22 taken 1252 times.
✗ Branch 21 → 24 not taken.
✓ Branch 22 → 23 taken 1252 times.
✗ Branch 22 → 24 not taken.
1252 return lhs.typeId == rhs.typeId && lhs.data.bodyScope == rhs.data.bodyScope;
26 341434 case TY_FUNCTION: // fall-through
27 case TY_PROCEDURE:
28
1/2
✗ Branch 28 → 29 not taken.
✓ Branch 28 → 30 taken 341434 times.
341434 if (lhs.paramTypes.size() != rhs.paramTypes.size())
29 return false;
30
2/2
✓ Branch 38 → 31 taken 474332 times.
✓ Branch 38 → 39 taken 341426 times.
815758 for (size_t i = 0; i < lhs.paramTypes.size(); i++)
31
2/2
✓ Branch 34 → 35 taken 8 times.
✓ Branch 34 → 36 taken 474324 times.
474332 if (lhs.paramTypes.at(i) != rhs.paramTypes.at(i))
32 8 return false;
33 341426 return true;
34 785147 case TY_GENERIC:
35 785147 return lhs.subType == rhs.subType;
36 5502258 default:
37 5502258 return true;
38 }
39 }
40
41 366721 bool operator!=(const TypeChainElement &lhs, const TypeChainElement &rhs) { return !(lhs == rhs); }
42
43 2822672 void TypeChainElement::getName(std::stringstream &name, bool withSize, bool ignorePublic, bool withAliases) const {
44
19/20
✓ Branch 2 → 3 taken 358715 times.
✓ Branch 2 → 4 taken 282549 times.
✓ Branch 2 → 6 taken 1689 times.
✓ Branch 2 → 15 taken 11858 times.
✓ Branch 2 → 17 taken 142338 times.
✓ Branch 2 → 19 taken 11810 times.
✓ Branch 2 → 21 taken 209076 times.
✓ Branch 2 → 23 taken 66776 times.
✓ Branch 2 → 25 taken 52504 times.
✓ Branch 2 → 27 taken 80781 times.
✓ Branch 2 → 32 taken 118179 times.
✓ Branch 2 → 34 taken 730007 times.
✓ Branch 2 → 48 taken 1605 times.
✓ Branch 2 → 52 taken 395291 times.
✓ Branch 2 → 54 taken 312 times.
✓ Branch 2 → 56 taken 139140 times.
✓ Branch 2 → 76 taken 117842 times.
✓ Branch 2 → 90 taken 7412 times.
✓ Branch 2 → 92 taken 94788 times.
✗ Branch 2 → 94 not taken.
2822672 switch (superType) {
45 358715 case TY_PTR:
46 358715 name << "*";
47 358715 break;
48 282549 case TY_REF:
49 282549 name << "&";
50 282549 break;
51 1689 case TY_ARRAY:
52 1689 name << "[";
53
4/4
✓ Branch 7 → 8 taken 1529 times.
✓ Branch 7 → 13 taken 160 times.
✓ Branch 8 → 9 taken 914 times.
✓ Branch 8 → 13 taken 615 times.
1689 if (withSize && data.arraySize != ARRAY_SIZE_UNKNOWN)
54
1/2
✓ Branch 10 → 11 taken 914 times.
✗ Branch 10 → 104 not taken.
914 name << std::to_string(data.arraySize);
55 1689 name << "]";
56 1689 break;
57 11858 case TY_DOUBLE:
58 11858 name << "double";
59 11858 break;
60 142338 case TY_INT:
61 142338 name << "int";
62 142338 break;
63 11810 case TY_SHORT:
64 11810 name << "short";
65 11810 break;
66 209076 case TY_LONG:
67 209076 name << "long";
68 209076 break;
69 66776 case TY_BYTE:
70 66776 name << "byte";
71 66776 break;
72 52504 case TY_CHAR:
73 52504 name << "char";
74 52504 break;
75 80781 case TY_STRING:
76
2/2
✓ Branch 27 → 28 taken 54478 times.
✓ Branch 27 → 29 taken 26303 times.
80781 name << (withAliases ? "string" : "const char*");
77 80781 break;
78 118179 case TY_BOOL:
79 118179 name << "bool";
80 118179 break;
81 730007 case TY_STRUCT: // fall-through
82 case TY_INTERFACE:
83 730007 name << subType;
84
2/2
✓ Branch 36 → 37 taken 367257 times.
✓ Branch 36 → 47 taken 362750 times.
730007 if (!templateTypes.empty()) {
85 367257 name << "<";
86
2/2
✓ Branch 45 → 39 taken 477299 times.
✓ Branch 45 → 46 taken 367257 times.
844556 for (size_t i = 0; i < templateTypes.size(); i++) {
87
2/2
✓ Branch 39 → 40 taken 110042 times.
✓ Branch 39 → 41 taken 367257 times.
477299 if (i > 0)
88 110042 name << ",";
89 477299 templateTypes.at(i).getName(name, withSize, ignorePublic);
90 }
91 367257 name << ">";
92 }
93 730007 break;
94 1605 case TY_ENUM:
95 1605 name << "enum(" << subType << ")";
96 1605 break;
97 395291 case TY_GENERIC: // fall-through
98 case TY_ALIAS:
99 395291 name << subType;
100 395291 break;
101 312 case TY_DYN:
102 312 name << "dyn";
103 312 break;
104 139140 case TY_FUNCTION: {
105 139140 name << "f";
106
2/2
✓ Branch 57 → 58 taken 17 times.
✓ Branch 57 → 59 taken 139123 times.
139140 if (data.hasCaptures)
107 17 name << "[]";
108
2/2
✓ Branch 60 → 61 taken 138828 times.
✓ Branch 60 → 65 taken 312 times.
139140 if (!paramTypes.empty()) {
109 138828 name << "<";
110 138828 paramTypes.front().getName(name, true, ignorePublic);
111 138828 name << ">";
112 }
113 139140 name << "(";
114
2/2
✓ Branch 73 → 67 taken 100373 times.
✓ Branch 73 → 74 taken 139140 times.
239513 for (size_t i = 1; i < paramTypes.size(); i++) {
115
2/2
✓ Branch 67 → 68 taken 38334 times.
✓ Branch 67 → 69 taken 62039 times.
100373 if (i > 1)
116 38334 name << ",";
117 100373 paramTypes.at(i).getName(name, true, ignorePublic);
118 }
119 139140 name << ")";
120 139140 break;
121 }
122 117842 case TY_PROCEDURE: {
123 117842 name << "p";
124
2/2
✓ Branch 77 → 78 taken 52 times.
✓ Branch 77 → 79 taken 117790 times.
117842 if (data.hasCaptures)
125 52 name << "[]";
126 117842 name << "(";
127
2/2
✓ Branch 87 → 81 taken 107008 times.
✓ Branch 87 → 88 taken 117842 times.
224850 for (size_t i = 1; i < paramTypes.size(); i++) {
128
2/2
✓ Branch 81 → 82 taken 26742 times.
✓ Branch 81 → 83 taken 80266 times.
107008 if (i > 1)
129 26742 name << ",";
130 107008 paramTypes.at(i).getName(name, true, ignorePublic);
131 }
132 117842 name << ")";
133 117842 break;
134 }
135 7412 case TY_IMPORT:
136 7412 name << "import";
137 7412 break;
138 case TY_INVALID: // GCOV_EXCL_LINE
139 name << "invalid"; // GCOV_EXCL_LINE
140 break; // GCOV_EXCL_LINE
141 default: // GCOV_EXCL_LINE
142 throw CompilerError(INTERNAL_ERROR, "Could not get name of this type chain element"); // GCOV_EXCL_LINE
143 }
144 2822672 }
145
146 /**
147 * Return the type name as string
148 *
149 * @param withSize Also encode array sizes
150 * @param ignorePublic Ignore public qualifier
151 * @param withAliases Print aliases as is and not decompose them
152 * @return Name as string
153 */
154 2822672 std::string TypeChainElement::getName(bool withSize, bool ignorePublic, bool withAliases) const {
155
1/2
✓ Branch 2 → 3 taken 2822672 times.
✗ Branch 2 → 11 not taken.
2822672 std::stringstream name;
156
1/2
✓ Branch 3 → 4 taken 2822672 times.
✗ Branch 3 → 9 not taken.
2822672 getName(name, withSize, ignorePublic, withAliases);
157
1/2
✓ Branch 4 → 5 taken 2822672 times.
✗ Branch 4 → 9 not taken.
5645344 return name.str();
158 2822672 }
159
160 } // namespace spice::compiler
161