Lines Matching refs:S
43 bool ReturnValue(const InterpState &S, const T &V, APValue &R) { in ReturnValue() argument
44 R = V.toAPValue(S.getCtx()); in ReturnValue()
49 bool CheckExtern(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
52 bool CheckArray(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
55 bool CheckLive(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
59 bool CheckDummy(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
63 bool CheckNull(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
67 bool CheckRange(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
71 bool CheckRange(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
75 bool CheckSubobject(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
80 bool CheckDowncast(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
84 bool CheckConst(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
87 bool CheckConstant(InterpState &S, CodePtr OpPC, const Descriptor *Desc);
90 bool CheckMutable(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
93 bool CheckLoad(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
96 bool CheckInitialized(InterpState &S, CodePtr OpPC, const Pointer &Ptr,
99 bool CheckGlobalInitialized(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
102 bool CheckStore(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
105 bool CheckInvoke(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
108 bool CheckInit(InterpState &S, CodePtr OpPC, const Pointer &Ptr);
111 bool CheckCallable(InterpState &S, CodePtr OpPC, const Function *F);
115 bool CheckCallDepth(InterpState &S, CodePtr OpPC);
118 bool CheckThis(InterpState &S, CodePtr OpPC, const Pointer &This);
121 bool CheckPure(InterpState &S, CodePtr OpPC, const CXXMethodDecl *MD);
124 bool CheckNonNullArgs(InterpState &S, CodePtr OpPC, const Function *F,
129 bool CheckDynamicMemoryAllocation(InterpState &S, CodePtr OpPC);
132 bool CheckNewDeleteForms(InterpState &S, CodePtr OpPC, bool NewWasArray,
138 bool CheckDeleteSource(InterpState &S, CodePtr OpPC, const Expr *Source,
143 bool SetThreeWayComparisonField(InterpState &S, CodePtr OpPC,
147 bool DoMemcpy(InterpState &S, CodePtr OpPC, const Pointer &Src, Pointer &Dest);
151 bool CheckShift(InterpState &S, CodePtr OpPC, const LT &LHS, const RT &RHS, in CheckShift() argument
154 const SourceInfo &Loc = S.Current->getSource(OpPC); in CheckShift()
155 S.CCEDiag(Loc, diag::note_constexpr_negative_shift) << RHS.toAPSInt(); in CheckShift()
156 if (!S.noteUndefinedBehavior()) in CheckShift()
163 const Expr *E = S.Current->getExpr(OpPC); in CheckShift()
166 S.CCEDiag(E, diag::note_constexpr_large_shift) << Val << Ty << Bits; in CheckShift()
167 if (!S.noteUndefinedBehavior()) in CheckShift()
171 if (LHS.isSigned() && !S.getLangOpts().CPlusPlus20) { in CheckShift()
172 const Expr *E = S.Current->getExpr(OpPC); in CheckShift()
176 S.CCEDiag(E, diag::note_constexpr_lshift_of_negative) << LHS.toAPSInt(); in CheckShift()
177 if (!S.noteUndefinedBehavior()) in CheckShift()
181 S.CCEDiag(E, diag::note_constexpr_lshift_discards); in CheckShift()
182 if (!S.noteUndefinedBehavior()) in CheckShift()
195 bool CheckDivRem(InterpState &S, CodePtr OpPC, const T &LHS, const T &RHS) { in CheckDivRem() argument
197 const auto *Op = cast<BinaryOperator>(S.Current->getExpr(OpPC)); in CheckDivRem()
199 S.CCEDiag(Op, diag::note_expr_divide_by_zero) in CheckDivRem()
204 S.FFDiag(Op, diag::note_expr_divide_by_zero) in CheckDivRem()
213 const SourceInfo &Loc = S.Current->getSource(OpPC); in CheckDivRem()
214 const Expr *E = S.Current->getExpr(OpPC); in CheckDivRem()
215 S.CCEDiag(Loc, diag::note_constexpr_overflow) << Trunc << E->getType(); in CheckDivRem()
222 bool CheckArraySize(InterpState &S, CodePtr OpPC, SizeT *NumElements, in CheckArraySize() argument
233 ConstantArrayType::getMaxSizeBits(S.getCtx()) || in CheckArraySize()
236 const SourceInfo &Loc = S.Current->getSource(OpPC); in CheckArraySize()
237 S.FFDiag(Loc, diag::note_constexpr_new_too_large) in CheckArraySize()
238 << NumElements->toDiagnosticString(S.getCtx()); in CheckArraySize()
247 bool CheckFloatResult(InterpState &S, CodePtr OpPC, const Floating &Result,
251 bool CheckDeclRef(InterpState &S, CodePtr OpPC, const DeclRefExpr *DR);
254 bool Interpret(InterpState &S, APValue &Result);
257 bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F,
261 bool InterpretOffsetOf(InterpState &S, CodePtr OpPC, const OffsetOfExpr *E,
264 inline bool Invalid(InterpState &S, CodePtr OpPC);
272 void cleanupAfterFunctionCall(InterpState &S, CodePtr OpPC);
275 bool Ret(InterpState &S, CodePtr &PC, APValue &Result) { in Ret() argument
276 const T &Ret = S.Stk.pop<T>(); in Ret()
290 assert(S.Current); in Ret()
291 assert(S.Current->getFrameOffset() == S.Stk.size() && "Invalid frame"); in Ret()
292 if (!S.checkingPotentialConstantExpression() || S.Current->Caller) in Ret()
293 cleanupAfterFunctionCall(S, PC); in Ret()
295 if (InterpFrame *Caller = S.Current->Caller) { in Ret()
296 PC = S.Current->getRetPC(); in Ret()
297 delete S.Current; in Ret()
298 S.Current = Caller; in Ret()
299 S.Stk.push<T>(Ret); in Ret()
301 delete S.Current; in Ret()
302 S.Current = nullptr; in Ret()
303 if (!ReturnValue<T>(S, Ret, Result)) in Ret()
309 inline bool RetVoid(InterpState &S, CodePtr &PC, APValue &Result) { in RetVoid() argument
310 assert(S.Current->getFrameOffset() == S.Stk.size() && "Invalid frame"); in RetVoid()
312 if (!S.checkingPotentialConstantExpression() || S.Current->Caller) in RetVoid()
313 cleanupAfterFunctionCall(S, PC); in RetVoid()
315 if (InterpFrame *Caller = S.Current->Caller) { in RetVoid()
316 PC = S.Current->getRetPC(); in RetVoid()
317 delete S.Current; in RetVoid()
318 S.Current = Caller; in RetVoid()
320 delete S.Current; in RetVoid()
321 S.Current = nullptr; in RetVoid()
332 bool AddSubMulHelper(InterpState &S, CodePtr OpPC, unsigned Bits, const T &LHS, in AddSubMulHelper() argument
337 S.Stk.push<T>(Result); in AddSubMulHelper()
342 S.Stk.push<T>(Result); in AddSubMulHelper()
348 const Expr *E = S.Current->getExpr(OpPC); in AddSubMulHelper()
350 if (S.checkingForUndefinedBehavior()) { in AddSubMulHelper()
356 S.report(Loc, diag::warn_integer_constant_overflow) in AddSubMulHelper()
360 S.CCEDiag(E, diag::note_constexpr_overflow) << Value << Type; in AddSubMulHelper()
362 if (!S.noteUndefinedBehavior()) { in AddSubMulHelper()
363 S.Stk.pop<T>(); in AddSubMulHelper()
371 bool Add(InterpState &S, CodePtr OpPC) { in Add() argument
372 const T &RHS = S.Stk.pop<T>(); in Add()
373 const T &LHS = S.Stk.pop<T>(); in Add()
375 return AddSubMulHelper<T, T::add, std::plus>(S, OpPC, Bits, LHS, RHS); in Add()
378 inline bool Addf(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in Addf() argument
379 const Floating &RHS = S.Stk.pop<Floating>(); in Addf()
380 const Floating &LHS = S.Stk.pop<Floating>(); in Addf()
384 S.Stk.push<Floating>(Result); in Addf()
385 return CheckFloatResult(S, OpPC, Result, Status); in Addf()
389 bool Sub(InterpState &S, CodePtr OpPC) { in Sub() argument
390 const T &RHS = S.Stk.pop<T>(); in Sub()
391 const T &LHS = S.Stk.pop<T>(); in Sub()
393 return AddSubMulHelper<T, T::sub, std::minus>(S, OpPC, Bits, LHS, RHS); in Sub()
396 inline bool Subf(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in Subf() argument
397 const Floating &RHS = S.Stk.pop<Floating>(); in Subf()
398 const Floating &LHS = S.Stk.pop<Floating>(); in Subf()
402 S.Stk.push<Floating>(Result); in Subf()
403 return CheckFloatResult(S, OpPC, Result, Status); in Subf()
407 bool Mul(InterpState &S, CodePtr OpPC) { in Mul() argument
408 const T &RHS = S.Stk.pop<T>(); in Mul()
409 const T &LHS = S.Stk.pop<T>(); in Mul()
411 return AddSubMulHelper<T, T::mul, std::multiplies>(S, OpPC, Bits, LHS, RHS); in Mul()
414 inline bool Mulf(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in Mulf() argument
415 const Floating &RHS = S.Stk.pop<Floating>(); in Mulf()
416 const Floating &LHS = S.Stk.pop<Floating>(); in Mulf()
420 S.Stk.push<Floating>(Result); in Mulf()
421 return CheckFloatResult(S, OpPC, Result, Status); in Mulf()
425 inline bool Mulc(InterpState &S, CodePtr OpPC) { in Mulc() argument
426 const Pointer &RHS = S.Stk.pop<Pointer>(); in Mulc()
427 const Pointer &LHS = S.Stk.pop<Pointer>(); in Mulc()
428 const Pointer &Result = S.Stk.peek<Pointer>(); in Mulc()
480 inline bool Divc(InterpState &S, CodePtr OpPC) { in Divc() argument
481 const Pointer &RHS = S.Stk.pop<Pointer>(); in Divc()
482 const Pointer &LHS = S.Stk.pop<Pointer>(); in Divc()
483 const Pointer &Result = S.Stk.peek<Pointer>(); in Divc()
512 const SourceInfo &E = S.Current->getSource(OpPC); in Divc()
513 S.FFDiag(E, diag::note_expr_divide_by_zero); in Divc()
555 bool BitAnd(InterpState &S, CodePtr OpPC) { in BitAnd() argument
556 const T &RHS = S.Stk.pop<T>(); in BitAnd()
557 const T &LHS = S.Stk.pop<T>(); in BitAnd()
562 S.Stk.push<T>(Result); in BitAnd()
572 bool BitOr(InterpState &S, CodePtr OpPC) { in BitOr() argument
573 const T &RHS = S.Stk.pop<T>(); in BitOr()
574 const T &LHS = S.Stk.pop<T>(); in BitOr()
579 S.Stk.push<T>(Result); in BitOr()
589 bool BitXor(InterpState &S, CodePtr OpPC) { in BitXor() argument
590 const T &RHS = S.Stk.pop<T>(); in BitXor()
591 const T &LHS = S.Stk.pop<T>(); in BitXor()
596 S.Stk.push<T>(Result); in BitXor()
606 bool Rem(InterpState &S, CodePtr OpPC) { in Rem() argument
607 const T &RHS = S.Stk.pop<T>(); in Rem()
608 const T &LHS = S.Stk.pop<T>(); in Rem()
610 if (!CheckDivRem(S, OpPC, LHS, RHS)) in Rem()
616 S.Stk.push<T>(Result); in Rem()
626 bool Div(InterpState &S, CodePtr OpPC) { in Div() argument
627 const T &RHS = S.Stk.pop<T>(); in Div()
628 const T &LHS = S.Stk.pop<T>(); in Div()
630 if (!CheckDivRem(S, OpPC, LHS, RHS)) in Div()
636 S.Stk.push<T>(Result); in Div()
642 inline bool Divf(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in Divf() argument
643 const Floating &RHS = S.Stk.pop<Floating>(); in Divf()
644 const Floating &LHS = S.Stk.pop<Floating>(); in Divf()
646 if (!CheckDivRem(S, OpPC, LHS, RHS)) in Divf()
651 S.Stk.push<Floating>(Result); in Divf()
652 return CheckFloatResult(S, OpPC, Result, Status); in Divf()
660 bool Inv(InterpState &S, CodePtr OpPC) { in Inv() argument
662 const T &Val = S.Stk.pop<T>(); in Inv()
667 S.Stk.push<BoolT>(R); in Inv()
676 bool Neg(InterpState &S, CodePtr OpPC) { in Neg() argument
677 const T &Value = S.Stk.pop<T>(); in Neg()
681 S.Stk.push<T>(Result); in Neg()
687 S.Stk.push<T>(Result); in Neg()
690 const Expr *E = S.Current->getExpr(OpPC); in Neg()
693 if (S.checkingForUndefinedBehavior()) { in Neg()
699 S.report(Loc, diag::warn_integer_constant_overflow) in Neg()
704 S.CCEDiag(E, diag::note_constexpr_overflow) << NegatedValue << Type; in Neg()
705 return S.noteUndefinedBehavior(); in Neg()
718 bool IncDecHelper(InterpState &S, CodePtr OpPC, const Pointer &Ptr) { in IncDecHelper() argument
722 if (!S.getLangOpts().CPlusPlus14) in IncDecHelper()
723 return Invalid(S, OpPC); in IncDecHelper()
730 S.Stk.push<T>(Value); in IncDecHelper()
754 const Expr *E = S.Current->getExpr(OpPC); in IncDecHelper()
756 if (S.checkingForUndefinedBehavior()) { in IncDecHelper()
762 S.report(Loc, diag::warn_integer_constant_overflow) in IncDecHelper()
767 S.CCEDiag(E, diag::note_constexpr_overflow) << APResult << Type; in IncDecHelper()
768 return S.noteUndefinedBehavior(); in IncDecHelper()
776 bool Inc(InterpState &S, CodePtr OpPC) { in Inc() argument
777 const Pointer &Ptr = S.Stk.pop<Pointer>(); in Inc()
778 if (!CheckLoad(S, OpPC, Ptr, AK_Increment)) in Inc()
781 return IncDecHelper<T, IncDecOp::Inc, PushVal::Yes>(S, OpPC, Ptr); in Inc()
788 bool IncPop(InterpState &S, CodePtr OpPC) { in IncPop() argument
789 const Pointer &Ptr = S.Stk.pop<Pointer>(); in IncPop()
790 if (!CheckLoad(S, OpPC, Ptr, AK_Increment)) in IncPop()
793 return IncDecHelper<T, IncDecOp::Inc, PushVal::No>(S, OpPC, Ptr); in IncPop()
801 bool Dec(InterpState &S, CodePtr OpPC) { in Dec() argument
802 const Pointer &Ptr = S.Stk.pop<Pointer>(); in Dec()
803 if (!CheckLoad(S, OpPC, Ptr, AK_Decrement)) in Dec()
806 return IncDecHelper<T, IncDecOp::Dec, PushVal::Yes>(S, OpPC, Ptr); in Dec()
813 bool DecPop(InterpState &S, CodePtr OpPC) { in DecPop() argument
814 const Pointer &Ptr = S.Stk.pop<Pointer>(); in DecPop()
815 if (!CheckLoad(S, OpPC, Ptr, AK_Decrement)) in DecPop()
818 return IncDecHelper<T, IncDecOp::Dec, PushVal::No>(S, OpPC, Ptr); in DecPop()
822 bool IncDecFloatHelper(InterpState &S, CodePtr OpPC, const Pointer &Ptr, in IncDecFloatHelper() argument
828 S.Stk.push<Floating>(Value); in IncDecFloatHelper()
838 return CheckFloatResult(S, OpPC, Result, Status); in IncDecFloatHelper()
841 inline bool Incf(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in Incf() argument
842 const Pointer &Ptr = S.Stk.pop<Pointer>(); in Incf()
843 if (!CheckLoad(S, OpPC, Ptr, AK_Increment)) in Incf()
846 return IncDecFloatHelper<IncDecOp::Inc, PushVal::Yes>(S, OpPC, Ptr, RM); in Incf()
849 inline bool IncfPop(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in IncfPop() argument
850 const Pointer &Ptr = S.Stk.pop<Pointer>(); in IncfPop()
851 if (!CheckLoad(S, OpPC, Ptr, AK_Increment)) in IncfPop()
854 return IncDecFloatHelper<IncDecOp::Inc, PushVal::No>(S, OpPC, Ptr, RM); in IncfPop()
857 inline bool Decf(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in Decf() argument
858 const Pointer &Ptr = S.Stk.pop<Pointer>(); in Decf()
859 if (!CheckLoad(S, OpPC, Ptr, AK_Decrement)) in Decf()
862 return IncDecFloatHelper<IncDecOp::Dec, PushVal::Yes>(S, OpPC, Ptr, RM); in Decf()
865 inline bool DecfPop(InterpState &S, CodePtr OpPC, llvm::RoundingMode RM) { in DecfPop() argument
866 const Pointer &Ptr = S.Stk.pop<Pointer>(); in DecfPop()
867 if (!CheckLoad(S, OpPC, Ptr, AK_Decrement)) in DecfPop()
870 return IncDecFloatHelper<IncDecOp::Dec, PushVal::No>(S, OpPC, Ptr, RM); in DecfPop()
876 bool Comp(InterpState &S, CodePtr OpPC) { in Comp() argument
877 const T &Val = S.Stk.pop<T>(); in Comp()
880 S.Stk.push<T>(Result); in Comp()
894 bool CmpHelper(InterpState &S, CodePtr OpPC, CompareFn Fn) { in CmpHelper() argument
899 const T &RHS = S.Stk.pop<T>(); in CmpHelper()
900 const T &LHS = S.Stk.pop<T>(); in CmpHelper()
901 S.Stk.push<BoolT>(BoolT::from(Fn(LHS.compare(RHS)))); in CmpHelper()
906 bool CmpHelperEQ(InterpState &S, CodePtr OpPC, CompareFn Fn) { in CmpHelperEQ() argument
907 return CmpHelper<T>(S, OpPC, Fn); in CmpHelperEQ()
912 inline bool CmpHelper<FunctionPointer>(InterpState &S, CodePtr OpPC,
914 const auto &RHS = S.Stk.pop<FunctionPointer>();
915 const auto &LHS = S.Stk.pop<FunctionPointer>();
917 const SourceInfo &Loc = S.Current->getSource(OpPC);
918 S.FFDiag(Loc, diag::note_constexpr_pointer_comparison_unspecified)
919 << LHS.toDiagnosticString(S.getCtx())
920 << RHS.toDiagnosticString(S.getCtx());
925 inline bool CmpHelperEQ<FunctionPointer>(InterpState &S, CodePtr OpPC,
927 const auto &RHS = S.Stk.pop<FunctionPointer>();
928 const auto &LHS = S.Stk.pop<FunctionPointer>();
933 const SourceInfo &Loc = S.Current->getSource(OpPC);
934 S.FFDiag(Loc, diag::note_constexpr_pointer_weak_comparison)
935 << FP.toDiagnosticString(S.getCtx());
940 S.Stk.push<Boolean>(Boolean::from(Fn(LHS.compare(RHS))));
945 inline bool CmpHelper<Pointer>(InterpState &S, CodePtr OpPC, CompareFn Fn) {
947 const Pointer &RHS = S.Stk.pop<Pointer>();
948 const Pointer &LHS = S.Stk.pop<Pointer>();
951 const SourceInfo &Loc = S.Current->getSource(OpPC);
952 S.FFDiag(Loc, diag::note_constexpr_pointer_comparison_unspecified)
953 << LHS.toDiagnosticString(S.getCtx())
954 << RHS.toDiagnosticString(S.getCtx());
959 S.Stk.push<BoolT>(BoolT::from(Fn(Compare(VL, VR))));
965 inline bool CmpHelperEQ<Pointer>(InterpState &S, CodePtr OpPC, CompareFn Fn) {
967 const Pointer &RHS = S.Stk.pop<Pointer>();
968 const Pointer &LHS = S.Stk.pop<Pointer>();
971 S.Stk.push<BoolT>(BoolT::from(Fn(ComparisonCategoryResult::Equal)));
980 const SourceInfo &Loc = S.Current->getSource(OpPC);
981 S.FFDiag(Loc, diag::note_constexpr_pointer_weak_comparison)
982 << P.toDiagnosticString(S.getCtx());
990 const SourceInfo &Loc = S.Current->getSource(OpPC);
991 S.FFDiag(Loc, diag::note_constexpr_pointer_comparison_past_end)
992 << LHS.toDiagnosticString(S.getCtx());
996 const SourceInfo &Loc = S.Current->getSource(OpPC);
997 S.FFDiag(Loc, diag::note_constexpr_pointer_comparison_past_end)
998 << RHS.toDiagnosticString(S.getCtx());
1002 S.Stk.push<BoolT>(BoolT::from(Fn(ComparisonCategoryResult::Unordered)));
1017 S.Stk.push<BoolT>(BoolT::from(Fn(Compare(VL, VR))));
1023 inline bool CmpHelperEQ<MemberPointer>(InterpState &S, CodePtr OpPC,
1025 const auto &RHS = S.Stk.pop<MemberPointer>();
1026 const auto &LHS = S.Stk.pop<MemberPointer>();
1032 const SourceInfo &Loc = S.Current->getSource(OpPC);
1033 S.FFDiag(Loc, diag::note_constexpr_mem_pointer_weak_comparison) << MD;
1042 S.Stk.push<Boolean>(Fn(ComparisonCategoryResult::Equal));
1046 S.Stk.push<Boolean>(Fn(ComparisonCategoryResult::Unordered));
1054 const SourceInfo &Loc = S.Current->getSource(OpPC);
1055 S.CCEDiag(Loc, diag::note_constexpr_compare_virtual_mem_ptr) << MD;
1059 S.Stk.push<Boolean>(Boolean::from(Fn(LHS.compare(RHS))));
1064 bool EQ(InterpState &S, CodePtr OpPC) { in EQ() argument
1065 return CmpHelperEQ<T>(S, OpPC, [](ComparisonCategoryResult R) { in EQ()
1071 bool CMP3(InterpState &S, CodePtr OpPC, const ComparisonCategoryInfo *CmpInfo) { in CMP3() argument
1072 const T &RHS = S.Stk.pop<T>(); in CMP3()
1073 const T &LHS = S.Stk.pop<T>(); in CMP3()
1074 const Pointer &P = S.Stk.peek<Pointer>(); in CMP3()
1079 const SourceInfo &Loc = S.Current->getSource(OpPC); in CMP3()
1080 S.FFDiag(Loc, diag::note_constexpr_pointer_comparison_unspecified) in CMP3()
1081 << LHS.toDiagnosticString(S.getCtx()) in CMP3()
1082 << RHS.toDiagnosticString(S.getCtx()); in CMP3()
1091 return SetThreeWayComparisonField(S, OpPC, P, CmpValueInfo->getIntValue()); in CMP3()
1095 bool NE(InterpState &S, CodePtr OpPC) { in NE() argument
1096 return CmpHelperEQ<T>(S, OpPC, [](ComparisonCategoryResult R) { in NE()
1102 bool LT(InterpState &S, CodePtr OpPC) { in LT() argument
1103 return CmpHelper<T>(S, OpPC, [](ComparisonCategoryResult R) { in LT()
1109 bool LE(InterpState &S, CodePtr OpPC) { in LE() argument
1110 return CmpHelper<T>(S, OpPC, [](ComparisonCategoryResult R) { in LE()
1117 bool GT(InterpState &S, CodePtr OpPC) { in GT() argument
1118 return CmpHelper<T>(S, OpPC, [](ComparisonCategoryResult R) { in GT()
1124 bool GE(InterpState &S, CodePtr OpPC) { in GE() argument
1125 return CmpHelper<T>(S, OpPC, [](ComparisonCategoryResult R) { in GE()
1136 bool InRange(InterpState &S, CodePtr OpPC) { in InRange() argument
1137 const T RHS = S.Stk.pop<T>(); in InRange()
1138 const T LHS = S.Stk.pop<T>(); in InRange()
1139 const T Value = S.Stk.pop<T>(); in InRange()
1141 S.Stk.push<bool>(LHS <= Value && Value <= RHS); in InRange()
1150 bool Dup(InterpState &S, CodePtr OpPC) { in Dup() argument
1151 S.Stk.push<T>(S.Stk.peek<T>()); in Dup()
1156 bool Pop(InterpState &S, CodePtr OpPC) { in Pop() argument
1157 S.Stk.pop<T>(); in Pop()
1166 bool Const(InterpState &S, CodePtr OpPC, const T &Arg) { in Const() argument
1167 S.Stk.push<T>(Arg); in Const()
1176 bool GetLocal(InterpState &S, CodePtr OpPC, uint32_t I) { in GetLocal() argument
1177 const Pointer &Ptr = S.Current->getLocalPointer(I); in GetLocal()
1178 if (!CheckLoad(S, OpPC, Ptr)) in GetLocal()
1180 S.Stk.push<T>(Ptr.deref<T>()); in GetLocal()
1188 bool SetLocal(InterpState &S, CodePtr OpPC, uint32_t I) { in SetLocal() argument
1189 S.Current->setLocal<T>(I, S.Stk.pop<T>()); in SetLocal()
1194 bool GetParam(InterpState &S, CodePtr OpPC, uint32_t I) { in GetParam() argument
1195 if (S.checkingPotentialConstantExpression()) { in GetParam()
1198 S.Stk.push<T>(S.Current->getParam<T>(I)); in GetParam()
1203 bool SetParam(InterpState &S, CodePtr OpPC, uint32_t I) { in SetParam() argument
1204 S.Current->setParam<T>(I, S.Stk.pop<T>()); in SetParam()
1211 bool GetField(InterpState &S, CodePtr OpPC, uint32_t I) { in GetField() argument
1212 const Pointer &Obj = S.Stk.peek<Pointer>(); in GetField()
1213 if (!CheckNull(S, OpPC, Obj, CSK_Field)) in GetField()
1215 if (!CheckRange(S, OpPC, Obj, CSK_Field)) in GetField()
1218 if (!CheckLoad(S, OpPC, Field)) in GetField()
1220 S.Stk.push<T>(Field.deref<T>()); in GetField()
1225 bool SetField(InterpState &S, CodePtr OpPC, uint32_t I) { in SetField() argument
1226 const T &Value = S.Stk.pop<T>(); in SetField()
1227 const Pointer &Obj = S.Stk.peek<Pointer>(); in SetField()
1228 if (!CheckNull(S, OpPC, Obj, CSK_Field)) in SetField()
1230 if (!CheckRange(S, OpPC, Obj, CSK_Field)) in SetField()
1233 if (!CheckStore(S, OpPC, Field)) in SetField()
1243 bool GetFieldPop(InterpState &S, CodePtr OpPC, uint32_t I) { in GetFieldPop() argument
1244 const Pointer &Obj = S.Stk.pop<Pointer>(); in GetFieldPop()
1245 if (!CheckNull(S, OpPC, Obj, CSK_Field)) in GetFieldPop()
1247 if (!CheckRange(S, OpPC, Obj, CSK_Field)) in GetFieldPop()
1250 if (!CheckLoad(S, OpPC, Field)) in GetFieldPop()
1252 S.Stk.push<T>(Field.deref<T>()); in GetFieldPop()
1257 bool GetThisField(InterpState &S, CodePtr OpPC, uint32_t I) { in GetThisField() argument
1258 if (S.checkingPotentialConstantExpression()) in GetThisField()
1260 const Pointer &This = S.Current->getThis(); in GetThisField()
1261 if (!CheckThis(S, OpPC, This)) in GetThisField()
1264 if (!CheckLoad(S, OpPC, Field)) in GetThisField()
1266 S.Stk.push<T>(Field.deref<T>()); in GetThisField()
1271 bool SetThisField(InterpState &S, CodePtr OpPC, uint32_t I) { in SetThisField() argument
1272 if (S.checkingPotentialConstantExpression()) in SetThisField()
1274 const T &Value = S.Stk.pop<T>(); in SetThisField()
1275 const Pointer &This = S.Current->getThis(); in SetThisField()
1276 if (!CheckThis(S, OpPC, This)) in SetThisField()
1279 if (!CheckStore(S, OpPC, Field)) in SetThisField()
1286 bool GetGlobal(InterpState &S, CodePtr OpPC, uint32_t I) { in GetGlobal() argument
1287 const Pointer &Ptr = S.P.getPtrGlobal(I); in GetGlobal()
1288 if (!CheckConstant(S, OpPC, Ptr.getFieldDesc())) in GetGlobal()
1295 if (!CheckGlobalInitialized(S, OpPC, Ptr)) in GetGlobal()
1298 S.Stk.push<T>(Ptr.deref<T>()); in GetGlobal()
1304 bool GetGlobalUnchecked(InterpState &S, CodePtr OpPC, uint32_t I) { in GetGlobalUnchecked() argument
1305 const Pointer &Ptr = S.P.getPtrGlobal(I); in GetGlobalUnchecked()
1308 S.Stk.push<T>(Ptr.deref<T>()); in GetGlobalUnchecked()
1313 bool SetGlobal(InterpState &S, CodePtr OpPC, uint32_t I) { in SetGlobal() argument
1319 bool InitGlobal(InterpState &S, CodePtr OpPC, uint32_t I) { in InitGlobal() argument
1320 const Pointer &P = S.P.getGlobal(I); in InitGlobal()
1321 P.deref<T>() = S.Stk.pop<T>(); in InitGlobal()
1330 bool InitGlobalTemp(InterpState &S, CodePtr OpPC, uint32_t I, in InitGlobalTemp() argument
1332 const Pointer &Ptr = S.P.getGlobal(I); in InitGlobalTemp()
1334 const T Value = S.Stk.peek<T>(); in InitGlobalTemp()
1335 APValue APV = Value.toAPValue(S.getCtx()); in InitGlobalTemp()
1341 S.SeenGlobalTemporaries.push_back( in InitGlobalTemp()
1344 Ptr.deref<T>() = S.Stk.pop<T>(); in InitGlobalTemp()
1352 inline bool InitGlobalTempComp(InterpState &S, CodePtr OpPC, in InitGlobalTempComp() argument
1355 const Pointer &P = S.Stk.peek<Pointer>(); in InitGlobalTempComp()
1358 S.SeenGlobalTemporaries.push_back( in InitGlobalTempComp()
1362 P.toRValue(S.getCtx(), Temp->getTemporaryExpr()->getType())) { in InitGlobalTempComp()
1371 bool InitThisField(InterpState &S, CodePtr OpPC, uint32_t I) { in InitThisField() argument
1372 if (S.checkingPotentialConstantExpression()) in InitThisField()
1374 const Pointer &This = S.Current->getThis(); in InitThisField()
1375 if (!CheckThis(S, OpPC, This)) in InitThisField()
1378 Field.deref<T>() = S.Stk.pop<T>(); in InitThisField()
1386 bool InitThisBitField(InterpState &S, CodePtr OpPC, const Record::Field *F, in InitThisBitField() argument
1389 if (S.checkingPotentialConstantExpression()) in InitThisBitField()
1391 const Pointer &This = S.Current->getThis(); in InitThisBitField()
1392 if (!CheckThis(S, OpPC, This)) in InitThisBitField()
1395 const auto &Value = S.Stk.pop<T>(); in InitThisBitField()
1396 Field.deref<T>() = Value.truncate(F->Decl->getBitWidthValue(S.getCtx())); in InitThisBitField()
1402 bool InitThisFieldActive(InterpState &S, CodePtr OpPC, uint32_t I) { in InitThisFieldActive() argument
1403 if (S.checkingPotentialConstantExpression()) in InitThisFieldActive()
1405 const Pointer &This = S.Current->getThis(); in InitThisFieldActive()
1406 if (!CheckThis(S, OpPC, This)) in InitThisFieldActive()
1409 Field.deref<T>() = S.Stk.pop<T>(); in InitThisFieldActive()
1419 bool InitField(InterpState &S, CodePtr OpPC, uint32_t I) { in InitField() argument
1420 const T &Value = S.Stk.pop<T>(); in InitField()
1421 const Pointer &Field = S.Stk.peek<Pointer>().atField(I); in InitField()
1429 bool InitBitField(InterpState &S, CodePtr OpPC, const Record::Field *F) { in InitBitField() argument
1431 const T &Value = S.Stk.pop<T>(); in InitBitField()
1432 const Pointer &Field = S.Stk.peek<Pointer>().atField(F->Offset); in InitBitField()
1433 Field.deref<T>() = Value.truncate(F->Decl->getBitWidthValue(S.getCtx())); in InitBitField()
1440 bool InitFieldActive(InterpState &S, CodePtr OpPC, uint32_t I) { in InitFieldActive() argument
1441 const T &Value = S.Stk.pop<T>(); in InitFieldActive()
1442 const Pointer &Ptr = S.Stk.pop<Pointer>(); in InitFieldActive()
1454 inline bool GetPtrLocal(InterpState &S, CodePtr OpPC, uint32_t I) { in GetPtrLocal() argument
1455 S.Stk.push<Pointer>(S.Current->getLocalPointer(I)); in GetPtrLocal()
1459 inline bool GetPtrParam(InterpState &S, CodePtr OpPC, uint32_t I) { in GetPtrParam() argument
1460 if (S.checkingPotentialConstantExpression()) { in GetPtrParam()
1463 S.Stk.push<Pointer>(S.Current->getParamPointer(I)); in GetPtrParam()
1467 inline bool GetPtrGlobal(InterpState &S, CodePtr OpPC, uint32_t I) { in GetPtrGlobal() argument
1468 S.Stk.push<Pointer>(S.P.getPtrGlobal(I)); in GetPtrGlobal()
1474 inline bool GetPtrField(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrField() argument
1475 const Pointer &Ptr = S.Stk.peek<Pointer>(); in GetPtrField()
1477 if (S.getLangOpts().CPlusPlus && S.inConstantContext() && in GetPtrField()
1478 !CheckNull(S, OpPC, Ptr, CSK_Field)) in GetPtrField()
1481 if (!CheckExtern(S, OpPC, Ptr)) in GetPtrField()
1483 if (!CheckRange(S, OpPC, Ptr, CSK_Field)) in GetPtrField()
1485 if (!CheckArray(S, OpPC, Ptr)) in GetPtrField()
1487 if (!CheckSubobject(S, OpPC, Ptr, CSK_Field)) in GetPtrField()
1492 S.Stk.push<Pointer>(Ptr.atField(Off)); in GetPtrField()
1496 inline bool GetPtrFieldPop(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrFieldPop() argument
1497 const Pointer &Ptr = S.Stk.pop<Pointer>(); in GetPtrFieldPop()
1499 if (S.getLangOpts().CPlusPlus && S.inConstantContext() && in GetPtrFieldPop()
1500 !CheckNull(S, OpPC, Ptr, CSK_Field)) in GetPtrFieldPop()
1503 if (!CheckExtern(S, OpPC, Ptr)) in GetPtrFieldPop()
1505 if (!CheckRange(S, OpPC, Ptr, CSK_Field)) in GetPtrFieldPop()
1507 if (!CheckArray(S, OpPC, Ptr)) in GetPtrFieldPop()
1509 if (!CheckSubobject(S, OpPC, Ptr, CSK_Field)) in GetPtrFieldPop()
1515 S.Stk.push<Pointer>(Ptr.atField(Off)); in GetPtrFieldPop()
1519 inline bool GetPtrThisField(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrThisField() argument
1520 if (S.checkingPotentialConstantExpression()) in GetPtrThisField()
1522 const Pointer &This = S.Current->getThis(); in GetPtrThisField()
1523 if (!CheckThis(S, OpPC, This)) in GetPtrThisField()
1525 S.Stk.push<Pointer>(This.atField(Off)); in GetPtrThisField()
1529 inline bool GetPtrActiveField(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrActiveField() argument
1530 const Pointer &Ptr = S.Stk.pop<Pointer>(); in GetPtrActiveField()
1531 if (!CheckNull(S, OpPC, Ptr, CSK_Field)) in GetPtrActiveField()
1533 if (!CheckRange(S, OpPC, Ptr, CSK_Field)) in GetPtrActiveField()
1538 S.Stk.push<Pointer>(std::move(Field)); in GetPtrActiveField()
1542 inline bool GetPtrActiveThisField(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrActiveThisField() argument
1543 if (S.checkingPotentialConstantExpression()) in GetPtrActiveThisField()
1545 const Pointer &This = S.Current->getThis(); in GetPtrActiveThisField()
1546 if (!CheckThis(S, OpPC, This)) in GetPtrActiveThisField()
1551 S.Stk.push<Pointer>(std::move(Field)); in GetPtrActiveThisField()
1555 inline bool GetPtrDerivedPop(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrDerivedPop() argument
1556 const Pointer &Ptr = S.Stk.pop<Pointer>(); in GetPtrDerivedPop()
1557 if (!CheckNull(S, OpPC, Ptr, CSK_Derived)) in GetPtrDerivedPop()
1559 if (!CheckSubobject(S, OpPC, Ptr, CSK_Derived)) in GetPtrDerivedPop()
1561 if (!CheckDowncast(S, OpPC, Ptr, Off)) in GetPtrDerivedPop()
1564 S.Stk.push<Pointer>(Ptr.atFieldSub(Off)); in GetPtrDerivedPop()
1568 inline bool GetPtrBase(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrBase() argument
1569 const Pointer &Ptr = S.Stk.peek<Pointer>(); in GetPtrBase()
1570 if (!CheckNull(S, OpPC, Ptr, CSK_Base)) in GetPtrBase()
1572 if (!CheckSubobject(S, OpPC, Ptr, CSK_Base)) in GetPtrBase()
1574 S.Stk.push<Pointer>(Ptr.atField(Off)); in GetPtrBase()
1578 inline bool GetPtrBasePop(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrBasePop() argument
1579 const Pointer &Ptr = S.Stk.pop<Pointer>(); in GetPtrBasePop()
1580 if (!CheckNull(S, OpPC, Ptr, CSK_Base)) in GetPtrBasePop()
1582 if (!CheckSubobject(S, OpPC, Ptr, CSK_Base)) in GetPtrBasePop()
1584 S.Stk.push<Pointer>(Ptr.atField(Off)); in GetPtrBasePop()
1588 inline bool GetMemberPtrBasePop(InterpState &S, CodePtr OpPC, int32_t Off) { in GetMemberPtrBasePop() argument
1589 const auto &Ptr = S.Stk.pop<MemberPointer>(); in GetMemberPtrBasePop()
1590 S.Stk.push<MemberPointer>(Ptr.atInstanceBase(Off)); in GetMemberPtrBasePop()
1594 inline bool GetPtrThisBase(InterpState &S, CodePtr OpPC, uint32_t Off) { in GetPtrThisBase() argument
1595 if (S.checkingPotentialConstantExpression()) in GetPtrThisBase()
1597 const Pointer &This = S.Current->getThis(); in GetPtrThisBase()
1598 if (!CheckThis(S, OpPC, This)) in GetPtrThisBase()
1600 S.Stk.push<Pointer>(This.atField(Off)); in GetPtrThisBase()
1604 inline bool FinishInitPop(InterpState &S, CodePtr OpPC) { in FinishInitPop() argument
1605 const Pointer &Ptr = S.Stk.pop<Pointer>(); in FinishInitPop()
1613 inline bool FinishInit(InterpState &S, CodePtr OpPC) { in FinishInit() argument
1614 const Pointer &Ptr = S.Stk.peek<Pointer>(); in FinishInit()
1622 inline bool Dump(InterpState &S, CodePtr OpPC) { in Dump() argument
1623 S.Stk.dump(); in Dump()
1627 inline bool VirtBaseHelper(InterpState &S, CodePtr OpPC, const RecordDecl *Decl, in VirtBaseHelper() argument
1634 S.Stk.push<Pointer>(Base.atField(VirtBase->Offset)); in VirtBaseHelper()
1638 inline bool GetPtrVirtBasePop(InterpState &S, CodePtr OpPC, in GetPtrVirtBasePop() argument
1641 const Pointer &Ptr = S.Stk.pop<Pointer>(); in GetPtrVirtBasePop()
1642 if (!CheckNull(S, OpPC, Ptr, CSK_Base)) in GetPtrVirtBasePop()
1644 return VirtBaseHelper(S, OpPC, D, Ptr); in GetPtrVirtBasePop()
1647 inline bool GetPtrThisVirtBase(InterpState &S, CodePtr OpPC, in GetPtrThisVirtBase() argument
1650 if (S.checkingPotentialConstantExpression()) in GetPtrThisVirtBase()
1652 const Pointer &This = S.Current->getThis(); in GetPtrThisVirtBase()
1653 if (!CheckThis(S, OpPC, This)) in GetPtrThisVirtBase()
1655 return VirtBaseHelper(S, OpPC, D, S.Current->getThis()); in GetPtrThisVirtBase()
1663 bool Load(InterpState &S, CodePtr OpPC) { in Load() argument
1664 const Pointer &Ptr = S.Stk.peek<Pointer>(); in Load()
1665 if (!CheckLoad(S, OpPC, Ptr)) in Load()
1669 S.Stk.push<T>(Ptr.deref<T>()); in Load()
1674 bool LoadPop(InterpState &S, CodePtr OpPC) { in LoadPop() argument
1675 const Pointer &Ptr = S.Stk.pop<Pointer>(); in LoadPop()
1676 if (!CheckLoad(S, OpPC, Ptr)) in LoadPop()
1680 S.Stk.push<T>(Ptr.deref<T>()); in LoadPop()
1685 bool Store(InterpState &S, CodePtr OpPC) { in Store() argument
1686 const T &Value = S.Stk.pop<T>(); in Store()
1687 const Pointer &Ptr = S.Stk.peek<Pointer>(); in Store()
1688 if (!CheckStore(S, OpPC, Ptr)) in Store()
1697 bool StorePop(InterpState &S, CodePtr OpPC) { in StorePop() argument
1698 const T &Value = S.Stk.pop<T>(); in StorePop()
1699 const Pointer &Ptr = S.Stk.pop<Pointer>(); in StorePop()
1700 if (!CheckStore(S, OpPC, Ptr)) in StorePop()
1709 bool StoreBitField(InterpState &S, CodePtr OpPC) { in StoreBitField() argument
1710 const T &Value = S.Stk.pop<T>(); in StoreBitField()
1711 const Pointer &Ptr = S.Stk.peek<Pointer>(); in StoreBitField()
1712 if (!CheckStore(S, OpPC, Ptr)) in StoreBitField()
1717 Ptr.deref<T>() = Value.truncate(FD->getBitWidthValue(S.getCtx())); in StoreBitField()
1724 bool StoreBitFieldPop(InterpState &S, CodePtr OpPC) { in StoreBitFieldPop() argument
1725 const T &Value = S.Stk.pop<T>(); in StoreBitFieldPop()
1726 const Pointer &Ptr = S.Stk.pop<Pointer>(); in StoreBitFieldPop()
1727 if (!CheckStore(S, OpPC, Ptr)) in StoreBitFieldPop()
1732 Ptr.deref<T>() = Value.truncate(FD->getBitWidthValue(S.getCtx())); in StoreBitFieldPop()
1739 bool Init(InterpState &S, CodePtr OpPC) { in Init() argument
1740 const T &Value = S.Stk.pop<T>(); in Init()
1741 const Pointer &Ptr = S.Stk.peek<Pointer>(); in Init()
1742 if (!CheckInit(S, OpPC, Ptr)) { in Init()
1752 bool InitPop(InterpState &S, CodePtr OpPC) { in InitPop() argument
1753 const T &Value = S.Stk.pop<T>(); in InitPop()
1754 const Pointer &Ptr = S.Stk.pop<Pointer>(); in InitPop()
1755 if (!CheckInit(S, OpPC, Ptr)) in InitPop()
1766 bool InitElem(InterpState &S, CodePtr OpPC, uint32_t Idx) { in InitElem() argument
1767 const T &Value = S.Stk.pop<T>(); in InitElem()
1768 const Pointer &Ptr = S.Stk.peek<Pointer>().atIndex(Idx); in InitElem()
1771 if (!CheckInit(S, OpPC, Ptr)) in InitElem()
1780 bool InitElemPop(InterpState &S, CodePtr OpPC, uint32_t Idx) { in InitElemPop() argument
1781 const T &Value = S.Stk.pop<T>(); in InitElemPop()
1782 const Pointer &Ptr = S.Stk.pop<Pointer>().atIndex(Idx); in InitElemPop()
1785 if (!CheckInit(S, OpPC, Ptr)) in InitElemPop()
1792 inline bool Memcpy(InterpState &S, CodePtr OpPC) { in Memcpy() argument
1793 const Pointer &Src = S.Stk.pop<Pointer>(); in Memcpy()
1794 Pointer &Dest = S.Stk.peek<Pointer>(); in Memcpy()
1796 if (!CheckLoad(S, OpPC, Src)) in Memcpy()
1799 return DoMemcpy(S, OpPC, Src, Dest); in Memcpy()
1802 inline bool ToMemberPtr(InterpState &S, CodePtr OpPC) { in ToMemberPtr() argument
1803 const auto &Member = S.Stk.pop<MemberPointer>(); in ToMemberPtr()
1804 const auto &Base = S.Stk.pop<Pointer>(); in ToMemberPtr()
1806 S.Stk.push<MemberPointer>(Member.takeInstance(Base)); in ToMemberPtr()
1810 inline bool CastMemberPtrPtr(InterpState &S, CodePtr OpPC) { in CastMemberPtrPtr() argument
1811 const auto &MP = S.Stk.pop<MemberPointer>(); in CastMemberPtrPtr()
1813 if (std::optional<Pointer> Ptr = MP.toPointer(S.Ctx)) { in CastMemberPtrPtr()
1814 S.Stk.push<Pointer>(*Ptr); in CastMemberPtrPtr()
1825 bool OffsetHelper(InterpState &S, CodePtr OpPC, const T &Offset, in OffsetHelper() argument
1829 S.Stk.push<Pointer>(Ptr); in OffsetHelper()
1833 if (!CheckNull(S, OpPC, Ptr, CSK_ArrayIndex)) { in OffsetHelper()
1836 if (S.getLangOpts().CPlusPlus) in OffsetHelper()
1841 if (!CheckArray(S, OpPC, Ptr)) in OffsetHelper()
1860 S.CCEDiag(S.Current->getSource(OpPC), diag::note_constexpr_array_index) in OffsetHelper()
1888 if (Invalid && S.getLangOpts().CPlusPlus) in OffsetHelper()
1904 S.Stk.push<Pointer>(Ptr.asBlockPointer().Pointee, in OffsetHelper()
1909 S.Stk.push<Pointer>(Ptr.atIndex(static_cast<uint64_t>(Result))); in OffsetHelper()
1914 bool AddOffset(InterpState &S, CodePtr OpPC) { in AddOffset() argument
1915 const T &Offset = S.Stk.pop<T>(); in AddOffset()
1916 const Pointer &Ptr = S.Stk.pop<Pointer>(); in AddOffset()
1917 return OffsetHelper<T, ArithOp::Add>(S, OpPC, Offset, Ptr); in AddOffset()
1921 bool SubOffset(InterpState &S, CodePtr OpPC) { in SubOffset() argument
1922 const T &Offset = S.Stk.pop<T>(); in SubOffset()
1923 const Pointer &Ptr = S.Stk.pop<Pointer>(); in SubOffset()
1924 return OffsetHelper<T, ArithOp::Sub>(S, OpPC, Offset, Ptr); in SubOffset()
1928 static inline bool IncDecPtrHelper(InterpState &S, CodePtr OpPC, in IncDecPtrHelper() argument
1936 if (!CheckNull(S, OpPC, P, CSK_ArrayIndex)) in IncDecPtrHelper()
1940 S.Stk.push<Pointer>(P); in IncDecPtrHelper()
1944 if (!OffsetHelper<OneT, Op>(S, OpPC, One, P)) in IncDecPtrHelper()
1948 Ptr.deref<Pointer>() = S.Stk.pop<Pointer>(); in IncDecPtrHelper()
1952 static inline bool IncPtr(InterpState &S, CodePtr OpPC) { in IncPtr() argument
1953 const Pointer &Ptr = S.Stk.pop<Pointer>(); in IncPtr()
1955 if (!CheckInitialized(S, OpPC, Ptr, AK_Increment)) in IncPtr()
1958 return IncDecPtrHelper<ArithOp::Add>(S, OpPC, Ptr); in IncPtr()
1961 static inline bool DecPtr(InterpState &S, CodePtr OpPC) { in DecPtr() argument
1962 const Pointer &Ptr = S.Stk.pop<Pointer>(); in DecPtr()
1964 if (!CheckInitialized(S, OpPC, Ptr, AK_Decrement)) in DecPtr()
1967 return IncDecPtrHelper<ArithOp::Sub>(S, OpPC, Ptr); in DecPtr()
1974 inline bool SubPtr(InterpState &S, CodePtr OpPC) { in SubPtr() argument
1975 const Pointer &LHS = S.Stk.pop<Pointer>(); in SubPtr()
1976 const Pointer &RHS = S.Stk.pop<Pointer>(); in SubPtr()
1979 S.Stk.push<T>(T::from(LHS.getIndex())); in SubPtr()
1983 if (!Pointer::hasSameBase(LHS, RHS) && S.getLangOpts().CPlusPlus) { in SubPtr()
1989 S.Stk.push<T>(); in SubPtr()
1997 return AddSubMulHelper<T, T::sub, std::minus>(S, OpPC, A.bitWidth(), A, B); in SubPtr()
2004 inline bool Destroy(InterpState &S, CodePtr OpPC, uint32_t I) { in Destroy() argument
2005 S.Current->destroy(I); in Destroy()
2013 template <PrimType TIn, PrimType TOut> bool Cast(InterpState &S, CodePtr OpPC) { in Cast() argument
2016 S.Stk.push<U>(U::from(S.Stk.pop<T>())); in Cast()
2022 inline bool CastFP(InterpState &S, CodePtr OpPC, const llvm::fltSemantics *Sem, in CastFP() argument
2024 Floating F = S.Stk.pop<Floating>(); in CastFP()
2026 S.Stk.push<Floating>(Result); in CastFP()
2033 bool CastAP(InterpState &S, CodePtr OpPC, uint32_t BitWidth) { in CastAP() argument
2034 S.Stk.push<IntegralAP<false>>( in CastAP()
2035 IntegralAP<false>::from(S.Stk.pop<T>(), BitWidth)); in CastAP()
2040 bool CastAPS(InterpState &S, CodePtr OpPC, uint32_t BitWidth) { in CastAPS() argument
2041 S.Stk.push<IntegralAP<true>>( in CastAPS()
2042 IntegralAP<true>::from(S.Stk.pop<T>(), BitWidth)); in CastAPS()
2047 bool CastIntegralFloating(InterpState &S, CodePtr OpPC, in CastIntegralFloating() argument
2050 const T &From = S.Stk.pop<T>(); in CastIntegralFloating()
2055 S.Stk.push<Floating>(Result); in CastIntegralFloating()
2057 return CheckFloatResult(S, OpPC, Result, Status); in CastIntegralFloating()
2061 bool CastFloatingIntegral(InterpState &S, CodePtr OpPC) { in CastFloatingIntegral() argument
2062 const Floating &F = S.Stk.pop<Floating>(); in CastFloatingIntegral()
2065 S.Stk.push<T>(T(F.isNonZero())); in CastFloatingIntegral()
2074 const Expr *E = S.Current->getExpr(OpPC); in CastFloatingIntegral()
2077 S.CCEDiag(E, diag::note_constexpr_overflow) << F.getAPFloat() << Type; in CastFloatingIntegral()
2078 if (S.noteUndefinedBehavior()) { in CastFloatingIntegral()
2079 S.Stk.push<T>(T(Result)); in CastFloatingIntegral()
2085 S.Stk.push<T>(T(Result)); in CastFloatingIntegral()
2086 return CheckFloatResult(S, OpPC, F, Status); in CastFloatingIntegral()
2090 static inline bool CastFloatingIntegralAP(InterpState &S, CodePtr OpPC, in CastFloatingIntegralAP() argument
2092 const Floating &F = S.Stk.pop<Floating>(); in CastFloatingIntegralAP()
2099 const Expr *E = S.Current->getExpr(OpPC); in CastFloatingIntegralAP()
2102 S.CCEDiag(E, diag::note_constexpr_overflow) << F.getAPFloat() << Type; in CastFloatingIntegralAP()
2103 return S.noteUndefinedBehavior(); in CastFloatingIntegralAP()
2106 S.Stk.push<IntegralAP<true>>(IntegralAP<true>(Result)); in CastFloatingIntegralAP()
2107 return CheckFloatResult(S, OpPC, F, Status); in CastFloatingIntegralAP()
2110 static inline bool CastFloatingIntegralAPS(InterpState &S, CodePtr OpPC, in CastFloatingIntegralAPS() argument
2112 const Floating &F = S.Stk.pop<Floating>(); in CastFloatingIntegralAPS()
2119 const Expr *E = S.Current->getExpr(OpPC); in CastFloatingIntegralAPS()
2122 S.CCEDiag(E, diag::note_constexpr_overflow) << F.getAPFloat() << Type; in CastFloatingIntegralAPS()
2123 return S.noteUndefinedBehavior(); in CastFloatingIntegralAPS()
2126 S.Stk.push<IntegralAP<true>>(IntegralAP<true>(Result)); in CastFloatingIntegralAPS()
2127 return CheckFloatResult(S, OpPC, F, Status); in CastFloatingIntegralAPS()
2131 bool CastPointerIntegral(InterpState &S, CodePtr OpPC) { in CastPointerIntegral() argument
2132 const Pointer &Ptr = S.Stk.pop<Pointer>(); in CastPointerIntegral()
2137 const SourceInfo &E = S.Current->getSource(OpPC); in CastPointerIntegral()
2138 S.CCEDiag(E, diag::note_constexpr_invalid_cast) in CastPointerIntegral()
2139 << 2 << S.getLangOpts().CPlusPlus << S.Current->getRange(OpPC); in CastPointerIntegral()
2141 S.Stk.push<T>(T::from(Ptr.getIntegerRepresentation())); in CastPointerIntegral()
2145 static inline bool CastPointerIntegralAP(InterpState &S, CodePtr OpPC, in CastPointerIntegralAP() argument
2147 const Pointer &Ptr = S.Stk.pop<Pointer>(); in CastPointerIntegralAP()
2152 const SourceInfo &E = S.Current->getSource(OpPC); in CastPointerIntegralAP()
2153 S.CCEDiag(E, diag::note_constexpr_invalid_cast) in CastPointerIntegralAP()
2154 << 2 << S.getLangOpts().CPlusPlus << S.Current->getRange(OpPC); in CastPointerIntegralAP()
2156 S.Stk.push<IntegralAP<false>>( in CastPointerIntegralAP()
2161 static inline bool CastPointerIntegralAPS(InterpState &S, CodePtr OpPC, in CastPointerIntegralAPS() argument
2163 const Pointer &Ptr = S.Stk.pop<Pointer>(); in CastPointerIntegralAPS()
2168 const SourceInfo &E = S.Current->getSource(OpPC); in CastPointerIntegralAPS()
2169 S.CCEDiag(E, diag::note_constexpr_invalid_cast) in CastPointerIntegralAPS()
2170 << 2 << S.getLangOpts().CPlusPlus << S.Current->getRange(OpPC); in CastPointerIntegralAPS()
2172 S.Stk.push<IntegralAP<true>>( in CastPointerIntegralAPS()
2177 static inline bool PtrPtrCast(InterpState &S, CodePtr OpPC, bool SrcIsVoidPtr) { in PtrPtrCast() argument
2178 const auto &Ptr = S.Stk.peek<Pointer>(); in PtrPtrCast()
2180 if (SrcIsVoidPtr && S.getLangOpts().CPlusPlus) { in PtrPtrCast()
2185 } else if (!S.getLangOpts().CPlusPlus26) { in PtrPtrCast()
2186 const SourceInfo &E = S.Current->getSource(OpPC); in PtrPtrCast()
2187 S.CCEDiag(E, diag::note_constexpr_invalid_cast) in PtrPtrCast()
2188 << 3 << "'void *'" << S.Current->getRange(OpPC); in PtrPtrCast()
2191 const SourceInfo &E = S.Current->getSource(OpPC); in PtrPtrCast()
2192 S.CCEDiag(E, diag::note_constexpr_invalid_cast) in PtrPtrCast()
2193 << 2 << S.getLangOpts().CPlusPlus << S.Current->getRange(OpPC); in PtrPtrCast()
2204 bool Zero(InterpState &S, CodePtr OpPC) { in Zero() argument
2205 S.Stk.push<T>(T::zero()); in Zero()
2209 static inline bool ZeroIntAP(InterpState &S, CodePtr OpPC, uint32_t BitWidth) { in ZeroIntAP() argument
2210 S.Stk.push<IntegralAP<false>>(IntegralAP<false>::zero(BitWidth)); in ZeroIntAP()
2214 static inline bool ZeroIntAPS(InterpState &S, CodePtr OpPC, uint32_t BitWidth) { in ZeroIntAPS() argument
2215 S.Stk.push<IntegralAP<true>>(IntegralAP<true>::zero(BitWidth)); in ZeroIntAPS()
2220 inline bool Null(InterpState &S, CodePtr OpPC, const Descriptor *Desc) { in Null() argument
2222 S.Stk.push<T>(0, Desc); in Null()
2230 inline bool This(InterpState &S, CodePtr OpPC) { in This() argument
2232 if (S.checkingPotentialConstantExpression()) { in This()
2236 const Pointer &This = S.Current->getThis(); in This()
2237 if (!CheckThis(S, OpPC, This)) in This()
2242 assert(isa<CXXMethodDecl>(S.Current->getFunction()->getDecl())); in This()
2246 cast<CXXMethodDecl>(S.Current->getFunction()->getDecl())->getParent()); in This()
2249 S.Stk.push<Pointer>(This); in This()
2253 inline bool RVOPtr(InterpState &S, CodePtr OpPC) { in RVOPtr() argument
2254 assert(S.Current->getFunction()->hasRVO()); in RVOPtr()
2255 if (S.checkingPotentialConstantExpression()) in RVOPtr()
2257 S.Stk.push<Pointer>(S.Current->getRVOPtr()); in RVOPtr()
2267 inline bool DoShift(InterpState &S, CodePtr OpPC, LT &LHS, RT &RHS) { in DoShift() argument
2271 if (S.getLangOpts().OpenCL) in DoShift()
2278 const SourceInfo &Loc = S.Current->getSource(OpPC); in DoShift()
2279 S.CCEDiag(Loc, diag::note_constexpr_negative_shift) << RHS.toAPSInt(); in DoShift()
2280 if (!S.noteUndefinedBehavior()) in DoShift()
2285 : ShiftDir::Left > (S, OpPC, LHS, RHS); in DoShift()
2289 if (LHS.isNegative() && !S.getLangOpts().CPlusPlus20) { in DoShift()
2294 const SourceInfo &Loc = S.Current->getSource(OpPC); in DoShift()
2295 S.CCEDiag(Loc, diag::note_constexpr_lshift_of_negative) << LHS.toAPSInt(); in DoShift()
2296 if (!S.noteUndefinedBehavior()) in DoShift()
2301 if (!CheckShift(S, OpPC, LHS, RHS, Bits)) in DoShift()
2324 S.Stk.push<LT>(LT::from(R)); in DoShift()
2329 inline bool Shr(InterpState &S, CodePtr OpPC) { in Shr() argument
2332 auto RHS = S.Stk.pop<RT>(); in Shr()
2333 auto LHS = S.Stk.pop<LT>(); in Shr()
2335 return DoShift<LT, RT, ShiftDir::Right>(S, OpPC, LHS, RHS); in Shr()
2339 inline bool Shl(InterpState &S, CodePtr OpPC) { in Shl() argument
2342 auto RHS = S.Stk.pop<RT>(); in Shl()
2343 auto LHS = S.Stk.pop<LT>(); in Shl()
2345 return DoShift<LT, RT, ShiftDir::Left>(S, OpPC, LHS, RHS); in Shl()
2352 inline bool NoRet(InterpState &S, CodePtr OpPC) { in NoRet() argument
2353 SourceLocation EndLoc = S.Current->getCallee()->getEndLoc(); in NoRet()
2354 S.FFDiag(EndLoc, diag::note_constexpr_no_return); in NoRet()
2362 inline bool NarrowPtr(InterpState &S, CodePtr OpPC) { in NarrowPtr() argument
2363 const Pointer &Ptr = S.Stk.pop<Pointer>(); in NarrowPtr()
2364 S.Stk.push<Pointer>(Ptr.narrow()); in NarrowPtr()
2368 inline bool ExpandPtr(InterpState &S, CodePtr OpPC) { in ExpandPtr() argument
2369 const Pointer &Ptr = S.Stk.pop<Pointer>(); in ExpandPtr()
2370 S.Stk.push<Pointer>(Ptr.expand()); in ExpandPtr()
2383 inline bool ArrayElemPtr(InterpState &S, CodePtr OpPC) { in ArrayElemPtr() argument
2384 const T &Offset = S.Stk.pop<T>(); in ArrayElemPtr()
2385 const Pointer &Ptr = S.Stk.peek<Pointer>(); in ArrayElemPtr()
2388 if (!CheckArray(S, OpPC, Ptr)) in ArrayElemPtr()
2392 if (!OffsetHelper<T, ArithOp::Add>(S, OpPC, Offset, Ptr)) in ArrayElemPtr()
2395 return NarrowPtr(S, OpPC); in ArrayElemPtr()
2399 inline bool ArrayElemPtrPop(InterpState &S, CodePtr OpPC) { in ArrayElemPtrPop() argument
2400 const T &Offset = S.Stk.pop<T>(); in ArrayElemPtrPop()
2401 const Pointer &Ptr = S.Stk.pop<Pointer>(); in ArrayElemPtrPop()
2404 if (!CheckArray(S, OpPC, Ptr)) in ArrayElemPtrPop()
2408 if (!OffsetHelper<T, ArithOp::Add>(S, OpPC, Offset, Ptr)) in ArrayElemPtrPop()
2411 return NarrowPtr(S, OpPC); in ArrayElemPtrPop()
2415 inline bool ArrayElem(InterpState &S, CodePtr OpPC, uint32_t Index) { in ArrayElem() argument
2416 const Pointer &Ptr = S.Stk.peek<Pointer>(); in ArrayElem()
2418 if (!CheckLoad(S, OpPC, Ptr)) in ArrayElem()
2421 S.Stk.push<T>(Ptr.atIndex(Index).deref<T>()); in ArrayElem()
2426 inline bool ArrayElemPop(InterpState &S, CodePtr OpPC, uint32_t Index) { in ArrayElemPop() argument
2427 const Pointer &Ptr = S.Stk.pop<Pointer>(); in ArrayElemPop()
2429 if (!CheckLoad(S, OpPC, Ptr)) in ArrayElemPop()
2432 S.Stk.push<T>(Ptr.atIndex(Index).deref<T>()); in ArrayElemPop()
2437 inline bool CopyArray(InterpState &S, CodePtr OpPC, uint32_t SrcIndex, uint32_t DestIndex, uint32_t… in CopyArray() argument
2438 const auto &SrcPtr = S.Stk.pop<Pointer>(); in CopyArray()
2439 const auto &DestPtr = S.Stk.peek<Pointer>(); in CopyArray()
2444 if (!CheckLoad(S, OpPC, SP)) in CopyArray()
2456 inline bool ArrayDecay(InterpState &S, CodePtr OpPC) { in ArrayDecay() argument
2457 const Pointer &Ptr = S.Stk.pop<Pointer>(); in ArrayDecay()
2460 S.Stk.push<Pointer>(Ptr); in ArrayDecay()
2464 if (!CheckRange(S, OpPC, Ptr, CSK_ArrayToPointer)) in ArrayDecay()
2468 S.Stk.push<Pointer>(Ptr.atIndex(0)); in ArrayDecay()
2472 const SourceInfo &E = S.Current->getSource(OpPC); in ArrayDecay()
2473 S.FFDiag(E, diag::note_constexpr_unsupported_unsized_array); in ArrayDecay()
2478 inline bool CallVar(InterpState &S, CodePtr OpPC, const Function *Func, in CallVar() argument
2483 const Pointer &ThisPtr = S.Stk.peek<Pointer>(ThisOffset); in CallVar()
2489 if (!(S.Current->getFunction() && in CallVar()
2490 S.Current->getFunction()->isLambdaStaticInvoker() && in CallVar()
2492 if (!CheckInvoke(S, OpPC, ThisPtr)) in CallVar()
2496 if (S.checkingPotentialConstantExpression()) in CallVar()
2500 if (!CheckCallable(S, OpPC, Func)) in CallVar()
2503 if (!CheckCallDepth(S, OpPC)) in CallVar()
2506 auto NewFrame = std::make_unique<InterpFrame>(S, Func, OpPC, VarArgSize); in CallVar()
2507 InterpFrame *FrameBefore = S.Current; in CallVar()
2508 S.Current = NewFrame.get(); in CallVar()
2514 if (Interpret(S, CallResult)) { in CallVar()
2516 assert(S.Current == FrameBefore); in CallVar()
2522 S.Current = FrameBefore; in CallVar()
2528 inline bool Call(InterpState &S, CodePtr OpPC, const Function *Func, in Call() argument
2534 const Pointer &ThisPtr = S.Stk.peek<Pointer>(ThisOffset); in Call()
2540 if (!(S.Current->getFunction() && in Call()
2541 S.Current->getFunction()->isLambdaStaticInvoker() && in Call()
2543 if (!CheckInvoke(S, OpPC, ThisPtr)) in Call()
2548 if (!CheckCallable(S, OpPC, Func)) in Call()
2551 if (Func->hasThisPointer() && S.checkingPotentialConstantExpression()) in Call()
2554 if (!CheckCallDepth(S, OpPC)) in Call()
2557 auto NewFrame = std::make_unique<InterpFrame>(S, Func, OpPC, VarArgSize); in Call()
2558 InterpFrame *FrameBefore = S.Current; in Call()
2559 S.Current = NewFrame.get(); in Call()
2565 if (Interpret(S, CallResult)) { in Call()
2567 assert(S.Current == FrameBefore); in Call()
2573 S.Current = FrameBefore; in Call()
2577 inline bool CallVirt(InterpState &S, CodePtr OpPC, const Function *Func, in CallVirt() argument
2583 Pointer &ThisPtr = S.Stk.peek<Pointer>(ThisOffset); in CallVirt()
2593 const CXXMethodDecl *Overrider = S.getContext().getOverridingFunction( in CallVirt()
2600 if (!S.getLangOpts().CPlusPlus20 && Overrider->isVirtual()) { in CallVirt()
2601 const Expr *E = S.Current->getExpr(OpPC); in CallVirt()
2602 S.CCEDiag(E, diag::note_constexpr_virtual_call) << E->getSourceRange(); in CallVirt()
2605 Func = S.getContext().getOrCreateFunction(Overrider); in CallVirt()
2617 return Call(S, OpPC, Func, VarArgSize); in CallVirt()
2620 inline bool CallBI(InterpState &S, CodePtr &PC, const Function *Func, in CallBI() argument
2622 auto NewFrame = std::make_unique<InterpFrame>(S, Func, PC); in CallBI()
2624 InterpFrame *FrameBefore = S.Current; in CallBI()
2625 S.Current = NewFrame.get(); in CallBI()
2627 if (InterpretBuiltin(S, PC, Func, CE)) { in CallBI()
2631 S.Current = FrameBefore; in CallBI()
2635 inline bool CallPtr(InterpState &S, CodePtr OpPC, uint32_t ArgSize, in CallPtr() argument
2637 const FunctionPointer &FuncPtr = S.Stk.pop<FunctionPointer>(); in CallPtr()
2641 const Expr *E = S.Current->getExpr(OpPC); in CallPtr()
2642 S.FFDiag(E, diag::note_constexpr_null_callee) in CallPtr()
2654 if (S.Ctx.classify(F->getDecl()->getReturnType()) != in CallPtr()
2655 S.Ctx.classify(CE->getType())) in CallPtr()
2660 if (!CheckNonNullArgs(S, OpPC, F, CE, ArgSize)) in CallPtr()
2673 return CallVirt(S, OpPC, F, VarArgSize); in CallPtr()
2675 return Call(S, OpPC, F, VarArgSize); in CallPtr()
2678 inline bool GetFnPtr(InterpState &S, CodePtr OpPC, const Function *Func) { in GetFnPtr() argument
2680 S.Stk.push<FunctionPointer>(Func); in GetFnPtr()
2685 inline bool GetIntPtr(InterpState &S, CodePtr OpPC, const Descriptor *Desc) { in GetIntPtr() argument
2686 const T &IntVal = S.Stk.pop<T>(); in GetIntPtr()
2688 S.Stk.push<Pointer>(static_cast<uint64_t>(IntVal), Desc); in GetIntPtr()
2692 inline bool GetMemberPtr(InterpState &S, CodePtr OpPC, const Decl *D) { in GetMemberPtr() argument
2693 S.Stk.push<MemberPointer>(D); in GetMemberPtr()
2697 inline bool GetMemberPtrBase(InterpState &S, CodePtr OpPC) { in GetMemberPtrBase() argument
2698 const auto &MP = S.Stk.pop<MemberPointer>(); in GetMemberPtrBase()
2700 S.Stk.push<Pointer>(MP.getBase()); in GetMemberPtrBase()
2704 inline bool GetMemberPtrDecl(InterpState &S, CodePtr OpPC) { in GetMemberPtrDecl() argument
2705 const auto &MP = S.Stk.pop<MemberPointer>(); in GetMemberPtrDecl()
2708 const auto *Func = S.getContext().getOrCreateFunction(FD); in GetMemberPtrDecl()
2710 S.Stk.push<FunctionPointer>(Func); in GetMemberPtrDecl()
2716 inline bool Invalid(InterpState &S, CodePtr OpPC) { in Invalid() argument
2717 const SourceLocation &Loc = S.Current->getLocation(OpPC); in Invalid()
2718 S.FFDiag(Loc, diag::note_invalid_subexpr_in_const_expr) in Invalid()
2719 << S.Current->getRange(OpPC); in Invalid()
2723 inline bool Unsupported(InterpState &S, CodePtr OpPC) { in Unsupported() argument
2724 const SourceLocation &Loc = S.Current->getLocation(OpPC); in Unsupported()
2725 S.FFDiag(Loc, diag::note_constexpr_stmt_expr_unsupported) in Unsupported()
2726 << S.Current->getRange(OpPC); in Unsupported()
2731 inline bool Error(InterpState &S, CodePtr OpPC) { return false; } in Error() argument
2734 inline bool InvalidCast(InterpState &S, CodePtr OpPC, CastKind Kind) { in InvalidCast() argument
2735 const SourceLocation &Loc = S.Current->getLocation(OpPC); in InvalidCast()
2739 S.FFDiag(Loc, diag::note_constexpr_invalid_cast) in InvalidCast()
2740 << static_cast<unsigned>(Kind) << S.Current->getRange(OpPC); in InvalidCast()
2744 inline bool InvalidDeclRef(InterpState &S, CodePtr OpPC, in InvalidDeclRef() argument
2747 return CheckDeclRef(S, OpPC, DR); in InvalidDeclRef()
2750 inline bool SizelessVectorElementSize(InterpState &S, CodePtr OpPC) { in SizelessVectorElementSize() argument
2751 if (S.inConstantContext()) { in SizelessVectorElementSize()
2752 const SourceRange &ArgRange = S.Current->getRange(OpPC); in SizelessVectorElementSize()
2753 const Expr *E = S.Current->getExpr(OpPC); in SizelessVectorElementSize()
2754 S.CCEDiag(E, diag::note_constexpr_non_const_vectorelements) << ArgRange; in SizelessVectorElementSize()
2759 inline bool Assume(InterpState &S, CodePtr OpPC) { in Assume() argument
2760 const auto Val = S.Stk.pop<Boolean>(); in Assume()
2766 const SourceLocation &Loc = S.Current->getLocation(OpPC); in Assume()
2767 S.CCEDiag(Loc, diag::note_constexpr_assumption_failed); in Assume()
2772 inline bool OffsetOf(InterpState &S, CodePtr OpPC, const OffsetOfExpr *E) { in OffsetOf() argument
2775 ArrayIndices.emplace_back(S.Stk.pop<int64_t>()); in OffsetOf()
2778 if (!InterpretOffsetOf(S, OpPC, E, ArrayIndices, Result)) in OffsetOf()
2781 S.Stk.push<T>(T::from(Result)); in OffsetOf()
2787 inline bool CheckNonNullArg(InterpState &S, CodePtr OpPC) { in CheckNonNullArg() argument
2788 const T &Arg = S.Stk.peek<T>(); in CheckNonNullArg()
2792 const SourceLocation &Loc = S.Current->getLocation(OpPC); in CheckNonNullArg()
2793 S.CCEDiag(Loc, diag::note_non_null_attribute_failed); in CheckNonNullArg()
2798 void diagnoseEnumValue(InterpState &S, CodePtr OpPC, const EnumDecl *ED,
2802 inline bool CheckEnumValue(InterpState &S, CodePtr OpPC, const EnumDecl *ED) { in CheckEnumValue() argument
2805 const APSInt Val = S.Stk.peek<T>().toAPSInt(); in CheckEnumValue()
2807 if (S.inConstantContext()) in CheckEnumValue()
2808 diagnoseEnumValue(S, OpPC, ED, Val); in CheckEnumValue()
2814 inline bool DecayPtr(InterpState &S, CodePtr OpPC) { in DecayPtr() argument
2819 const FromT &OldPtr = S.Stk.pop<FromT>(); in DecayPtr()
2820 S.Stk.push<ToT>(ToT(OldPtr.getIntegerRepresentation(), nullptr)); in DecayPtr()
2824 inline bool CheckDecl(InterpState &S, CodePtr OpPC, const VarDecl *VD) { in CheckDecl() argument
2832 if (VD == S.EvaluatingDecl) in CheckDecl()
2835 if (!VD->isUsableInConstantExpressions(S.getCtx())) { in CheckDecl()
2836 S.CCEDiag(VD->getLocation(), diag::note_constexpr_static_local) in CheckDecl()
2843 inline bool Alloc(InterpState &S, CodePtr OpPC, const Descriptor *Desc) { in Alloc() argument
2846 if (!CheckDynamicMemoryAllocation(S, OpPC)) in Alloc()
2849 DynamicAllocator &Allocator = S.getAllocator(); in Alloc()
2850 Block *B = Allocator.allocate(Desc, S.Ctx.getEvalID()); in Alloc()
2853 S.Stk.push<Pointer>(B, sizeof(InlineDescriptor)); in Alloc()
2859 inline bool AllocN(InterpState &S, CodePtr OpPC, PrimType T, const Expr *Source, in AllocN() argument
2861 if (!CheckDynamicMemoryAllocation(S, OpPC)) in AllocN()
2864 SizeT NumElements = S.Stk.pop<SizeT>(); in AllocN()
2865 if (!CheckArraySize(S, OpPC, &NumElements, primSize(T), IsNoThrow)) { in AllocN()
2870 S.Stk.push<Pointer>(0, nullptr); in AllocN()
2874 DynamicAllocator &Allocator = S.getAllocator(); in AllocN()
2876 S.Ctx.getEvalID()); in AllocN()
2878 S.Stk.push<Pointer>(B, sizeof(InlineDescriptor)); in AllocN()
2884 inline bool AllocCN(InterpState &S, CodePtr OpPC, const Descriptor *ElementDesc, in AllocCN() argument
2886 if (!CheckDynamicMemoryAllocation(S, OpPC)) in AllocCN()
2889 SizeT NumElements = S.Stk.pop<SizeT>(); in AllocCN()
2890 if (!CheckArraySize(S, OpPC, &NumElements, ElementDesc->getSize(), in AllocCN()
2896 S.Stk.push<Pointer>(0, ElementDesc); in AllocCN()
2900 DynamicAllocator &Allocator = S.getAllocator(); in AllocCN()
2902 S.Ctx.getEvalID()); in AllocCN()
2905 S.Stk.push<Pointer>(B, sizeof(InlineDescriptor)); in AllocCN()
2910 bool RunDestructors(InterpState &S, CodePtr OpPC, const Block *B);
2911 static inline bool Free(InterpState &S, CodePtr OpPC, bool DeleteIsArrayForm) { in Free() argument
2912 if (!CheckDynamicMemoryAllocation(S, OpPC)) in Free()
2920 const Pointer &Ptr = S.Stk.pop<Pointer>(); in Free()
2927 const SourceInfo &Loc = S.Current->getSource(OpPC); in Free()
2928 S.FFDiag(Loc, diag::note_constexpr_delete_subobject) in Free()
2929 << Ptr.toDiagnosticString(S.getCtx()) << Ptr.isOnePastEnd(); in Free()
2936 if (!CheckDeleteSource(S, OpPC, Source, Ptr)) in Free()
2943 if (!RunDestructors(S, OpPC, BlockToDelete)) in Free()
2946 DynamicAllocator &Allocator = S.getAllocator(); in Free()
2950 if (!Allocator.deallocate(Source, BlockToDelete, S)) { in Free()
2952 const SourceInfo &Loc = S.Current->getSource(OpPC); in Free()
2953 S.FFDiag(Loc, diag::note_constexpr_double_delete); in Free()
2956 return CheckNewDeleteForms(S, OpPC, WasArrayAlloc, DeleteIsArrayForm, in Free()
2964 template <typename T> inline T ReadArg(InterpState &S, CodePtr &OpPC) { in ReadArg() argument
2967 return reinterpret_cast<T>(S.P.getNativePointer(ID)); in ReadArg()
2973 template <> inline Floating ReadArg<Floating>(InterpState &S, CodePtr &OpPC) {
2980 inline IntegralAP<false> ReadArg<IntegralAP<false>>(InterpState &S,
2988 inline IntegralAP<true> ReadArg<IntegralAP<true>>(InterpState &S,