diff options
| -rw-r--r-- | clang/lib/AST/ByteCode/InterpBuiltin.cpp | 12 | ||||
| -rw-r--r-- | clang/test/AST/ByteCode/c.c | 10 |
2 files changed, 22 insertions, 0 deletions
diff --git a/clang/lib/AST/ByteCode/InterpBuiltin.cpp b/clang/lib/AST/ByteCode/InterpBuiltin.cpp index 285ea71..d7de4c0 100644 --- a/clang/lib/AST/ByteCode/InterpBuiltin.cpp +++ b/clang/lib/AST/ByteCode/InterpBuiltin.cpp @@ -2769,6 +2769,18 @@ static bool copyComposite(InterpState &S, CodePtr OpPC, const Pointer &Src, return true; } + if (DestDesc->isCompositeArray()) { + assert(SrcDesc->isCompositeArray()); + assert(SrcDesc->getNumElems() == DestDesc->getNumElems()); + for (unsigned I = 0, N = DestDesc->getNumElems(); I != N; ++I) { + const Pointer &SrcElem = Src.atIndex(I).narrow(); + Pointer DestElem = Dest.atIndex(I).narrow(); + if (!copyComposite(S, OpPC, SrcElem, DestElem, Activate)) + return false; + } + return true; + } + if (DestDesc->isRecord()) return copyRecord(S, OpPC, Src, Dest, Activate); return Invalid(S, OpPC); diff --git a/clang/test/AST/ByteCode/c.c b/clang/test/AST/ByteCode/c.c index 7cb7f96..fe47f9c 100644 --- a/clang/test/AST/ByteCode/c.c +++ b/clang/test/AST/ByteCode/c.c @@ -203,6 +203,16 @@ const struct StrA sc = *sb; _Static_assert(sc.a == 12, ""); // pedantic-ref-warning {{GNU extension}} \ // pedantic-expected-warning {{GNU extension}} +struct ComplexS { + int a; + float b; + struct StrA sa[2]; +}; +const struct ComplexS CS = {12, 23.0f, {{1}, {2}}}; +const struct ComplexS CS2 = CS; +_Static_assert(CS2.sa[0].a == 1, ""); // pedantic-ref-warning {{GNU extension}} \ + // pedantic-expected-warning {{GNU extension}} + _Static_assert(((void*)0 + 1) != (void*)0, ""); // pedantic-expected-warning {{arithmetic on a pointer to void is a GNU extension}} \ // pedantic-expected-warning {{not an integer constant expression}} \ // pedantic-expected-note {{cannot perform pointer arithmetic on null pointer}} \ |