1*ad3ab2aeSRichard Smith // RUN: %clang_cc1 -std=c++1y -verify %s
2*ad3ab2aeSRichard Smith
3*ad3ab2aeSRichard Smith // expected-no-diagnostics
copy(const char * from,unsigned long count,char * to)4*ad3ab2aeSRichard Smith constexpr void copy(const char *from, unsigned long count, char *to) {
5*ad3ab2aeSRichard Smith unsigned long n = (count + 7) / 8;
6*ad3ab2aeSRichard Smith switch(count % 8) {
7*ad3ab2aeSRichard Smith case 0: do { *to++ = *from++;
8*ad3ab2aeSRichard Smith case 7: *to++ = *from++;
9*ad3ab2aeSRichard Smith case 6: *to++ = *from++;
10*ad3ab2aeSRichard Smith case 5: *to++ = *from++;
11*ad3ab2aeSRichard Smith case 4: *to++ = *from++;
12*ad3ab2aeSRichard Smith case 3: *to++ = *from++;
13*ad3ab2aeSRichard Smith case 2: *to++ = *from++;
14*ad3ab2aeSRichard Smith case 1: *to++ = *from++;
15*ad3ab2aeSRichard Smith } while(--n > 0);
16*ad3ab2aeSRichard Smith }
17*ad3ab2aeSRichard Smith }
18*ad3ab2aeSRichard Smith
19*ad3ab2aeSRichard Smith struct S {
20*ad3ab2aeSRichard Smith char stuff[14];
SS21*ad3ab2aeSRichard Smith constexpr S() : stuff{} {
22*ad3ab2aeSRichard Smith copy("Hello, world!", 14, stuff);
23*ad3ab2aeSRichard Smith }
24*ad3ab2aeSRichard Smith };
25*ad3ab2aeSRichard Smith
streq(const char * a,const char * b)26*ad3ab2aeSRichard Smith constexpr bool streq(const char *a, const char *b) {
27*ad3ab2aeSRichard Smith while (*a && *a == *b) ++a, ++b;
28*ad3ab2aeSRichard Smith return *a == *b;
29*ad3ab2aeSRichard Smith }
30*ad3ab2aeSRichard Smith
31*ad3ab2aeSRichard Smith static_assert(streq(S().stuff, "Hello, world!"), "should be same");
32*ad3ab2aeSRichard Smith static_assert(!streq(S().stuff, "Something else"), "should be different");
33