return cast_or_null<MDString>(getField(DbgNode, 14));
}
+#ifndef NDEBUG
+static void VerifySubsetOf(const MDNode *LHS, const MDNode *RHS) {
+ for (unsigned i = 0; i != LHS->getNumOperands(); ++i) {
+ // Skip the 'empty' list (that's a single i32 0, rather than truly empty)
+ if (i == 0 && isa<ConstantInt>(LHS->getOperand(i)))
+ continue;
+ const MDNode *E = cast<MDNode>(LHS->getOperand(i));
+ bool found = false;
+ for (unsigned j = 0; !found && j != RHS->getNumOperands(); ++j)
+ found = E == RHS->getOperand(j);
+ assert(found && "Losing a member during member list replacement");
+ }
+}
+#endif
+
/// \brief Set the array of member DITypes.
void DICompositeType::setTypeArray(DIArray Elements, DIArray TParams) {
assert((!TParams || DbgNode->getNumOperands() == 15) &&
TrackingVH<MDNode> N(*this);
if (Elements) {
#ifndef NDEBUG
- // Check that we're not dropping any elements on the floor here
- if (const MDNode *El = cast_or_null<MDNode>(N->getOperand(10))) {
- for (unsigned i = 0; i != El->getNumOperands(); ++i) {
- if (i == 0 && isa<ConstantInt>(El->getOperand(i)))
- continue;
- const MDNode *E = cast<MDNode>(El->getOperand(i));
- bool found = false;
- for (unsigned j = 0; !found && j != Elements.getNumElements(); ++j) {
- found = E == Elements.getElement(j);
- }
- assert(found && "Losing a member during member list replacement");
- }
- }
+ // Check that the new list of members contains all the old members as well
+ if (const MDNode *El = cast_or_null<MDNode>(N->getOperand(10)))
+ VerifySubsetOf(El, Elements);
#endif
N->replaceOperandWith(10, Elements);
}