llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang Author: Timm Baeder (tbaederr) <details> <summary>Changes</summary> Call deallocate() here directly instead of iterating the scope again in `InterpFrame::destroy()`. --- Full diff: https://github.com/llvm/llvm-project/pull/219874.diff 1 Files Affected: - (modified) clang/lib/AST/ByteCode/Interp.cpp (+12-6) ``````````diff diff --git a/clang/lib/AST/ByteCode/Interp.cpp b/clang/lib/AST/ByteCode/Interp.cpp index 896b2ab4494e7..258720981c4fb 100644 --- a/clang/lib/AST/ByteCode/Interp.cpp +++ b/clang/lib/AST/ByteCode/Interp.cpp @@ -3045,19 +3045,25 @@ bool InvalidCast(InterpState &S, CodePtr OpPC, CastKind Kind, bool Fatal) { return false; } +// Destroy one scope: deallocate all local variables of the scope and diagnose +// out-of-lifetime destroys. bool Destroy(InterpState &S, CodePtr OpPC, uint32_t I) { assert(S.Current->getFunction()); - // FIXME: We iterate the scope once here and then again in the destroy() call - // below. for (auto &Local : S.Current->getFunction()->getScope(I).locals_reverse()) { - if (!S.Current->getLocalBlock(Local.Offset)->isInitialized()) + Block *LocalBlock = S.Current->getLocalBlock(Local.Offset); + + if (!LocalBlock->isInitialized()) continue; - const Pointer &Ptr = S.Current->getLocalPointer(Local.Offset); - if (Ptr.getLifetime() == Lifetime::Ended) + + if (LocalBlock->getBlockDesc<InlineDescriptor>().LifeState == + Lifetime::Ended) { + const Pointer Ptr = S.Current->getLocalPointer(Local.Offset); return diagnoseOutOfLifetimeDestroy(S, OpPC, Ptr); + } + + S.deallocate(LocalBlock); } - S.Current->destroy(I); return true; } `````````` </details> https://github.com/llvm/llvm-project/pull/219874 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
