From ad3ab2ae61a105fb33454bf503032447a2e96e4f Mon Sep 17 00:00:00 2001 From: Richard Smith Date: Thu, 25 Jul 2013 01:53:54 +0000 Subject: [PATCH] Add another C++14 constexpr test case. llvm-svn: 187096 --- clang/test/SemaCXX/constexpr-duffs-device.cpp | 32 +++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 clang/test/SemaCXX/constexpr-duffs-device.cpp diff --git a/clang/test/SemaCXX/constexpr-duffs-device.cpp b/clang/test/SemaCXX/constexpr-duffs-device.cpp new file mode 100644 index 000000000000..f77d989b9d36 --- /dev/null +++ b/clang/test/SemaCXX/constexpr-duffs-device.cpp @@ -0,0 +1,32 @@ +// RUN: %clang_cc1 -std=c++1y -verify %s + +// expected-no-diagnostics +constexpr void copy(const char *from, unsigned long count, char *to) { + unsigned long n = (count + 7) / 8; + switch(count % 8) { + case 0: do { *to++ = *from++; + case 7: *to++ = *from++; + case 6: *to++ = *from++; + case 5: *to++ = *from++; + case 4: *to++ = *from++; + case 3: *to++ = *from++; + case 2: *to++ = *from++; + case 1: *to++ = *from++; + } while(--n > 0); + } +} + +struct S { + char stuff[14]; + constexpr S() : stuff{} { + copy("Hello, world!", 14, stuff); + } +}; + +constexpr bool streq(const char *a, const char *b) { + while (*a && *a == *b) ++a, ++b; + return *a == *b; +} + +static_assert(streq(S().stuff, "Hello, world!"), "should be same"); +static_assert(!streq(S().stuff, "Something else"), "should be different"); -- GitLab