170 #define Check(C, ...)                                                          \  macro
181   Check(F.hasName() || F.hasLocalLinkage(),  in visitFunction()
195     Check(I.getCallingConv() == F->getCallingConv(),  in visitCallBase()
202     Check(FT->isVarArg() ? FT->getNumParams() <= NumActualArgs  in visitCallBase()
208     Check(FT->getReturnType() == I.getType(),  in visitCallBase()
221         Check(Formal->getType() == Actual->getType(),  in visitCallBase()
242               Check(Result != AliasResult::MustAlias &&  in visitCallBase()
271         Check(!isa<AllocaInst>(Obj),  in visitCallBase()
302       Check(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=  in visitCallBase()
319       Check(AA->alias(MCII->getSource(), LS, MCII->getDest(), LS) !=  in visitCallBase()
346       Check(I.getParent()->getParent()->isVarArg(),  in visitCallBase()
373         Check(!TripCount->isZero(),  in visitCallBase()
383   Check(!F->doesNotReturn(),  in visitReturnInst()
388     Check(!isa<AllocaInst>(Obj), "Unusual: Returning alloca value", &I);  in visitReturnInst()
403   Check(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
405   Check(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
407   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
410   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
416       Check(!GV->isConstant(), "Undefined behavior: Write to read-only memory",  in visitMemoryReference()
418     Check(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
423     Check(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
425     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
429     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
433     Check(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
469     Check(!Loc.Size.hasValue() || BaseSize == MemoryLocation::UnknownSize ||  in visitMemoryReference()
478       Check(*Align <= commonAlignment(*BaseAlign, Offset),  in visitMemoryReference()
494   Check(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitXor()
499   Check(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitSub()
506     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitLShr()
513     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitAShr()
520     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitShl()
562   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitSDiv()
567   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitUDiv()
572   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitSRem()
577   Check(!isZero(I.getOperand(1), I.getModule()->getDataLayout(), DT, AC),  in visitURem()
584     Check(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),  in visitAllocaInst()
599   Check(I.getNumDestinations() != 0,  in visitIndirectBrInst()
606     Check(  in visitExtractElementInst()
615     Check(CI->getValue().ult(  in visitInsertElementInst()
622   Check(&I == &I.getParent()->front() ||  in visitUnreachableInst()