587 #define AssertDI(C, ...) \  macro
739       AssertDI(false, "!dbg attachment of global variable must be a "  in visitGlobalVariable()
823     AssertDI(NMD.getName() == "llvm.dbg.cu",  in visitNamedMDNode()
828       AssertDI(MD && isa<DICompileUnit>(MD), "invalid compile unit", &NMD, MD);  in visitNamedMDNode()
863     AssertDI(!isa<DILocation>(Op) || AllowLocs == AreDebugLocsAllowed::Yes,  in visitMDNode()
927   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILocation()
930     AssertDI(isa<DILocation>(IA), "inlined-at should be a location", &N, IA);  in visitDILocation()
932     AssertDI(SP->isDefinition(), "scope points into the type hierarchy", &N);  in visitDILocation()
936   AssertDI(N.getTag(), "invalid tag", &N);  in visitGenericDINode()
941     AssertDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIScope()
945   AssertDI(N.getTag() == dwarf::DW_TAG_subrange_type, "invalid tag", &N);  in visitDISubrange()
947   AssertDI(HasAssumedSizedArraySupport || N.getRawCountNode() ||  in visitDISubrange()
950   AssertDI(!N.getRawCountNode() || !N.getRawUpperBound(),  in visitDISubrange()
953   AssertDI(!CBound || isa<ConstantAsMetadata>(CBound) ||  in visitDISubrange()
957   AssertDI(!Count || !Count.is<ConstantInt *>() ||  in visitDISubrange()
961   AssertDI(!LBound || isa<ConstantAsMetadata>(LBound) ||  in visitDISubrange()
966   AssertDI(!UBound || isa<ConstantAsMetadata>(UBound) ||  in visitDISubrange()
971   AssertDI(!Stride || isa<ConstantAsMetadata>(Stride) ||  in visitDISubrange()
977   AssertDI(N.getTag() == dwarf::DW_TAG_generic_subrange, "invalid tag", &N);  in visitDIGenericSubrange()
978   AssertDI(N.getRawCountNode() || N.getRawUpperBound(),  in visitDIGenericSubrange()
980   AssertDI(!N.getRawCountNode() || !N.getRawUpperBound(),  in visitDIGenericSubrange()
983   AssertDI(!CBound || isa<DIVariable>(CBound) || isa<DIExpression>(CBound),  in visitDIGenericSubrange()
986   AssertDI(LBound, "GenericSubrange must contain lowerBound", &N);  in visitDIGenericSubrange()
987   AssertDI(isa<DIVariable>(LBound) || isa<DIExpression>(LBound),  in visitDIGenericSubrange()
991   AssertDI(!UBound || isa<DIVariable>(UBound) || isa<DIExpression>(UBound),  in visitDIGenericSubrange()
995   AssertDI(Stride, "GenericSubrange must contain stride", &N);  in visitDIGenericSubrange()
996   AssertDI(isa<DIVariable>(Stride) || isa<DIExpression>(Stride),  in visitDIGenericSubrange()
1001   AssertDI(N.getTag() == dwarf::DW_TAG_enumerator, "invalid tag", &N);  in visitDIEnumerator()
1005   AssertDI(N.getTag() == dwarf::DW_TAG_base_type ||  in visitDIBasicType()
1012   AssertDI(N.getTag() == dwarf::DW_TAG_string_type, "invalid tag", &N);  in visitDIStringType()
1013   AssertDI(!(N.isBigEndian() && N.isLittleEndian()) ,  in visitDIStringType()
1021   AssertDI(N.getTag() == dwarf::DW_TAG_typedef ||  in visitDIDerivedType()
1036     AssertDI(isType(N.getRawExtraData()), "invalid pointer to member type", &N,  in visitDIDerivedType()
1044       AssertDI(  in visitDIDerivedType()
1055   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());  in visitDIDerivedType()
1056   AssertDI(isType(N.getRawBaseType()), "invalid base type", &N,  in visitDIDerivedType()
1060     AssertDI(N.getTag() == dwarf::DW_TAG_pointer_type ||  in visitDIDerivedType()
1078   AssertDI(Params, "invalid template params", &N, &RawParams);  in visitTemplateParams()
1080     AssertDI(Op && isa<DITemplateParameter>(Op), "invalid template parameter",  in visitTemplateParams()
1089   AssertDI(N.getTag() == dwarf::DW_TAG_array_type ||  in visitDICompositeType()
1097   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());  in visitDICompositeType()
1098   AssertDI(isType(N.getRawBaseType()), "invalid base type", &N,  in visitDICompositeType()
1101   AssertDI(!N.getRawElements() || isa<MDTuple>(N.getRawElements()),  in visitDICompositeType()
1103   AssertDI(isType(N.getRawVTableHolder()), "invalid vtable holder", &N,  in visitDICompositeType()
1105   AssertDI(!hasConflictingReferenceFlags(N.getFlags()),  in visitDICompositeType()
1108   AssertDI((N.getFlags() & DIBlockByRefStruct) == 0,  in visitDICompositeType()
1113     AssertDI(Elements.size() == 1 &&  in visitDICompositeType()
1122     AssertDI(isa<DIDerivedType>(D) && N.getTag() == dwarf::DW_TAG_variant_part,  in visitDICompositeType()
1127     AssertDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1132     AssertDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1137     AssertDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1142     AssertDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1148   AssertDI(N.getTag() == dwarf::DW_TAG_subroutine_type, "invalid tag", &N);  in visitDISubroutineType()
1150     AssertDI(isa<MDTuple>(Types), "invalid composite elements", &N, Types);  in visitDISubroutineType()
1152       AssertDI(isType(Ty), "invalid subroutine type ref", &N, Types, Ty);  in visitDISubroutineType()
1155   AssertDI(!hasConflictingReferenceFlags(N.getFlags()),  in visitDISubroutineType()
1160   AssertDI(N.getTag() == dwarf::DW_TAG_file_type, "invalid tag", &N);  in visitDIFile()
1163     AssertDI(Checksum->Kind <= DIFile::ChecksumKind::CSK_Last,  in visitDIFile()
1177     AssertDI(Checksum->Value.size() == Size, "invalid checksum length", &N);  in visitDIFile()
1178     AssertDI(Checksum->Value.find_if_not(llvm::isHexDigit) == StringRef::npos,  in visitDIFile()
1184   AssertDI(N.isDistinct(), "compile units must be distinct", &N);  in visitDICompileUnit()
1185   AssertDI(N.getTag() == dwarf::DW_TAG_compile_unit, "invalid tag", &N);  in visitDICompileUnit()
1189   AssertDI(N.getRawFile() && isa<DIFile>(N.getRawFile()), "invalid file", &N,  in visitDICompileUnit()
1191   AssertDI(!N.getFile()->getFilename().empty(), "invalid filename", &N,  in visitDICompileUnit()
1198   AssertDI((N.getEmissionKind() <= DICompileUnit::LastEmissionKind),  in visitDICompileUnit()
1202     AssertDI(isa<MDTuple>(Array), "invalid enum list", &N, Array);  in visitDICompileUnit()
1205       AssertDI(Enum && Enum->getTag() == dwarf::DW_TAG_enumeration_type,  in visitDICompileUnit()
1210     AssertDI(isa<MDTuple>(Array), "invalid retained type list", &N, Array);  in visitDICompileUnit()
1212       AssertDI(Op && (isa<DIType>(Op) ||  in visitDICompileUnit()
1219     AssertDI(isa<MDTuple>(Array), "invalid global variable list", &N, Array);  in visitDICompileUnit()
1221       AssertDI(Op && (isa<DIGlobalVariableExpression>(Op)),  in visitDICompileUnit()
1226     AssertDI(isa<MDTuple>(Array), "invalid imported entity list", &N, Array);  in visitDICompileUnit()
1228       AssertDI(Op && isa<DIImportedEntity>(Op), "invalid imported entity ref",  in visitDICompileUnit()
1233     AssertDI(isa<MDTuple>(Array), "invalid macro list", &N, Array);  in visitDICompileUnit()
1235       AssertDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op);  in visitDICompileUnit()
1242   AssertDI(N.getTag() == dwarf::DW_TAG_subprogram, "invalid tag", &N);  in visitDISubprogram()
1243   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());  in visitDISubprogram()
1245     AssertDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDISubprogram()
1247     AssertDI(N.getLine() == 0, "line specified with no file", &N, N.getLine());  in visitDISubprogram()
1249     AssertDI(isa<DISubroutineType>(T), "invalid subroutine type", &N, T);  in visitDISubprogram()
1250   AssertDI(isType(N.getRawContainingType()), "invalid containing type", &N,  in visitDISubprogram()
1255     AssertDI(isa<DISubprogram>(S) && !cast<DISubprogram>(S)->isDefinition(),  in visitDISubprogram()
1259     AssertDI(Node, "invalid retained nodes list", &N, RawNode);  in visitDISubprogram()
1261       AssertDI(Op && (isa<DILocalVariable>(Op) || isa<DILabel>(Op)),  in visitDISubprogram()
1266   AssertDI(!hasConflictingReferenceFlags(N.getFlags()),  in visitDISubprogram()
1272     AssertDI(N.isDistinct(), "subprogram definitions must be distinct", &N);  in visitDISubprogram()
1273     AssertDI(Unit, "subprogram definitions must have a compile unit", &N);  in visitDISubprogram()
1274     AssertDI(isa<DICompileUnit>(Unit), "invalid unit type", &N, Unit);  in visitDISubprogram()
1279     AssertDI(!Unit, "subprogram declarations must not have a compile unit", &N);  in visitDISubprogram()
1284     AssertDI(ThrownTypes, "invalid thrown types list", &N, RawThrownTypes);  in visitDISubprogram()
1286       AssertDI(Op && isa<DIType>(Op), "invalid thrown type", &N, ThrownTypes,  in visitDISubprogram()
1291     AssertDI(N.isDefinition(),  in visitDISubprogram()
1296   AssertDI(N.getTag() == dwarf::DW_TAG_lexical_block, "invalid tag", &N);  in visitDILexicalBlockBase()
1297   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILexicalBlockBase()
1300     AssertDI(SP->isDefinition(), "scope points into the type hierarchy", &N);  in visitDILexicalBlockBase()
1306   AssertDI(N.getLine() || !N.getColumn(),  in visitDILexicalBlock()
1315   AssertDI(N.getTag() == dwarf::DW_TAG_common_block, "invalid tag", &N);  in visitDICommonBlock()
1317     AssertDI(isa<DIScope>(S), "invalid scope ref", &N, S);  in visitDICommonBlock()
1319     AssertDI(isa<DIGlobalVariable>(S), "invalid declaration", &N, S);  in visitDICommonBlock()
1323   AssertDI(N.getTag() == dwarf::DW_TAG_namespace, "invalid tag", &N);  in visitDINamespace()
1325     AssertDI(isa<DIScope>(S), "invalid scope ref", &N, S);  in visitDINamespace()
1329   AssertDI(N.getMacinfoType() == dwarf::DW_MACINFO_define ||  in visitDIMacro()
1332   AssertDI(!N.getName().empty(), "anonymous macro", &N);  in visitDIMacro()
1339   AssertDI(N.getMacinfoType() == dwarf::DW_MACINFO_start_file,  in visitDIMacroFile()
1342     AssertDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIMacroFile()
1345     AssertDI(isa<MDTuple>(Array), "invalid macro list", &N, Array);  in visitDIMacroFile()
1347       AssertDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op);  in visitDIMacroFile()
1353   AssertDI(!N.getNumOperands(),  in visitDIArgList()
1360   AssertDI(N.getTag() == dwarf::DW_TAG_module, "invalid tag", &N);  in visitDIModule()
1361   AssertDI(!N.getName().empty(), "anonymous module", &N);  in visitDIModule()
1365   AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());  in visitDITemplateParameter()
1371   AssertDI(N.getTag() == dwarf::DW_TAG_template_type_parameter, "invalid tag",  in visitDITemplateTypeParameter()
1379   AssertDI(N.getTag() == dwarf::DW_TAG_template_value_parameter ||  in visitDITemplateValueParameter()
1387     AssertDI(isa<DIScope>(S), "invalid scope", &N, S);  in visitDIVariable()
1389     AssertDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIVariable()
1396   AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);  in visitDIGlobalVariable()
1397   AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());  in visitDIGlobalVariable()
1400     AssertDI(N.getType(), "missing global variable type", &N);  in visitDIGlobalVariable()
1402     AssertDI(isa<DIDerivedType>(Member),  in visitDIGlobalVariable()
1411   AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());  in visitDILocalVariable()
1412   AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);  in visitDILocalVariable()
1413   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILocalVariable()
1416     AssertDI(!isa<DISubroutineType>(Ty), "invalid type", &N, N.getType());  in visitDILocalVariable()
1421     AssertDI(isa<DIScope>(S), "invalid scope", &N, S);  in visitDILabel()
1423     AssertDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDILabel()
1425   AssertDI(N.getTag() == dwarf::DW_TAG_label, "invalid tag", &N);  in visitDILabel()
1426   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILabel()
1431   AssertDI(N.isValid(), "invalid expression", &N);  in visitDIExpression()
1436   AssertDI(GVE.getVariable(), "missing variable");  in visitDIGlobalVariableExpression()
1447   AssertDI(N.getTag() == dwarf::DW_TAG_APPLE_property, "invalid tag", &N);  in visitDIObjCProperty()
1449     AssertDI(isType(T), "invalid type ref", &N, T);  in visitDIObjCProperty()
1451     AssertDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIObjCProperty()
1455   AssertDI(N.getTag() == dwarf::DW_TAG_imported_module ||  in visitDIImportedEntity()
1459     AssertDI(isa<DIScope>(S), "invalid scope for imported entity", &N, S);  in visitDIImportedEntity()
1460   AssertDI(isDINode(N.getRawEntity()), "invalid imported entity", &N,  in visitDIImportedEntity()
2454       AssertDI(I.first != LLVMContext::MD_dbg ||  in visitFunction()
2492         AssertDI(NumDebugAttachments == 1,  in visitFunction()
2494         AssertDI(isa<DISubprogram>(I.second),  in visitFunction()
2496         AssertDI(cast<DISubprogram>(I.second)->isDistinct(),  in visitFunction()
2502         AssertDI(!AttachedTo || AttachedTo == &F,  in visitFunction()
2573     AssertDI(Parent && isa<DILocalScope>(Parent),  in visitFunction()
2590     AssertDI(SP->describes(&F),  in visitFunction()
3284     AssertDI(Call.getDebugLoc(),  in visitCallBase()
4515     AssertDI(isa<DILocation>(N), "invalid !dbg metadata attachment", &I, N);  in visitInstruction()
5467   AssertDI(isa<ValueAsMetadata>(MD) || isa<DIArgList>(MD) ||  in visitDbgIntrinsic()
5470   AssertDI(isa<DILocalVariable>(DII.getRawVariable()),  in visitDbgIntrinsic()
5473   AssertDI(isa<DIExpression>(DII.getRawExpression()),  in visitDbgIntrinsic()
5488   AssertDI(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment",  in visitDbgIntrinsic()
5496   AssertDI(VarSP == LocSP, "mismatched subprogram between llvm.dbg." + Kind +  in visitDbgIntrinsic()
5502   AssertDI(isType(Var->getRawType()), "invalid type ref", Var,  in visitDbgIntrinsic()
5508   AssertDI(isa<DILabel>(DLI.getRawLabel()),  in visitDbgLabelIntrinsic()
5531   AssertDI(LabelSP == LocSP, "mismatched subprogram between llvm.dbg." + Kind +  in visitDbgLabelIntrinsic()
5574   AssertDI(FragSize + FragOffset <= *VarSize,  in verifyFragmentExpression()
5576   AssertDI(FragSize != *VarSize, "fragment covers entire variable", Desc, &V);  in verifyFragmentExpression()
5591   AssertDI(Var, "dbg intrinsic without variable");  in verifyFnArgs()
5604   AssertDI(!Prev || (Prev == Var), "conflicting debug info for argument", &I,  in verifyFnArgs()
5615   AssertDI(!E->isEntryValue(), "Entry values are only allowed in MIR", &I);  in verifyNotEntryValue()
5629     AssertDI(Listed.count(CU), "DICompileUnit not listed in llvm.dbg.cu", CU);  in verifyCompileUnits()
5650   AssertDI(HasSource == HasSourceDebugInfo[&U],  in verifySourceDebugInfo()