summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/init-string-3.c
blob: e955f2e6ce13c6e7a8ac86e4e1ef523af0ecb6a0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
/* PR tree-optimization/71625 - missing strlen optimization on different
   array initialization style

   Verify that zero-length array initialization results in the expected
   array sizes.

   { dg-do compile }
   { dg-options "-Wall -Wno-unused-local-typedefs" }  */

#define A(expr) typedef char A[-1 + 2 * !!(expr)];

const char a[] = { };

A (sizeof a == 0);


const char b[0] = { };

A (sizeof b == 0);


const char c[0] = { 1 };    /* { dg-warning "excess elements" } */

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-warning "excess elements" } */

  A (sizeof b == 0);

  const char c[0] = "";

  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-warning "excess elements" } */
  A (sizeof (const char[0]){ 1 } == 0);   /* { dg-warning "excess elements" } */
  A (sizeof (const char[0]){ "" } == 0);
  A (sizeof (const char[0]){ "1" } == 0);  /* { dg-warning "too long" } */
}