Lines Matching refs:AssertDI
538 #define AssertDI(C, ...) \ macro
690 AssertDI(false, "!dbg attachment of global variable must be a " in visitGlobalVariable()
763 AssertDI(NMD.getName() == "llvm.dbg.cu", in visitNamedMDNode()
768 AssertDI(MD && isa<DICompileUnit>(MD), "invalid compile unit", &NMD, MD); in visitNamedMDNode()
862 AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILocation()
865 AssertDI(isa<DILocation>(IA), "inlined-at should be a location", &N, IA); in visitDILocation()
867 AssertDI(SP->isDefinition(), "scope points into the type hierarchy", &N); in visitDILocation()
871 AssertDI(N.getTag(), "invalid tag", &N); in visitGenericDINode()
876 AssertDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIScope()
880 AssertDI(N.getTag() == dwarf::DW_TAG_subrange_type, "invalid tag", &N); in visitDISubrange()
882 AssertDI(Count, "Count must either be a signed constant or a DIVariable", in visitDISubrange()
884 AssertDI(!Count.is<ConstantInt*>() || in visitDISubrange()
890 AssertDI(N.getTag() == dwarf::DW_TAG_enumerator, "invalid tag", &N); in visitDIEnumerator()
894 AssertDI(N.getTag() == dwarf::DW_TAG_base_type || in visitDIBasicType()
897 AssertDI(!(N.isBigEndian() && N.isLittleEndian()) , in visitDIBasicType()
905 AssertDI(N.getTag() == dwarf::DW_TAG_typedef || in visitDIDerivedType()
919 AssertDI(isType(N.getRawExtraData()), "invalid pointer to member type", &N, in visitDIDerivedType()
923 AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope()); in visitDIDerivedType()
924 AssertDI(isType(N.getRawBaseType()), "invalid base type", &N, in visitDIDerivedType()
928 AssertDI(N.getTag() == dwarf::DW_TAG_pointer_type || in visitDIDerivedType()
945 AssertDI(Params, "invalid template params", &N, &RawParams); in visitTemplateParams()
947 AssertDI(Op && isa<DITemplateParameter>(Op), "invalid template parameter", in visitTemplateParams()
956 AssertDI(N.getTag() == dwarf::DW_TAG_array_type || in visitDICompositeType()
964 AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope()); in visitDICompositeType()
965 AssertDI(isType(N.getRawBaseType()), "invalid base type", &N, in visitDICompositeType()
968 AssertDI(!N.getRawElements() || isa<MDTuple>(N.getRawElements()), in visitDICompositeType()
970 AssertDI(isType(N.getRawVTableHolder()), "invalid vtable holder", &N, in visitDICompositeType()
972 AssertDI(!hasConflictingReferenceFlags(N.getFlags()), in visitDICompositeType()
977 AssertDI(Elements.size() == 1 && in visitDICompositeType()
987 AssertDI(N.getFile() && !N.getFile()->getFilename().empty(), in visitDICompositeType()
992 AssertDI(isa<DIDerivedType>(D) && N.getTag() == dwarf::DW_TAG_variant_part, in visitDICompositeType()
998 AssertDI(N.getTag() == dwarf::DW_TAG_subroutine_type, "invalid tag", &N); in visitDISubroutineType()
1000 AssertDI(isa<MDTuple>(Types), "invalid composite elements", &N, Types); in visitDISubroutineType()
1002 AssertDI(isType(Ty), "invalid subroutine type ref", &N, Types, Ty); in visitDISubroutineType()
1005 AssertDI(!hasConflictingReferenceFlags(N.getFlags()), in visitDISubroutineType()
1010 AssertDI(N.getTag() == dwarf::DW_TAG_file_type, "invalid tag", &N); in visitDIFile()
1013 AssertDI(Checksum->Kind <= DIFile::ChecksumKind::CSK_Last, in visitDIFile()
1024 AssertDI(Checksum->Value.size() == Size, "invalid checksum length", &N); in visitDIFile()
1025 AssertDI(Checksum->Value.find_if_not(llvm::isHexDigit) == StringRef::npos, in visitDIFile()
1031 AssertDI(N.isDistinct(), "compile units must be distinct", &N); in visitDICompileUnit()
1032 AssertDI(N.getTag() == dwarf::DW_TAG_compile_unit, "invalid tag", &N); in visitDICompileUnit()
1036 AssertDI(N.getRawFile() && isa<DIFile>(N.getRawFile()), "invalid file", &N, in visitDICompileUnit()
1038 AssertDI(!N.getFile()->getFilename().empty(), "invalid filename", &N, in visitDICompileUnit()
1043 AssertDI((N.getEmissionKind() <= DICompileUnit::LastEmissionKind), in visitDICompileUnit()
1047 AssertDI(isa<MDTuple>(Array), "invalid enum list", &N, Array); in visitDICompileUnit()
1050 AssertDI(Enum && Enum->getTag() == dwarf::DW_TAG_enumeration_type, in visitDICompileUnit()
1055 AssertDI(isa<MDTuple>(Array), "invalid retained type list", &N, Array); in visitDICompileUnit()
1057 AssertDI(Op && (isa<DIType>(Op) || in visitDICompileUnit()
1064 AssertDI(isa<MDTuple>(Array), "invalid global variable list", &N, Array); in visitDICompileUnit()
1066 AssertDI(Op && (isa<DIGlobalVariableExpression>(Op)), in visitDICompileUnit()
1071 AssertDI(isa<MDTuple>(Array), "invalid imported entity list", &N, Array); in visitDICompileUnit()
1073 AssertDI(Op && isa<DIImportedEntity>(Op), "invalid imported entity ref", in visitDICompileUnit()
1078 AssertDI(isa<MDTuple>(Array), "invalid macro list", &N, Array); in visitDICompileUnit()
1080 AssertDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op); in visitDICompileUnit()
1087 AssertDI(N.getTag() == dwarf::DW_TAG_subprogram, "invalid tag", &N); in visitDISubprogram()
1088 AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope()); in visitDISubprogram()
1090 AssertDI(isa<DIFile>(F), "invalid file", &N, F); in visitDISubprogram()
1092 AssertDI(N.getLine() == 0, "line specified with no file", &N, N.getLine()); in visitDISubprogram()
1094 AssertDI(isa<DISubroutineType>(T), "invalid subroutine type", &N, T); in visitDISubprogram()
1095 AssertDI(isType(N.getRawContainingType()), "invalid containing type", &N, in visitDISubprogram()
1100 AssertDI(isa<DISubprogram>(S) && !cast<DISubprogram>(S)->isDefinition(), in visitDISubprogram()
1104 AssertDI(Node, "invalid retained nodes list", &N, RawNode); in visitDISubprogram()
1106 AssertDI(Op && (isa<DILocalVariable>(Op) || isa<DILabel>(Op)), in visitDISubprogram()
1111 AssertDI(!hasConflictingReferenceFlags(N.getFlags()), in visitDISubprogram()
1117 AssertDI(N.isDistinct(), "subprogram definitions must be distinct", &N); in visitDISubprogram()
1118 AssertDI(Unit, "subprogram definitions must have a compile unit", &N); in visitDISubprogram()
1119 AssertDI(isa<DICompileUnit>(Unit), "invalid unit type", &N, Unit); in visitDISubprogram()
1124 AssertDI(!Unit, "subprogram declarations must not have a compile unit", &N); in visitDISubprogram()
1129 AssertDI(ThrownTypes, "invalid thrown types list", &N, RawThrownTypes); in visitDISubprogram()
1131 AssertDI(Op && isa<DIType>(Op), "invalid thrown type", &N, ThrownTypes, in visitDISubprogram()
1136 AssertDI(N.isDefinition(), in visitDISubprogram()
1141 AssertDI(N.getTag() == dwarf::DW_TAG_lexical_block, "invalid tag", &N); in visitDILexicalBlockBase()
1142 AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILexicalBlockBase()
1145 AssertDI(SP->isDefinition(), "scope points into the type hierarchy", &N); in visitDILexicalBlockBase()
1151 AssertDI(N.getLine() || !N.getColumn(), in visitDILexicalBlock()
1160 AssertDI(N.getTag() == dwarf::DW_TAG_namespace, "invalid tag", &N); in visitDINamespace()
1162 AssertDI(isa<DIScope>(S), "invalid scope ref", &N, S); in visitDINamespace()
1166 AssertDI(N.getMacinfoType() == dwarf::DW_MACINFO_define || in visitDIMacro()
1169 AssertDI(!N.getName().empty(), "anonymous macro", &N); in visitDIMacro()
1176 AssertDI(N.getMacinfoType() == dwarf::DW_MACINFO_start_file, in visitDIMacroFile()
1179 AssertDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIMacroFile()
1182 AssertDI(isa<MDTuple>(Array), "invalid macro list", &N, Array); in visitDIMacroFile()
1184 AssertDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op); in visitDIMacroFile()
1190 AssertDI(N.getTag() == dwarf::DW_TAG_module, "invalid tag", &N); in visitDIModule()
1191 AssertDI(!N.getName().empty(), "anonymous module", &N); in visitDIModule()
1195 AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType()); in visitDITemplateParameter()
1201 AssertDI(N.getTag() == dwarf::DW_TAG_template_type_parameter, "invalid tag", in visitDITemplateTypeParameter()
1209 AssertDI(N.getTag() == dwarf::DW_TAG_template_value_parameter || in visitDITemplateValueParameter()
1217 AssertDI(isa<DIScope>(S), "invalid scope", &N, S); in visitDIVariable()
1219 AssertDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIVariable()
1226 AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N); in visitDIGlobalVariable()
1227 AssertDI(!N.getName().empty(), "missing global variable name", &N); in visitDIGlobalVariable()
1228 AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType()); in visitDIGlobalVariable()
1229 AssertDI(N.getType(), "missing global variable type", &N); in visitDIGlobalVariable()
1231 AssertDI(isa<DIDerivedType>(Member), in visitDIGlobalVariable()
1240 AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType()); in visitDILocalVariable()
1241 AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N); in visitDILocalVariable()
1242 AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILocalVariable()
1245 AssertDI(!isa<DISubroutineType>(Ty), "invalid type", &N, N.getType()); in visitDILocalVariable()
1250 AssertDI(isa<DIScope>(S), "invalid scope", &N, S); in visitDILabel()
1252 AssertDI(isa<DIFile>(F), "invalid file", &N, F); in visitDILabel()
1254 AssertDI(N.getTag() == dwarf::DW_TAG_label, "invalid tag", &N); in visitDILabel()
1255 AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILabel()
1260 AssertDI(N.isValid(), "invalid expression", &N); in visitDIExpression()
1265 AssertDI(GVE.getVariable(), "missing variable"); in visitDIGlobalVariableExpression()
1276 AssertDI(N.getTag() == dwarf::DW_TAG_APPLE_property, "invalid tag", &N); in visitDIObjCProperty()
1278 AssertDI(isType(T), "invalid type ref", &N, T); in visitDIObjCProperty()
1280 AssertDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIObjCProperty()
1284 AssertDI(N.getTag() == dwarf::DW_TAG_imported_module || in visitDIImportedEntity()
1288 AssertDI(isa<DIScope>(S), "invalid scope for imported entity", &N, S); in visitDIImportedEntity()
1289 AssertDI(isDINode(N.getRawEntity()), "invalid imported entity", &N, in visitDIImportedEntity()
2223 AssertDI(I.first != LLVMContext::MD_dbg, in visitFunction()
2258 AssertDI(NumDebugAttachments == 1, in visitFunction()
2260 AssertDI(isa<DISubprogram>(I.second), in visitFunction()
2264 AssertDI(!AttachedTo || AttachedTo == &F, in visitFunction()
2314 AssertDI(Parent && isa<DILocalScope>(Parent), in visitFunction()
2329 AssertDI(SP->describes(&F), in visitFunction()
2923 AssertDI(Call.getDebugLoc(), in visitCallBase()
4073 AssertDI(isa<DILocation>(N), "invalid !dbg metadata attachment", &I, N); in visitInstruction()
4623 AssertDI(isa<ValueAsMetadata>(MD) || in visitDbgIntrinsic()
4626 AssertDI(isa<DILocalVariable>(DII.getRawVariable()), in visitDbgIntrinsic()
4629 AssertDI(isa<DIExpression>(DII.getRawExpression()), in visitDbgIntrinsic()
4644 AssertDI(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment", in visitDbgIntrinsic()
4652 AssertDI(VarSP == LocSP, "mismatched subprogram between llvm.dbg." + Kind + in visitDbgIntrinsic()
4658 AssertDI(isType(Var->getRawType()), "invalid type ref", Var, in visitDbgIntrinsic()
4662 AssertDI(DII.getExpression() && DII.getExpression()->getNumElements(), in visitDbgIntrinsic()
4669 AssertDI(isa<DILabel>(DLI.getRawLabel()), in visitDbgLabelIntrinsic()
4692 AssertDI(LabelSP == LocSP, "mismatched subprogram between llvm.dbg." + Kind + in visitDbgLabelIntrinsic()
4735 AssertDI(FragSize + FragOffset <= *VarSize, in verifyFragmentExpression()
4737 AssertDI(FragSize != *VarSize, "fragment covers entire variable", Desc, &V); in verifyFragmentExpression()
4752 AssertDI(Var, "dbg intrinsic without variable"); in verifyFnArgs()
4765 AssertDI(!Prev || (Prev == Var), "conflicting debug info for argument", &I, in verifyFnArgs()
4780 AssertDI(Listed.count(CU), "DICompileUnit not listed in llvm.dbg.cu", CU); in verifyCompileUnits()
4801 AssertDI(HasSource == HasSourceDebugInfo[&U], in verifySourceDebugInfo()