173 #define Check(C, ...)                                                          \  macro
184   Check(F.hasName() || F.hasLocalLinkage(),  in visitFunction()
198     Check(I.getCallingConv() == F->getCallingConv(),  in visitCallBase()
205     Check(FT->isVarArg() ? FT->getNumParams() <= NumActualArgs  in visitCallBase()
211     Check(FT->getReturnType() == I.getType(),  in visitCallBase()
224         Check(Formal->getType() == Actual->getType(),  in visitCallBase()
249               Check(Result != AliasResult::MustAlias &&  in visitCallBase()
278         Check(!isa<AllocaInst>(Obj),  in visitCallBase()
310       Check(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) !=  in visitCallBase()
361         Check(!TripCount->isZero(),  in visitCallBase()
371   Check(!F->doesNotReturn(),  in visitReturnInst()
376     Check(!isa<AllocaInst>(Obj), "Unusual: Returning alloca value", &I);  in visitReturnInst()
391   Check(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
393   Check(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
395   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
398   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
404       Check(!GV->isConstant(), "Undefined behavior: Write to read-only memory",  in visitMemoryReference()
406     Check(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
411     Check(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
413     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
417     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
421     Check(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
457     Check(!Loc.Size.hasValue() || BaseSize == MemoryLocation::UnknownSize ||  in visitMemoryReference()
466       Check(*Align <= commonAlignment(*BaseAlign, Offset),  in visitMemoryReference()
482   Check(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitXor()
487   Check(!isa<UndefValue>(I.getOperand(0)) || !isa<UndefValue>(I.getOperand(1)),  in visitSub()
494     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitLShr()
501     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitAShr()
508     Check(CI->getValue().ult(cast<IntegerType>(I.getType())->getBitWidth()),  in visitShl()
550   Check(!isZero(I.getOperand(1), I.getDataLayout(), DT, AC),  in visitSDiv()
555   Check(!isZero(I.getOperand(1), I.getDataLayout(), DT, AC),  in visitUDiv()
560   Check(!isZero(I.getOperand(1), I.getDataLayout(), DT, AC),  in visitSRem()
565   Check(!isZero(I.getOperand(1), I.getDataLayout(), DT, AC),  in visitURem()
572     Check(&I.getParent()->getParent()->getEntryBlock() == I.getParent(),  in visitAllocaInst()
587   Check(I.getNumDestinations() != 0,  in visitIndirectBrInst()
594     Check(  in visitExtractElementInst()
603     Check(CI->getValue().ult(  in visitInsertElementInst()
610   Check(&I == &I.getParent()->front() ||  in visitUnreachableInst()