llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang Author: Timm Baeder (tbaederr) <details> <summary>Changes</summary> They can't be written to or read from. Fixes #<!-- -->158535 --- Full diff: https://github.com/llvm/llvm-project/pull/158543.diff 2 Files Affected: - (modified) clang/lib/AST/ByteCode/Interp.h (+3) - (modified) clang/test/AST/ByteCode/vectors.cpp (+12) ``````````diff diff --git a/clang/lib/AST/ByteCode/Interp.h b/clang/lib/AST/ByteCode/Interp.h index 9a7bd03bea077..d8362ee3176a0 100644 --- a/clang/lib/AST/ByteCode/Interp.h +++ b/clang/lib/AST/ByteCode/Interp.h @@ -3156,6 +3156,9 @@ inline bool CopyArray(InterpState &S, CodePtr OpPC, uint32_t SrcIndex, const auto &SrcPtr = S.Stk.pop<Pointer>(); const auto &DestPtr = S.Stk.peek<Pointer>(); + if (SrcPtr.isDummy() || DestPtr.isDummy()) + return false; + for (uint32_t I = 0; I != Size; ++I) { const Pointer &SP = SrcPtr.atIndex(SrcIndex + I); diff --git a/clang/test/AST/ByteCode/vectors.cpp b/clang/test/AST/ByteCode/vectors.cpp index 91fec8f86f613..2eb615e906cf5 100644 --- a/clang/test/AST/ByteCode/vectors.cpp +++ b/clang/test/AST/ByteCode/vectors.cpp @@ -168,3 +168,15 @@ namespace Assign { } static_assert(invalid()); // both-error {{not an integral constant expression}} } + +namespace CopyArrayDummy { + struct S { + long a, b, c, d; + }; + typedef long T __attribute__((vector_size(4 * sizeof(long)))); + + void foo(void) { + struct S s; + *(T *)&s = (T){0, 1, 2, 3}; + } +} `````````` </details> https://github.com/llvm/llvm-project/pull/158543 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
