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(); const auto &DestPtr = S.Stk.peek(); + 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}; + } +}