47   assert(Ty && "Value defined with a null type: Error!");  in checkType()
48   assert(!isa<TypedPointerType>(Ty->getScalarType()) &&  in checkType()
66     assert((VTy->isFirstClassType() || VTy->isVoidTy() || VTy->isStructTy()) &&  in Value()
70     assert((VTy->isFirstClassType() || VTy->isVoidTy()) &&  in Value()
103   assert(materialized_use_empty() && "Uses remain when a value is destroyed!");  in ~Value()
210   assert(Usr.isDroppable() && "Expected a droppable user!");  in dropDroppableUsesIn()
275     assert(isa<Constant>(V) && "Unknown value type!");  in getSymTab()
286   assert(I != Ctx.pImpl->ValueNames.end() &&  in getValueName()
295   assert(HasName == Ctx.pImpl->ValueNames.count(this) &&  in setValueName()
333   assert(!NameRef.contains(0) && "Null bytes are not allowed in names");  in setNameImpl()
339   assert(!getType()->isVoidTy() && "Cannot assign a name to void values!");  in setNameImpl()
353       assert(NeedNewName);  in setNameImpl()
373   assert(NeedNewName);  in setNameImpl()
384   assert(V != this && "Illegal call to this->takeName(this)!");  in takeName()
419   assert(!Failure && "V has a name, so it should have a ST!"); (void)Failure;  in takeName()
464   assert(M->isMaterialized());  in assertModuleIsMaterializedImpl()
504   assert(New && "Value::replaceAllUsesWith(<null>) is invalid!");  in doRAUW()
505   assert(!contains(New, this) &&  in doRAUW()
507   assert(New->getType() == getType() &&  in doRAUW()
544   assert(New && "Value::replaceUsesWithIf(<null>) is invalid!");  in replaceUsesWithIf()
545   assert(New->getType() == getType() &&  in replaceUsesWithIf()
593   assert(New && "Value::replaceUsesOutsideBlock(<null>, BB) is invalid!");  in replaceUsesOutsideBlock()
594   assert(!contains(New, this) &&  in replaceUsesOutsideBlock()
596   assert(New->getType() == getType() &&  in replaceUsesOutsideBlock()
598   assert(BB && "Basic block that may contain a use of 'New' must be defined\n");  in replaceUsesOutsideBlock()
686     assert(V->getType()->isPointerTy() && "Unexpected operand type!");  in stripPointerCastsAndOffsets()
721   assert(BitWidth == DL.getIndexTypeSizeInBits(getType()) &&  in stripAndAccumulateConstantOffsets()
778     assert(V->getType()->isPtrOrPtrVectorTy() && "Unexpected operand type!");  in stripAndAccumulateConstantOffsets()
790   assert(getType()->isPointerTy());  in canBeFreed()
854   assert(getType()->isPointerTy() && "must be pointer");  in getPointerDereferenceableBytes()
927   assert(getType()->isPointerTy() && "must be pointer");  in getPointerAlignment()
1110   assert(List && "Handle list is null?");  in AddToExistingUseList()
1118     assert(getValPtr() == Next->getValPtr() && "Added to wrong list?");  in AddToExistingUseList()
1123   assert(List && "Must insert after existing node");  in AddToExistingUseListAfter()
1133   assert(getValPtr() && "Null pointer doesn't have a use list!");  in AddToUseList()
1141     assert(Entry && "Value doesn't have any handles?");  in AddToUseList()
1155   assert(!Entry && "Value really did already have handles?");  in AddToUseList()
1169     assert(I->second && I->first == I->second->getValPtr() &&  in AddToUseList()
1176   assert(getValPtr() && getValPtr()->HasValueHandle &&  in RemoveFromUseList()
1181   assert(*PrevPtr == this && "List invariant broken");  in RemoveFromUseList()
1185     assert(Next->getPrevPtr() == &Next && "List invariant broken");  in RemoveFromUseList()
1202   assert(V->HasValueHandle && "Should only be called if ValueHandles present");  in ValueIsDeleted()
1208   assert(Entry && "Value bit set but no entries exist");  in ValueIsDeleted()
1222     assert(Entry->Next == &Iterator && "Loop invariant broken.");  in ValueIsDeleted()
1255   assert(Old->HasValueHandle &&"Should only be called if ValueHandles present");  in ValueIsRAUWd()
1256   assert(Old != New && "Changing value into itself!");  in ValueIsRAUWd()
1257   assert(Old->getType() == New->getType() &&  in ValueIsRAUWd()
1265   assert(Entry && "Value bit set but no entries exist");  in ValueIsRAUWd()
1274     assert(Entry->Next == &Iterator && "Loop invariant broken.");  in ValueIsRAUWd()