| 1032 | } |
| 1033 | |
| 1034 | unsigned AggregateType::numPointerElements() const { |
| 1035 | unsigned count = 0; |
| 1036 | for (unsigned i = 0; i < elements; ++i) { |
| 1037 | if (children[i]->isPtrType()) |
| 1038 | count++; |
| 1039 | else if (auto aty = children[i]->getAsAggregateType()) |
| 1040 | count += aty->numPointerElements(); |
| 1041 | } |
| 1042 | return count; |
| 1043 | } |
| 1044 | |
| 1045 | void AggregateType::printVal(ostream &os, const State &s, const expr &e) const { |
| 1046 | UNREACHABLE(); |
no test coverage detected