blob: 5df417607cb28611e287cfe127f47f5d22eca616 [file] [log] [blame]
// PR tree-optimization/71625 - missing strlen optimization on different
// array initialization style
// Verify that zero-length array initialization results in the expected
// array sizes and in the expected diagnostics. See init-string-3.c
// for the corresponding C test.
// { dg-do compile }
// { dg-options "-Wall -Wno-unused-local-typedefs -fpermissive" }
#define A(expr) typedef char A[-1 + 2 * !!(expr)];
const char a[] = { };
A (sizeof a == 0);
const char b[0] = { };
A (sizeof b == 0);
// Also verify that the error is "too many initializers for
// 'const char [0]'" and not "initializer-string is too long."
const char c[0] = { 1 }; // { dg-error "too many initializers for .const char \\\[0]" }
A (sizeof c == 0);
void test_auto_empty (void)
{
const char a[] = { };
A (sizeof a == 0);
}
void test_auto_zero_length (void)
{
const char a[0] = { };
A (sizeof a == 0);
const char b[0] = { 0 }; // { dg-error "too many initializers" }
A (sizeof b == 0);
const char c[0] = ""; // { dg-warning "too long" }
A (sizeof c == 0);
}
void test_compound_zero_length (void)
{
A (sizeof (const char[]){ } == 0);
A (sizeof (const char[0]){ } == 0);
A (sizeof (const char[0]){ 0 } == 0); // { dg-error "too many" }
A (sizeof (const char[0]){ 1 } == 0); // { dg-error "too many" }
A (sizeof (const char[0]){ "" } == 0); // { dg-warning "too long" }
A (sizeof (const char[0]){ "1" } == 0); // { dg-warning "too long" }
}