Home | History | Annotate | Download | only in AST

Lines Matching refs:AK

1452 static bool isRead(AccessKinds AK) {
1453 return AK == AK_Read || AK == AK_ReadObjectRepresentation;
1456 static bool isModification(AccessKinds AK) {
1457 switch (AK) {
1474 static bool isAnyAccess(AccessKinds AK) {
1475 return isRead(AK) || isModification(AK);
1479 static bool isFormalAccess(AccessKinds AK) {
1480 return isAnyAccess(AK) && AK != AK_Construct && AK != AK_Destroy;
1484 static bool isValidIndeterminateAccess(AccessKinds AK) {
1485 switch (AK) {
1644 AccessKinds AK) {
1645 return checkNullPointerDiagnosingWith([&Info, E, AK] {
1646 Info.FFDiag(E, diag::note_constexpr_access_null) << AK;
3469 static bool diagnoseMutableFields(EvalInfo &Info, const Expr *E, AccessKinds AK,
3485 Info.FFDiag(E, diag::note_constexpr_access_mutable, 1) << AK << Field;
3490 if (diagnoseMutableFields(Info, E, AK, Field->getType()))
3495 if (diagnoseMutableFields(Info, E, AK, BaseSpec.getType()))
3557 bool mayAccessMutableMembers(EvalInfo &Info, AccessKinds AK) const {
3562 if (!isAnyAccess(AK))
3821 AccessKinds AK = AK_Read) {
3822 assert(AK == AK_Read || AK == AK_ReadObjectRepresentation);
3823 ExtractSubobjectHandler Handler = {Info, E, Result, AK};
3944 AccessKinds AK, const LValue &LVal,
3952 Info.FFDiag(E, diag::note_constexpr_access_null) << AK;
3963 << AK << LVal.Base.is<const ValueDecl*>();
3969 bool IsAccess = isAnyAccess(AK);
3975 if (isFormalAccess(AK) && LValType.isVolatileQualified()) {
3978 << AK << LValType;
3996 if (isModification(AK)) {
4012 if (isModification(AK)) {
4051 } else if (isModification(AK)) {
4107 Info.FFDiag(E, diag::note_constexpr_access_deleted_object) << AK;
4150 Info.FFDiag(E, diag::note_constexpr_access_static_temporary, 1) << AK;
4163 << AK
4188 (isModification(AK) && VisibleDepth < Info.SpeculativeEvaluationDepth))
4218 AccessKinds AK =
4234 return extractSubobject(Info, Conv, LitObj, LVal.Designator, RVal, AK);
4249 Info.FFDiag(Conv, diag::note_constexpr_access_past_end) << AK;
4260 CompleteObject Obj = findCompleteObject(Info, Conv, AK, LVal, Type);
4261 return Obj && extractSubobject(Info, Conv, Obj, LVal.Designator, RVal, AK);
4562 AccessKinds AK = IsIncrement ? AK_Increment : AK_Decrement;
4563 CompleteObject Obj = findCompleteObject(Info, E, AK, LVal, LValType);
4564 IncDecSubobjectHandler Handler = {Info, cast<UnaryOperator>(E), AK, Old};
5515 AccessKinds AK, bool Polymorphic) {
5519 CompleteObject Obj = findCompleteObject(Info, E, AK, This, QualType());
5533 << AK;
5543 << AK << Val.getAsString(Info.Ctx, StarThisType);
5549 CheckDynamicTypeHandler Handler{AK};
5582 LValue &This, AccessKinds AK) {
5586 if (!checkDynamicType(Info, E, This, AK, true))
9458 AccessKinds AK = AK_Construct;
9487 } Handler = {Info, E, AllocType, AK, nullptr};
9489 CompleteObject Obj = findCompleteObject(Info, E, AK, Result, AllocType);