75 lines · c
1// RUN: %clang_cc1 -verify -std=c2y -Wall -pedantic -ffreestanding %s2// RUN: %clang_cc1 -std=c99 -verify=expected,ped -Wall -pedantic -ffreestanding %s3 4/* WG14 N3346: Yes5 * Slay Some Earthly Demons VIII6 *7 * Updates some undefined behavior during initialization to instead be a8 * constraint violation.9 */10 11// The initializer for a scalar shall be a single expression, optionally12// enclosed in braces, or it shall be an empty initializer.13int i = 12, j = {12}, k = {}; // ped-warning {{use of an empty initializer is a C23 extension}}14 15struct S {16 int i;17 float f;18 int : 0;19 char c;20};21 22void test1(void) {23 // The initializer for an object that has structure or union type shall be24 // either a single expression that has compatible type or a brace-enclosed25 // list of initializers for the elements or named members.26 struct S s1 = { 1, 1.2f, 'a' };27 struct S s2 = s1;28 29 // Despite being structurally identical to S, T is not compatible with S.30 struct T { int i; float f; int : 0; char c; } t;31 struct S s3 = t; // expected-error {{initializing 'struct S' with an expression of incompatible type 'struct T'}}32}33 34void test2(void) {35 typedef __WCHAR_TYPE__ wchar_t;36 37 // The initializer for an array shall be either a string literal, optionally38 // enclosed in braces, or a brace-enclosed list of initializers for the39 // elements. An array initialized by character string literal or UTF-8 string40 // literal shall have a character type as element type. An array initialized41 // with a wide string literal shall have element type compatible with a42 // qualified or unqualified wchar_t, char16_t, or char32_t, and the string43 // literal shall have the corresponding encoding prefix (L, u, or U,44 // respectively).45 char str1[] = "string literal";46 char str2[] = { "string literal" };47 48 float str5[] = "this doesn't work"; // expected-error {{array initializer must be an initializer list}}49 float str6[] = { "this also doesn't work" }; // expected-error {{initializing 'float' with an expression of incompatible type 'char[23]'}}50 51 wchar_t str7[] = L"string literal";52 wchar_t str8[] = { L"string literal" };53 54#if __STDC_VERSION__ >= 201112L55 typedef __CHAR16_TYPE__ char16_t;56 typedef __CHAR32_TYPE__ char32_t;57 58 char str3[] = u8"string literal";59 char str4[] = { u8"string literal" };60 61 char16_t str9[] = u"string literal";62 char16_t str10[] = { u"string literal" };63 char32_t str11[] = U"string literal";64 char32_t str12[] = { U"string literal" };65 66 char16_t str15[] = "nope"; // expected-error {{initializing wide char array with non-wide string literal}}67 char16_t str16[] = { "nope" }; // expected-error-re {{incompatible pointer to integer conversion initializing 'char16_t' (aka '{{.*}}') with an expression of type 'char[5]'}}68 char32_t str17[] = "nope"; // expected-error {{initializing wide char array with non-wide string literal}}69 char32_t str18[] = { "nope" }; // expected-error-re {{incompatible pointer to integer conversion initializing 'char32_t' (aka '{{.*}}') with an expression of type 'char[5]'}}70#endif71 72 wchar_t str13[] = "nope"; // expected-error {{initializing wide char array with non-wide string literal}}73 wchar_t str14[] = { "nope" }; // expected-error-re {{incompatible pointer to integer conversion initializing 'wchar_t' (aka '{{.*}}') with an expression of type 'char[5]'}}74}75