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

References

lib/Analysis/Lint.cpp
  218   Assert(F.hasName() || F.hasLocalLinkage(),
  233     Assert(CS.getCallingConv() == F->getCallingConv(),
  240     Assert(FT->isVarArg() ? FT->getNumParams() <= NumActualArgs
  246     Assert(FT->getReturnType() == I.getType(),
  259         Assert(Formal->getType() == Actual->getType(),
  281               Assert(Result != MustAlias && Result != PartialAlias,
  310         Assert(!isa<AllocaInst>(Obj),
  342       Assert(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=
  365       Assert(I.getParent()->getParent()->isVarArg(),
  403   Assert(!F->doesNotReturn(),
  408     Assert(!isa<AllocaInst>(Obj), "Unusual: Returning alloca value", &I);
  423   Assert(!isa<ConstantPointerNull>(UnderlyingObject),
  425   Assert(!isa<UndefValue>(UnderlyingObject),
  427   Assert(!isa<ConstantInt>(UnderlyingObject) ||
  430   Assert(!isa<ConstantInt>(UnderlyingObject) ||
  436       Assert(!GV->isConstant(), "Undefined behavior: Write to read-only memory",
  438     Assert(!isa<Function>(UnderlyingObject) &&
  443     Assert(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",
  445     Assert(!isa<BlockAddress>(UnderlyingObject),
  449     Assert(!isa<BlockAddress>(UnderlyingObject),
  453     Assert(!isa<Constant>(UnderlyingObject) ||
  491     Assert(Size == MemoryLocation::UnknownSize ||
  500     Assert(!BaseAlign || Align <= MinAlign(BaseAlign, Offset),
  519   Assert(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),
  524   Assert(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),
  531     Assert(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
  538     Assert(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
  545     Assert(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),
  585   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),
  590   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),
  595   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),
  600   Assert(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),
  607     Assert(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),
  622   Assert(I.getNumDestinations() != 0,
  629     Assert(CI->getValue().ult(I.getVectorOperandType()->getNumElements()),
  636     Assert(CI->getValue().ult(I.getType()->getNumElements()),
  642   Assert(&I == &I.getParent()->front() ||