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

Declarations

include/llvm/IR/Verifier.h
   43   template <typename... Tys> void CheckFailed(Tys &&... Args);

References

lib/IR/Verifier.cpp
 5208     CheckFailed("Base nodes must have at least two operands", &I, BaseNode);
 5237       CheckFailed("Access tag nodes must have the number of operands that is a "
 5243       CheckFailed("Struct tag nodes must have an odd number of operands!",
 5254       CheckFailed("Type size nodes must be constants!", &I, BaseNode);
 5261     CheckFailed("Struct tag nodes have a string as their first operand",
 5280       CheckFailed("Incorrect field entry in struct type node!", &I, BaseNode);
 5288       CheckFailed("Offset entries must be constants!", &I, BaseNode);
 5297       CheckFailed(
 5313       CheckFailed("Offsets must be increasing!", &I, BaseNode);
 5323         CheckFailed("Member size entries must be constants!", &I, BaseNode);
 5395         CheckFailed("Could not find TBAA parent in struct type node", &I,
 5429   AssertTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) ||
 5437   AssertTBAA(
 5447     AssertTBAA(MD->getNumOperands() == 4 || MD->getNumOperands() == 5,
 5450     AssertTBAA(MD->getNumOperands() < 5,
 5458     AssertTBAA(AccessSizeNode, "Access size field must be a constant", &I, MD);
 5466     AssertTBAA(IsImmutableCI,
 5469     AssertTBAA(
 5475   AssertTBAA(BaseNode && AccessType,
 5481     AssertTBAA(isValidScalarTBAANode(AccessType),
 5487   AssertTBAA(OffsetCI, "Offset must be constant integer", &I, MD);
 5498       CheckFailed("Cycle detected in struct path", &I, MD);
 5515       AssertTBAA(Offset == 0, "Offset not zero at the point of scalar access",
 5518     AssertTBAA(BaseNodeBitWidth == Offset.getBitWidth() ||
 5528   AssertTBAA(SeenAccessTypeInPath, "Did not see access type in access path!",