[clang] [clang][Interp] Implement dynamic memory allocation handling (PR #70306)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Oct 26 02:20:56 PDT 2023
================
@@ -1990,6 +2011,79 @@ inline bool OffsetOf(InterpState &S, CodePtr OpPC, const OffsetOfExpr *E) {
return true;
}
+inline bool Alloc(InterpState &S, CodePtr OpPC, const Descriptor *Desc) {
+ assert(Desc);
+
+ if (!CheckDynamicMemoryAllocation(S, OpPC))
+ return false;
+
+ DynamicAllocator &Allocator = S.getAllocator();
+ Block *B = Allocator.allocate(Desc);
+
+ S.Stk.push<Pointer>(B, sizeof(InlineDescriptor));
+
+ return true;
+}
+
+template <PrimType Name, class SizeT = typename PrimConv<Name>::T>
+inline bool AllocN(InterpState &S, CodePtr OpPC, PrimType T,
+ const Expr *Source) {
+ if (!CheckDynamicMemoryAllocation(S, OpPC))
+ return false;
----------------
cor3ntin wrote:
I think we want similar diagnostics as we have in `EvalInfo::CheckArraySize` here - ie for some large `NumElements` we should fail
https://github.com/llvm/llvm-project/pull/70306
More information about the cfe-commits
mailing list