612 #define CheckDI(C, ...)                                                        \  macro
778       CheckDI(false, "!dbg attachment of global variable must be a "  in visitGlobalVariable()
883     CheckDI(NMD.getName() == "llvm.dbg.cu",  in visitNamedMDNode()
887       CheckDI(MD && isa<DICompileUnit>(MD), "invalid compile unit", &NMD, MD);  in visitNamedMDNode()
922     CheckDI(!isa<DILocation>(Op) || AllowLocs == AreDebugLocsAllowed::Yes,  in visitMDNode()
986   CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILocation()
989     CheckDI(isa<DILocation>(IA), "inlined-at should be a location", &N, IA);  in visitDILocation()
991     CheckDI(SP->isDefinition(), "scope points into the type hierarchy", &N);  in visitDILocation()
995   CheckDI(N.getTag(), "invalid tag", &N);  in visitGenericDINode()
1000     CheckDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIScope()
1004   CheckDI(N.getTag() == dwarf::DW_TAG_subrange_type, "invalid tag", &N);  in visitDISubrange()
1006   CheckDI(HasAssumedSizedArraySupport || N.getRawCountNode() ||  in visitDISubrange()
1009   CheckDI(!N.getRawCountNode() || !N.getRawUpperBound(),  in visitDISubrange()
1012   CheckDI(!CBound || isa<ConstantAsMetadata>(CBound) ||  in visitDISubrange()
1016   CheckDI(!Count || !Count.is<ConstantInt *>() ||  in visitDISubrange()
1020   CheckDI(!LBound || isa<ConstantAsMetadata>(LBound) ||  in visitDISubrange()
1025   CheckDI(!UBound || isa<ConstantAsMetadata>(UBound) ||  in visitDISubrange()
1030   CheckDI(!Stride || isa<ConstantAsMetadata>(Stride) ||  in visitDISubrange()
1036   CheckDI(N.getTag() == dwarf::DW_TAG_generic_subrange, "invalid tag", &N);  in visitDIGenericSubrange()
1037   CheckDI(N.getRawCountNode() || N.getRawUpperBound(),  in visitDIGenericSubrange()
1039   CheckDI(!N.getRawCountNode() || !N.getRawUpperBound(),  in visitDIGenericSubrange()
1042   CheckDI(!CBound || isa<DIVariable>(CBound) || isa<DIExpression>(CBound),  in visitDIGenericSubrange()
1045   CheckDI(LBound, "GenericSubrange must contain lowerBound", &N);  in visitDIGenericSubrange()
1046   CheckDI(isa<DIVariable>(LBound) || isa<DIExpression>(LBound),  in visitDIGenericSubrange()
1050   CheckDI(!UBound || isa<DIVariable>(UBound) || isa<DIExpression>(UBound),  in visitDIGenericSubrange()
1054   CheckDI(Stride, "GenericSubrange must contain stride", &N);  in visitDIGenericSubrange()
1055   CheckDI(isa<DIVariable>(Stride) || isa<DIExpression>(Stride),  in visitDIGenericSubrange()
1060   CheckDI(N.getTag() == dwarf::DW_TAG_enumerator, "invalid tag", &N);  in visitDIEnumerator()
1064   CheckDI(N.getTag() == dwarf::DW_TAG_base_type ||  in visitDIBasicType()
1071   CheckDI(N.getTag() == dwarf::DW_TAG_string_type, "invalid tag", &N);  in visitDIStringType()
1072   CheckDI(!(N.isBigEndian() && N.isLittleEndian()), "has conflicting flags",  in visitDIStringType()
1080   CheckDI(N.getTag() == dwarf::DW_TAG_typedef ||  in visitDIDerivedType()
1096     CheckDI(isType(N.getRawExtraData()), "invalid pointer to member type", &N,  in visitDIDerivedType()
1104       CheckDI(  in visitDIDerivedType()
1115   CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());  in visitDIDerivedType()
1116   CheckDI(isType(N.getRawBaseType()), "invalid base type", &N,  in visitDIDerivedType()
1120     CheckDI(N.getTag() == dwarf::DW_TAG_pointer_type ||  in visitDIDerivedType()
1138   CheckDI(Params, "invalid template params", &N, &RawParams);  in visitTemplateParams()
1140     CheckDI(Op && isa<DITemplateParameter>(Op), "invalid template parameter",  in visitTemplateParams()
1149   CheckDI(N.getTag() == dwarf::DW_TAG_array_type ||  in visitDICompositeType()
1158   CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());  in visitDICompositeType()
1159   CheckDI(isType(N.getRawBaseType()), "invalid base type", &N,  in visitDICompositeType()
1162   CheckDI(!N.getRawElements() || isa<MDTuple>(N.getRawElements()),  in visitDICompositeType()
1164   CheckDI(isType(N.getRawVTableHolder()), "invalid vtable holder", &N,  in visitDICompositeType()
1166   CheckDI(!hasConflictingReferenceFlags(N.getFlags()),  in visitDICompositeType()
1169   CheckDI((N.getFlags() & DIBlockByRefStruct) == 0,  in visitDICompositeType()
1174     CheckDI(Elements.size() == 1 &&  in visitDICompositeType()
1183     CheckDI(isa<DIDerivedType>(D) && N.getTag() == dwarf::DW_TAG_variant_part,  in visitDICompositeType()
1188     CheckDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1193     CheckDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1198     CheckDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1203     CheckDI(N.getTag() == dwarf::DW_TAG_array_type,  in visitDICompositeType()
1209   CheckDI(N.getTag() == dwarf::DW_TAG_subroutine_type, "invalid tag", &N);  in visitDISubroutineType()
1211     CheckDI(isa<MDTuple>(Types), "invalid composite elements", &N, Types);  in visitDISubroutineType()
1213       CheckDI(isType(Ty), "invalid subroutine type ref", &N, Types, Ty);  in visitDISubroutineType()
1216   CheckDI(!hasConflictingReferenceFlags(N.getFlags()),  in visitDISubroutineType()
1221   CheckDI(N.getTag() == dwarf::DW_TAG_file_type, "invalid tag", &N);  in visitDIFile()
1224     CheckDI(Checksum->Kind <= DIFile::ChecksumKind::CSK_Last,  in visitDIFile()
1238     CheckDI(Checksum->Value.size() == Size, "invalid checksum length", &N);  in visitDIFile()
1239     CheckDI(Checksum->Value.find_if_not(llvm::isHexDigit) == StringRef::npos,  in visitDIFile()
1245   CheckDI(N.isDistinct(), "compile units must be distinct", &N);  in visitDICompileUnit()
1246   CheckDI(N.getTag() == dwarf::DW_TAG_compile_unit, "invalid tag", &N);  in visitDICompileUnit()
1250   CheckDI(N.getRawFile() && isa<DIFile>(N.getRawFile()), "invalid file", &N,  in visitDICompileUnit()
1252   CheckDI(!N.getFile()->getFilename().empty(), "invalid filename", &N,  in visitDICompileUnit()
1259   CheckDI((N.getEmissionKind() <= DICompileUnit::LastEmissionKind),  in visitDICompileUnit()
1263     CheckDI(isa<MDTuple>(Array), "invalid enum list", &N, Array);  in visitDICompileUnit()
1266       CheckDI(Enum && Enum->getTag() == dwarf::DW_TAG_enumeration_type,  in visitDICompileUnit()
1271     CheckDI(isa<MDTuple>(Array), "invalid retained type list", &N, Array);  in visitDICompileUnit()
1273       CheckDI(  in visitDICompileUnit()
1280     CheckDI(isa<MDTuple>(Array), "invalid global variable list", &N, Array);  in visitDICompileUnit()
1282       CheckDI(Op && (isa<DIGlobalVariableExpression>(Op)),  in visitDICompileUnit()
1287     CheckDI(isa<MDTuple>(Array), "invalid imported entity list", &N, Array);  in visitDICompileUnit()
1289       CheckDI(Op && isa<DIImportedEntity>(Op), "invalid imported entity ref",  in visitDICompileUnit()
1294     CheckDI(isa<MDTuple>(Array), "invalid macro list", &N, Array);  in visitDICompileUnit()
1296       CheckDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op);  in visitDICompileUnit()
1303   CheckDI(N.getTag() == dwarf::DW_TAG_subprogram, "invalid tag", &N);  in visitDISubprogram()
1304   CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());  in visitDISubprogram()
1306     CheckDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDISubprogram()
1308     CheckDI(N.getLine() == 0, "line specified with no file", &N, N.getLine());  in visitDISubprogram()
1310     CheckDI(isa<DISubroutineType>(T), "invalid subroutine type", &N, T);  in visitDISubprogram()
1311   CheckDI(isType(N.getRawContainingType()), "invalid containing type", &N,  in visitDISubprogram()
1316     CheckDI(isa<DISubprogram>(S) && !cast<DISubprogram>(S)->isDefinition(),  in visitDISubprogram()
1320     CheckDI(Node, "invalid retained nodes list", &N, RawNode);  in visitDISubprogram()
1322       CheckDI(Op && (isa<DILocalVariable>(Op) || isa<DILabel>(Op)),  in visitDISubprogram()
1327   CheckDI(!hasConflictingReferenceFlags(N.getFlags()),  in visitDISubprogram()
1333     CheckDI(N.isDistinct(), "subprogram definitions must be distinct", &N);  in visitDISubprogram()
1334     CheckDI(Unit, "subprogram definitions must have a compile unit", &N);  in visitDISubprogram()
1335     CheckDI(isa<DICompileUnit>(Unit), "invalid unit type", &N, Unit);  in visitDISubprogram()
1340     CheckDI(!Unit, "subprogram declarations must not have a compile unit", &N);  in visitDISubprogram()
1345     CheckDI(ThrownTypes, "invalid thrown types list", &N, RawThrownTypes);  in visitDISubprogram()
1347       CheckDI(Op && isa<DIType>(Op), "invalid thrown type", &N, ThrownTypes,  in visitDISubprogram()
1352     CheckDI(N.isDefinition(),  in visitDISubprogram()
1357   CheckDI(N.getTag() == dwarf::DW_TAG_lexical_block, "invalid tag", &N);  in visitDILexicalBlockBase()
1358   CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILexicalBlockBase()
1361     CheckDI(SP->isDefinition(), "scope points into the type hierarchy", &N);  in visitDILexicalBlockBase()
1367   CheckDI(N.getLine() || !N.getColumn(),  in visitDILexicalBlock()
1376   CheckDI(N.getTag() == dwarf::DW_TAG_common_block, "invalid tag", &N);  in visitDICommonBlock()
1378     CheckDI(isa<DIScope>(S), "invalid scope ref", &N, S);  in visitDICommonBlock()
1380     CheckDI(isa<DIGlobalVariable>(S), "invalid declaration", &N, S);  in visitDICommonBlock()
1384   CheckDI(N.getTag() == dwarf::DW_TAG_namespace, "invalid tag", &N);  in visitDINamespace()
1386     CheckDI(isa<DIScope>(S), "invalid scope ref", &N, S);  in visitDINamespace()
1390   CheckDI(N.getMacinfoType() == dwarf::DW_MACINFO_define ||  in visitDIMacro()
1393   CheckDI(!N.getName().empty(), "anonymous macro", &N);  in visitDIMacro()
1400   CheckDI(N.getMacinfoType() == dwarf::DW_MACINFO_start_file,  in visitDIMacroFile()
1403     CheckDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIMacroFile()
1406     CheckDI(isa<MDTuple>(Array), "invalid macro list", &N, Array);  in visitDIMacroFile()
1408       CheckDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op);  in visitDIMacroFile()
1414   CheckDI(!N.getNumOperands(),  in visitDIArgList()
1421   CheckDI(N.getTag() == dwarf::DW_TAG_module, "invalid tag", &N);  in visitDIModule()
1422   CheckDI(!N.getName().empty(), "anonymous module", &N);  in visitDIModule()
1426   CheckDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());  in visitDITemplateParameter()
1432   CheckDI(N.getTag() == dwarf::DW_TAG_template_type_parameter, "invalid tag",  in visitDITemplateTypeParameter()
1440   CheckDI(N.getTag() == dwarf::DW_TAG_template_value_parameter ||  in visitDITemplateValueParameter()
1448     CheckDI(isa<DIScope>(S), "invalid scope", &N, S);  in visitDIVariable()
1450     CheckDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIVariable()
1457   CheckDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);  in visitDIGlobalVariable()
1458   CheckDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());  in visitDIGlobalVariable()
1461     CheckDI(N.getType(), "missing global variable type", &N);  in visitDIGlobalVariable()
1463     CheckDI(isa<DIDerivedType>(Member),  in visitDIGlobalVariable()
1472   CheckDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());  in visitDILocalVariable()
1473   CheckDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);  in visitDILocalVariable()
1474   CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILocalVariable()
1477     CheckDI(!isa<DISubroutineType>(Ty), "invalid type", &N, N.getType());  in visitDILocalVariable()
1482     CheckDI(isa<DIScope>(S), "invalid scope", &N, S);  in visitDILabel()
1484     CheckDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDILabel()
1486   CheckDI(N.getTag() == dwarf::DW_TAG_label, "invalid tag", &N);  in visitDILabel()
1487   CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),  in visitDILabel()
1492   CheckDI(N.isValid(), "invalid expression", &N);  in visitDIExpression()
1497   CheckDI(GVE.getVariable(), "missing variable");  in visitDIGlobalVariableExpression()
1508   CheckDI(N.getTag() == dwarf::DW_TAG_APPLE_property, "invalid tag", &N);  in visitDIObjCProperty()
1510     CheckDI(isType(T), "invalid type ref", &N, T);  in visitDIObjCProperty()
1512     CheckDI(isa<DIFile>(F), "invalid file", &N, F);  in visitDIObjCProperty()
1516   CheckDI(N.getTag() == dwarf::DW_TAG_imported_module ||  in visitDIImportedEntity()
1520     CheckDI(isa<DIScope>(S), "invalid scope for imported entity", &N, S);  in visitDIImportedEntity()
1521   CheckDI(isDINode(N.getRawEntity()), "invalid imported entity", &N,  in visitDIImportedEntity()
2592       CheckDI(I.first != LLVMContext::MD_dbg ||  in visitFunction()
2630         CheckDI(NumDebugAttachments == 1,  in visitFunction()
2632         CheckDI(isa<DISubprogram>(I.second),  in visitFunction()
2634         CheckDI(cast<DISubprogram>(I.second)->isDistinct(),  in visitFunction()
2640         CheckDI(!AttachedTo || AttachedTo == &F,  in visitFunction()
2711     CheckDI(Parent && isa<DILocalScope>(Parent),  in visitFunction()
2727     CheckDI(SP->describes(&F),  in visitFunction()
3420     CheckDI(Call.getDebugLoc(),  in visitCallBase()
4798     CheckDI(isa<DILocation>(N), "invalid !dbg metadata attachment", &I, N);  in visitInstruction()
5915   CheckDI(isa<ValueAsMetadata>(MD) || isa<DIArgList>(MD) ||  in visitDbgIntrinsic()
5918   CheckDI(isa<DILocalVariable>(DII.getRawVariable()),  in visitDbgIntrinsic()
5921   CheckDI(isa<DIExpression>(DII.getRawExpression()),  in visitDbgIntrinsic()
5936   CheckDI(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment",  in visitDbgIntrinsic()
5944   CheckDI(VarSP == LocSP,  in visitDbgIntrinsic()
5951   CheckDI(isType(Var->getRawType()), "invalid type ref", Var,  in visitDbgIntrinsic()
5957   CheckDI(isa<DILabel>(DLI.getRawLabel()),  in visitDbgLabelIntrinsic()
5980   CheckDI(LabelSP == LocSP,  in visitDbgLabelIntrinsic()
6024   CheckDI(FragSize + FragOffset <= *VarSize,  in verifyFragmentExpression()
6026   CheckDI(FragSize != *VarSize, "fragment covers entire variable", Desc, &V);  in verifyFragmentExpression()
6041   CheckDI(Var, "dbg intrinsic without variable");  in verifyFnArgs()
6054   CheckDI(!Prev || (Prev == Var), "conflicting debug info for argument", &I,  in verifyFnArgs()
6065   CheckDI(!E->isEntryValue(), "Entry values are only allowed in MIR", &I);  in verifyNotEntryValue()
6079     CheckDI(Listed.count(CU), "DICompileUnit not listed in llvm.dbg.cu", CU);  in verifyCompileUnits()
6131   CheckDI(HasSource == HasSourceDebugInfo[&U],  in verifySourceDebugInfo()