Lines Matching refs:assert

104         assert(ME->getBase()->getType()->isRecordType());  in skipRValueSubobjectAdjustments()
115 assert(BO->getRHS()->isPRValue()); in skipRValueSubobjectAdjustments()
247 assert((Kind == ConstantExpr::RSK_APValue || in AssertResultStorageKind()
292 assert(!isa<ConstantExpr>(E)); in Create()
330 assert((unsigned)getStorageKind(Value) <= ConstantExprBits.ResultKind && in MoveIntoResult()
425 assert(!(Deps & TemplateArgumentDependence::Dependent) && in DeclRefExpr()
481 assert(NumTemplateArgs == 0 || HasTemplateKWAndArgsInfo); in CreateEmpty()
577 assert((getIdentKind() == IK) && in PredefinedExpr()
740 assert(FT && "We must have a written prototype in this case."); in ComputeName()
770 assert(Params->size() == Args.size()); in ComputeName()
788 assert(Params->size() == Args->size()); in ComputeName()
884 assert(type->isIntegerType() && "Illegal type in IntegerLiteral"); in IntegerLiteral()
885 assert(V.getBitWidth() == C.getIntWidth(type) && in IntegerLiteral()
907 assert(type->isFixedPointType() && "Illegal type in FixedPointLiteral"); in FixedPointLiteral()
908 assert(V.getBitWidth() == C.getTypeInfo(type).Width && in FixedPointLiteral()
1062 assert((CharByteWidth & 7) == 0 && "Assumes character size is byte multiple"); in mapCharByteWidth()
1064 assert((CharByteWidth == 1 || CharByteWidth == 2 || CharByteWidth == 4) && in mapCharByteWidth()
1074 assert(Ctx.getAsConstantArrayType(Ty) && in StringLiteral()
1078 assert((ByteLength % CharByteWidth == 0) && in StringLiteral()
1216 assert(Char <= 0xff && in outputString()
1263 assert((getKind() == StringLiteral::Ascii || in getLocationOfByte()
1278 assert(TokNo < getNumConcatenated() && "Invalid byte number!"); in getLocationOfByte()
1386 assert((NumPreArgs == getNumPreArgs()) && "NumPreArgs overflow!"); in CallExpr()
1390 assert((CallExprBits.OffsetToTrailingObjects == OffsetToTrailingObjects) && in CallExpr()
1414 assert((NumPreArgs == getNumPreArgs()) && "NumPreArgs overflow!"); in CallExpr()
1418 assert((CallExprBits.OffsetToTrailingObjects == OffsetToTrailingObjects) && in CallExpr()
1440 assert(!(reinterpret_cast<uintptr_t>(Mem) % alignof(CallExpr)) && in CreateTemporary()
1538 assert(!CalleeType.isNull()); in getCallReturnType()
1616 assert(getKind() == Field || getKind() == Identifier); in getFieldName()
1628 assert(ExprKind <= UETT_Last && "invalid enum value!"); in UnaryExprOrTypeTraitExpr()
1630 assert(static_cast<unsigned>(ExprKind) == UnaryExprOrTypeTraitExprBits.Kind && in UnaryExprOrTypeTraitExpr()
1644 assert(!NameInfo.getName() || in MemberExpr()
1715 assert((!NumTemplateArgs || HasTemplateKWAndArgsInfo) && in CreateEmpty()
1764 assert(!path_empty() && "Cast kind should have a base path!"); in CastConsistency()
1768 assert(getType()->isObjCObjectPointerType()); in CastConsistency()
1769 assert(getSubExpr()->getType()->isPointerType()); in CastConsistency()
1773 assert(getType()->isObjCObjectPointerType()); in CastConsistency()
1774 assert(getSubExpr()->getType()->isBlockPointerType()); in CastConsistency()
1778 assert(getType()->isMemberPointerType()); in CastConsistency()
1779 assert(getSubExpr()->getType()->isMemberPointerType()); in CastConsistency()
1787 assert(getType()->isObjCObjectPointerType() == in CastConsistency()
1789 assert(getType()->isBlockPointerType() == in CastConsistency()
1795 assert(getType()->isBlockPointerType()); in CastConsistency()
1796 assert(getSubExpr()->getType()->isAnyPointerType() && in CastConsistency()
1801 assert(getType()->isBlockPointerType()); in CastConsistency()
1802 assert(getSubExpr()->getType()->isBlockPointerType()); in CastConsistency()
1806 assert(getType()->isPointerType()); in CastConsistency()
1807 assert(getSubExpr()->getType()->isFunctionType()); in CastConsistency()
1813 assert(getValueKindForType(Ty) == Expr::getValueKindForType(SETy)); in CastConsistency()
1818 assert((Ty->isDependentType() || SETy->isDependentType()) || in CastConsistency()
1860 assert(!getType()->isBooleanType() && "unheralded conversion to bool"); in CastConsistency()
1880 assert(path_empty() && "Cast kind should not have a base path!"); in CastConsistency()
1921 assert((isa<CXXMemberCallExpr>(SubExpr) || in getSubExprAsWritten()
1987 assert(hasStoredFPFeatures()); in getTrailingFPFeatures()
2017 assert((Kind != CK_LValueToRValue || in Create()
2292 assert(!hasArrayFiller() && "Filler already set!"); in setArrayFiller()
2316 assert(isSemanticForm() && "syntactic form never semantically transparent"); in isTransparent()
2320 assert(getNumInits() == 1 && "multiple inits in glvalue init list"); in isTransparent()
2339 assert(isSyntacticForm() && "only test syntactic form as zero initializer"); in isIdiomaticZeroInitializer()
2885 assert(expr->hasPlaceholderType(BuiltinType::BoundMember)); in findBoundMemberType()
2893 assert(isa<CXXMethodDecl>(mem->getMemberDecl())); in findBoundMemberType()
2900 assert(type->isFunctionType()); in findBoundMemberType()
2904 assert(isa<UnresolvedMemberExpr>(expr) || isa<CXXPseudoDestructorExpr>(expr)); in findBoundMemberType()
3158 assert(!isValueDependent() && in isConstantInitializer()
3197 assert(CE->getNumArgs() == 1 && "trivial ctor with > 1 argument"); in isConstantInitializer()
3223 assert(ILE->isSemanticForm() && "InitListExpr must be in semantic form"); in isConstantInitializer()
3880 assert((E->isLValue() && E->getObjectKind() == OK_ObjCProperty) && in getObjCProperty()
4200 assert(AssocTypes.size() == AssocExprs.size() && in GenericSelectionExpr()
4203 assert(ResultIndex < NumAssocs && "ResultIndex is out-of-bounds!"); in GenericSelectionExpr()
4224 assert(AssocTypes.size() == AssocExprs.size() && in GenericSelectionExpr()
4283 assert(Kind == FieldDesignator && "Only valid on a field designator"); in getFieldName()
4319 assert(IndexIdx == IndexExprs.size() && "Wrong number of index expressions"); in DesignatedInitExpr()
4376 assert(D.Kind == Designator::ArrayDesignator && "Requires array designator"); in getArrayIndex()
4381 assert(D.Kind == Designator::ArrayRangeDesignator && in getArrayRangeStart()
4387 assert(D.Kind == Designator::ArrayRangeDesignator && in getArrayRangeEnd()
4482 assert(!isCompoundAssignmentOp() && in BinaryOperator()
4499 assert(isCompoundAssignmentOp() && in BinaryOperator()
4615 assert(syntax && "no syntactic expression!"); in Create()
4616 assert(semantics.size() && "no semantic expressions!"); in Create()
4624 assert(resultIndex < semantics.size()); in Create()
4627 assert(semantics[resultIndex]->getObjectKind() == OK_Ordinary); in Create()
4648 assert(cast<OpaqueValueExpr>(E)->getSourceExpr() != nullptr && in PseudoObjectExpr()
4684 assert(args.size() == getNumSubExprs(op) && "wrong number of subexpressions"); in AtomicExpr()
4783 assert (OriginalTy->isArrayType()); in getBaseOriginalType()
4796 assert(!T.isNull()); in RecoveryExpr()
4797 assert(llvm::all_of(SubExprs, [](Expr* E) { return E != nullptr; })); in RecoveryExpr()
4819 assert( in setDimensions()
4826 assert( in setBracketsRanges()
4847 assert(Dims.size() == BracketRanges.size() && in Create()
4866 assert(I < NumIterators && in setIteratorDeclaration()
4872 assert(I < NumIterators && in setAssignmentLoc()
4883 assert(I < NumIterators && in setIteratorRange()
4977 assert(Data.size() == Helpers.size() && in Create()