lib/AST/ExprConstant.cpp

1389 static bool isRead(AccessKinds AK) {
1390   return AK == AK_Read || AK == AK_ReadObjectRepresentation;
1393 static bool isModification(AccessKinds AK) {
1394   switch (AK) {
1411 static bool isAnyAccess(AccessKinds AK) {
1412   return isRead(AK) || isModification(AK);
1416 static bool isFormalAccess(AccessKinds AK) {
1417   return isAnyAccess(AK) && AK != AK_Construct && AK != AK_Destroy;
1556                                        AccessKinds AK) {
1557       return checkNullPointerDiagnosingWith([&Info, E, AK] {
1558         Info.FFDiag(E, diag::note_constexpr_access_null) << AK;
3029 static bool diagnoseMutableFields(EvalInfo &Info, const Expr *E, AccessKinds AK,
3045       Info.FFDiag(E, diag::note_constexpr_access_mutable, 1) << AK << Field;
3050     if (diagnoseMutableFields(Info, E, AK, Field->getType()))
3055     if (diagnoseMutableFields(Info, E, AK, BaseSpec.getType()))
3126   bool mayAccessMutableMembers(EvalInfo &Info, AccessKinds AK) const {
3384                              AccessKinds AK = AK_Read) {
3385   assert(AK == AK_Read || AK == AK_ReadObjectRepresentation);
3386   ExtractSubobjectHandler Handler = {Info, E, Result, AK};
3507                                          AccessKinds AK, const LValue &LVal,
3515     Info.FFDiag(E, diag::note_constexpr_access_null) << AK;
3526         << AK << LVal.Base.is<const ValueDecl*>();
3532   bool IsAccess = isAnyAccess(AK);
3538   if (isFormalAccess(AK) && LValType.isVolatileQualified()) {
3541         << AK << LValType;
3577       } else if (isModification(AK)) {
3635       Info.FFDiag(E, diag::note_constexpr_access_deleted_object) << AK;
3673           Info.FFDiag(E, diag::note_constexpr_access_static_temporary, 1) << AK;
3686             << AK
3705       (isModification(AK) && Depth < Info.SpeculativeEvaluationDepth))
3735   AccessKinds AK =
3751       return extractSubobject(Info, Conv, LitObj, LVal.Designator, RVal, AK);
3766           Info.FFDiag(Conv, diag::note_constexpr_access_past_end) << AK;
3777   CompleteObject Obj = findCompleteObject(Info, Conv, AK, LVal, Type);
3778   return Obj && extractSubobject(Info, Conv, Obj, LVal.Designator, RVal, AK);
4061   AccessKinds AK = IsIncrement ? AK_Increment : AK_Decrement;
4062   CompleteObject Obj = findCompleteObject(Info, E, AK, LVal, LValType);
4063   IncDecSubobjectHandler Handler = {Info, cast<UnaryOperator>(E), AK, Old};
4959                              AccessKinds AK, bool Polymorphic) {
4963   CompleteObject Obj = findCompleteObject(Info, E, AK, This, QualType());
4977           << AK;
4987           << AK << Val.getAsString(Info.Ctx, StarThisType);
4993   CheckDynamicTypeHandler Handler{AK};
5026                                                 LValue &This, AccessKinds AK) {
5030   if (!checkDynamicType(Info, E, This, AK, true))
8729     AccessKinds AK = AK_Construct;
8758     } Handler = {Info, E, AllocType, AK, nullptr};
8760     CompleteObject Obj = findCompleteObject(Info, E, AK, Result, AllocType);