168 #define Check(C, ...)                                                          \  macro
179   Check(F.hasName() || F.hasLocalLinkage(),  in visitFunction()
193     Check(I.getCallingConv() == F->getCallingConv(),  in visitCallBase()
200     Check(FT->isVarArg() ? FT->getNumParams() <= NumActualArgs  in visitCallBase()
206     Check(FT->getReturnType() == I.getType(),  in visitCallBase()
219         Check(Formal->getType() == Actual->getType(),  in visitCallBase()
244               Check(Result != AliasResult::MustAlias &&  in visitCallBase()
273         Check(!isa<AllocaInst>(Obj),  in visitCallBase()
304       Check(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=  in visitCallBase()
321       Check(AA->alias(MCII->getSource(), LS, MCII->getDest(), LS) !=  in visitCallBase()
348       Check(I.getParent()->getParent()->isVarArg(),  in visitCallBase()
375         Check(!TripCount->isZero(),  in visitCallBase()
385   Check(!F->doesNotReturn(),  in visitReturnInst()
390     Check(!isa<AllocaInst>(Obj), "Unusual: Returning alloca value", &I);  in visitReturnInst()
405   Check(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
407   Check(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
409   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
412   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
418       Check(!GV->isConstant(), "Undefined behavior: Write to read-only memory",  in visitMemoryReference()
420     Check(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
425     Check(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
427     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
431     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
435     Check(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
471     Check(!Loc.Size.hasValue() || BaseSize == MemoryLocation::UnknownSize ||  in visitMemoryReference()
480       Check(*Align <= commonAlignment(*BaseAlign, Offset),  in visitMemoryReference()
496   Check(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitXor()
501   Check(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitSub()
508     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitLShr()
515     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitAShr()
522     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitShl()
564   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitSDiv()
569   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitUDiv()
574   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitSRem()
579   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitURem()
586     Check(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),  in visitAllocaInst()
601   Check(I.getNumDestinations() != 0,  in visitIndirectBrInst()
608     Check(  in visitExtractElementInst()
617     Check(CI->getValue().ult(  in visitInsertElementInst()
624   Check(&I == &I.getParent()->front() ||  in visitUnreachableInst()