reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/IR/Verifier.cpp
  694       AssertDI(false, "!dbg attachment of global variable must be a "
  774     AssertDI(NMD.getName() == "llvm.dbg.cu",
  779       AssertDI(MD && isa<DICompileUnit>(MD), "invalid compile unit", &NMD, MD);
  873   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),
  876     AssertDI(isa<DILocation>(IA), "inlined-at should be a location", &N, IA);
  878     AssertDI(SP->isDefinition(), "scope points into the type hierarchy", &N);
  882   AssertDI(N.getTag(), "invalid tag", &N);
  887     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
  891   AssertDI(N.getTag() == dwarf::DW_TAG_subrange_type, "invalid tag", &N);
  893   AssertDI(Count, "Count must either be a signed constant or a DIVariable",
  895   AssertDI(!Count.is<ConstantInt*>() ||
  901   AssertDI(N.getTag() == dwarf::DW_TAG_enumerator, "invalid tag", &N);
  905   AssertDI(N.getTag() == dwarf::DW_TAG_base_type ||
  908   AssertDI(!(N.isBigEndian() && N.isLittleEndian()) ,
  916   AssertDI(N.getTag() == dwarf::DW_TAG_typedef ||
  930     AssertDI(isType(N.getRawExtraData()), "invalid pointer to member type", &N,
  934   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());
  935   AssertDI(isType(N.getRawBaseType()), "invalid base type", &N,
  939     AssertDI(N.getTag() == dwarf::DW_TAG_pointer_type ||
  957   AssertDI(Params, "invalid template params", &N, &RawParams);
  959     AssertDI(Op && isa<DITemplateParameter>(Op), "invalid template parameter",
  968   AssertDI(N.getTag() == dwarf::DW_TAG_array_type ||
  976   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());
  977   AssertDI(isType(N.getRawBaseType()), "invalid base type", &N,
  980   AssertDI(!N.getRawElements() || isa<MDTuple>(N.getRawElements()),
  982   AssertDI(isType(N.getRawVTableHolder()), "invalid vtable holder", &N,
  984   AssertDI(!hasConflictingReferenceFlags(N.getFlags()),
  987   AssertDI((N.getFlags() & DIBlockByRefStruct) == 0,
  992     AssertDI(Elements.size() == 1 &&
 1002     AssertDI(N.getFile() && !N.getFile()->getFilename().empty(),
 1007     AssertDI(isa<DIDerivedType>(D) && N.getTag() == dwarf::DW_TAG_variant_part,
 1013   AssertDI(N.getTag() == dwarf::DW_TAG_subroutine_type, "invalid tag", &N);
 1015     AssertDI(isa<MDTuple>(Types), "invalid composite elements", &N, Types);
 1017       AssertDI(isType(Ty), "invalid subroutine type ref", &N, Types, Ty);
 1020   AssertDI(!hasConflictingReferenceFlags(N.getFlags()),
 1025   AssertDI(N.getTag() == dwarf::DW_TAG_file_type, "invalid tag", &N);
 1028     AssertDI(Checksum->Kind <= DIFile::ChecksumKind::CSK_Last,
 1039     AssertDI(Checksum->Value.size() == Size, "invalid checksum length", &N);
 1040     AssertDI(Checksum->Value.find_if_not(llvm::isHexDigit) == StringRef::npos,
 1046   AssertDI(N.isDistinct(), "compile units must be distinct", &N);
 1047   AssertDI(N.getTag() == dwarf::DW_TAG_compile_unit, "invalid tag", &N);
 1051   AssertDI(N.getRawFile() && isa<DIFile>(N.getRawFile()), "invalid file", &N,
 1053   AssertDI(!N.getFile()->getFilename().empty(), "invalid filename", &N,
 1058   AssertDI((N.getEmissionKind() <= DICompileUnit::LastEmissionKind),
 1062     AssertDI(isa<MDTuple>(Array), "invalid enum list", &N, Array);
 1065       AssertDI(Enum && Enum->getTag() == dwarf::DW_TAG_enumeration_type,
 1070     AssertDI(isa<MDTuple>(Array), "invalid retained type list", &N, Array);
 1072       AssertDI(Op && (isa<DIType>(Op) ||
 1079     AssertDI(isa<MDTuple>(Array), "invalid global variable list", &N, Array);
 1081       AssertDI(Op && (isa<DIGlobalVariableExpression>(Op)),
 1086     AssertDI(isa<MDTuple>(Array), "invalid imported entity list", &N, Array);
 1088       AssertDI(Op && isa<DIImportedEntity>(Op), "invalid imported entity ref",
 1093     AssertDI(isa<MDTuple>(Array), "invalid macro list", &N, Array);
 1095       AssertDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op);
 1102   AssertDI(N.getTag() == dwarf::DW_TAG_subprogram, "invalid tag", &N);
 1103   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());
 1105     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
 1107     AssertDI(N.getLine() == 0, "line specified with no file", &N, N.getLine());
 1109     AssertDI(isa<DISubroutineType>(T), "invalid subroutine type", &N, T);
 1110   AssertDI(isType(N.getRawContainingType()), "invalid containing type", &N,
 1115     AssertDI(isa<DISubprogram>(S) && !cast<DISubprogram>(S)->isDefinition(),
 1119     AssertDI(Node, "invalid retained nodes list", &N, RawNode);
 1121       AssertDI(Op && (isa<DILocalVariable>(Op) || isa<DILabel>(Op)),
 1126   AssertDI(!hasConflictingReferenceFlags(N.getFlags()),
 1132     AssertDI(N.isDistinct(), "subprogram definitions must be distinct", &N);
 1133     AssertDI(Unit, "subprogram definitions must have a compile unit", &N);
 1134     AssertDI(isa<DICompileUnit>(Unit), "invalid unit type", &N, Unit);
 1139     AssertDI(!Unit, "subprogram declarations must not have a compile unit", &N);
 1144     AssertDI(ThrownTypes, "invalid thrown types list", &N, RawThrownTypes);
 1146       AssertDI(Op && isa<DIType>(Op), "invalid thrown type", &N, ThrownTypes,
 1151     AssertDI(N.isDefinition(),
 1156   AssertDI(N.getTag() == dwarf::DW_TAG_lexical_block, "invalid tag", &N);
 1157   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),
 1160     AssertDI(SP->isDefinition(), "scope points into the type hierarchy", &N);
 1166   AssertDI(N.getLine() || !N.getColumn(),
 1175   AssertDI(N.getTag() == dwarf::DW_TAG_common_block, "invalid tag", &N);
 1177     AssertDI(isa<DIScope>(S), "invalid scope ref", &N, S);
 1179     AssertDI(isa<DIGlobalVariable>(S), "invalid declaration", &N, S);
 1183   AssertDI(N.getTag() == dwarf::DW_TAG_namespace, "invalid tag", &N);
 1185     AssertDI(isa<DIScope>(S), "invalid scope ref", &N, S);
 1189   AssertDI(N.getMacinfoType() == dwarf::DW_MACINFO_define ||
 1192   AssertDI(!N.getName().empty(), "anonymous macro", &N);
 1199   AssertDI(N.getMacinfoType() == dwarf::DW_MACINFO_start_file,
 1202     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
 1205     AssertDI(isa<MDTuple>(Array), "invalid macro list", &N, Array);
 1207       AssertDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op);
 1213   AssertDI(N.getTag() == dwarf::DW_TAG_module, "invalid tag", &N);
 1214   AssertDI(!N.getName().empty(), "anonymous module", &N);
 1218   AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());
 1224   AssertDI(N.getTag() == dwarf::DW_TAG_template_type_parameter, "invalid tag",
 1232   AssertDI(N.getTag() == dwarf::DW_TAG_template_value_parameter ||
 1240     AssertDI(isa<DIScope>(S), "invalid scope", &N, S);
 1242     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
 1249   AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);
 1250   AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());
 1251   AssertDI(N.getType(), "missing global variable type", &N);
 1253     AssertDI(isa<DIDerivedType>(Member),
 1262   AssertDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType());
 1263   AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N);
 1264   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),
 1267     AssertDI(!isa<DISubroutineType>(Ty), "invalid type", &N, N.getType());
 1272     AssertDI(isa<DIScope>(S), "invalid scope", &N, S);
 1274     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
 1276   AssertDI(N.getTag() == dwarf::DW_TAG_label, "invalid tag", &N);
 1277   AssertDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()),
 1282   AssertDI(N.isValid(), "invalid expression", &N);
 1287   AssertDI(GVE.getVariable(), "missing variable");
 1298   AssertDI(N.getTag() == dwarf::DW_TAG_APPLE_property, "invalid tag", &N);
 1300     AssertDI(isType(T), "invalid type ref", &N, T);
 1302     AssertDI(isa<DIFile>(F), "invalid file", &N, F);
 1306   AssertDI(N.getTag() == dwarf::DW_TAG_imported_module ||
 1310     AssertDI(isa<DIScope>(S), "invalid scope for imported entity", &N, S);
 1311   AssertDI(isDINode(N.getRawEntity()), "invalid imported entity", &N,
 2251       AssertDI(I.first != LLVMContext::MD_dbg ||
 2288         AssertDI(NumDebugAttachments == 1,
 2290         AssertDI(isa<DISubprogram>(I.second),
 2294         AssertDI(!AttachedTo || AttachedTo == &F,
 2342     AssertDI(Parent && isa<DILocalScope>(Parent),
 2357     AssertDI(SP->describes(&F),
 3014     AssertDI(Call.getDebugLoc(),
 4219     AssertDI(isa<DILocation>(N), "invalid !dbg metadata attachment", &I, N);
 4918   AssertDI(isa<ValueAsMetadata>(MD) ||
 4921   AssertDI(isa<DILocalVariable>(DII.getRawVariable()),
 4924   AssertDI(isa<DIExpression>(DII.getRawExpression()),
 4939   AssertDI(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment",
 4947   AssertDI(VarSP == LocSP, "mismatched subprogram between llvm.dbg." + Kind +
 4953   AssertDI(isType(Var->getRawType()), "invalid type ref", Var,
 4959   AssertDI(isa<DILabel>(DLI.getRawLabel()),
 4982   AssertDI(LabelSP == LocSP, "mismatched subprogram between llvm.dbg." + Kind +
 5025   AssertDI(FragSize + FragOffset <= *VarSize,
 5027   AssertDI(FragSize != *VarSize, "fragment covers entire variable", Desc, &V);
 5042   AssertDI(Var, "dbg intrinsic without variable");
 5055   AssertDI(!Prev || (Prev == Var), "conflicting debug info for argument", &I,
 5066   AssertDI(!E->isEntryValue(), "Entry values are only allowed in MIR", &I);
 5080     AssertDI(Listed.count(CU), "DICompileUnit not listed in llvm.dbg.cu", CU);
 5101   AssertDI(HasSource == HasSourceDebugInfo[&U],