Lines Matching refs:AK
1510 static bool isRead(AccessKinds AK) { in isRead() argument
1511 return AK == AK_Read || AK == AK_ReadObjectRepresentation; in isRead()
1514 static bool isModification(AccessKinds AK) { in isModification() argument
1515 switch (AK) { in isModification()
1532 static bool isAnyAccess(AccessKinds AK) { in isAnyAccess() argument
1533 return isRead(AK) || isModification(AK); in isAnyAccess()
1537 static bool isFormalAccess(AccessKinds AK) { in isFormalAccess() argument
1538 return isAnyAccess(AK) && AK != AK_Construct && AK != AK_Destroy; in isFormalAccess()
1542 static bool isValidIndeterminateAccess(AccessKinds AK) { in isValidIndeterminateAccess() argument
1543 switch (AK) { in isValidIndeterminateAccess()
1702 AccessKinds AK) { in checkNullPointerForFoldAccess()
1703 return checkNullPointerDiagnosingWith([&Info, E, AK] { in checkNullPointerForFoldAccess()
1704 Info.FFDiag(E, diag::note_constexpr_access_null) << AK; in checkNullPointerForFoldAccess()
3567 static bool diagnoseMutableFields(EvalInfo &Info, const Expr *E, AccessKinds AK, in diagnoseMutableFields() argument
3583 Info.FFDiag(E, diag::note_constexpr_access_mutable, 1) << AK << Field; in diagnoseMutableFields()
3588 if (diagnoseMutableFields(Info, E, AK, Field->getType())) in diagnoseMutableFields()
3593 if (diagnoseMutableFields(Info, E, AK, BaseSpec.getType())) in diagnoseMutableFields()
3663 bool mayAccessMutableMembers(EvalInfo &Info, AccessKinds AK) const { in mayAccessMutableMembers()
3668 if (!isAnyAccess(AK)) in mayAccessMutableMembers()
3931 AccessKinds AK = AK_Read) { in extractSubobject() argument
3932 assert(AK == AK_Read || AK == AK_ReadObjectRepresentation); in extractSubobject()
3933 ExtractSubobjectHandler Handler = {Info, E, Result, AK}; in extractSubobject()
4054 AccessKinds AK, const LValue &LVal, in findCompleteObject() argument
4062 Info.FFDiag(E, diag::note_constexpr_access_null) << AK; in findCompleteObject()
4073 << AK << LVal.Base.is<const ValueDecl*>(); in findCompleteObject()
4079 bool IsAccess = isAnyAccess(AK); in findCompleteObject()
4085 if (isFormalAccess(AK) && LValType.isVolatileQualified()) { in findCompleteObject()
4088 << AK << LValType; in findCompleteObject()
4106 if (isModification(AK)) { in findCompleteObject()
4122 if (isModification(AK)) { in findCompleteObject()
4132 if (isModification(AK)) { in findCompleteObject()
4175 } else if (isModification(AK)) { in findCompleteObject()
4234 Info.FFDiag(E, diag::note_constexpr_access_deleted_object) << AK; in findCompleteObject()
4277 Info.FFDiag(E, diag::note_constexpr_access_static_temporary, 1) << AK; in findCompleteObject()
4290 << AK in findCompleteObject()
4315 (isModification(AK) && VisibleDepth < Info.SpeculativeEvaluationDepth)) in findCompleteObject()
4345 AccessKinds AK = in handleLValueToRValueConversion() local
4385 return extractSubobject(Info, Conv, LitObj, LVal.Designator, RVal, AK); in handleLValueToRValueConversion()
4400 Info.FFDiag(Conv, diag::note_constexpr_access_past_end) << AK; in handleLValueToRValueConversion()
4411 CompleteObject Obj = findCompleteObject(Info, Conv, AK, LVal, Type); in handleLValueToRValueConversion()
4412 return Obj && extractSubobject(Info, Conv, Obj, LVal.Designator, RVal, AK); in handleLValueToRValueConversion()
4720 AccessKinds AK = IsIncrement ? AK_Increment : AK_Decrement; in handleIncDec() local
4721 CompleteObject Obj = findCompleteObject(Info, E, AK, LVal, LValType); in handleIncDec()
4722 IncDecSubobjectHandler Handler = {Info, cast<UnaryOperator>(E), AK, Old}; in handleIncDec()
5752 AccessKinds AK, bool Polymorphic) { in checkDynamicType() argument
5756 CompleteObject Obj = findCompleteObject(Info, E, AK, This, QualType()); in checkDynamicType()
5770 << AK; in checkDynamicType()
5780 << AK << Val.getAsString(Info.Ctx, StarThisType); in checkDynamicType()
5786 CheckDynamicTypeHandler Handler{AK}; in checkDynamicType()
5821 AccessKinds AK) { in ComputeDynamicType() argument
5825 if (!checkDynamicType(Info, E, This, AK, true)) in ComputeDynamicType()
10023 AccessKinds AK = AK_Construct; in VisitCXXNewExpr() local
10052 } Handler = {Info, E, AllocType, AK, nullptr}; in VisitCXXNewExpr()
10054 CompleteObject Obj = findCompleteObject(Info, E, AK, Result, AllocType); in VisitCXXNewExpr()