File: missing-field-initializers.c

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (63 lines) | stat: -rw-r--r-- 1,515 bytes parent folder | download | duplicates (8)
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
59
60
61
62
63
// RUN: %clang_cc1 -fsyntax-only -verify -Wmissing-field-initializers %s

// This was PR4808.

struct Foo { int a, b; };

struct Foo foo0 = { 1 }; // expected-warning {{missing field 'b' initializer}}
struct Foo foo1 = { .a = 1 }; // designator avoids MFI warning
struct Foo foo2 = { .b = 1 }; // designator avoids MFI warning

struct Foo bar0[] = {
  { 1,2 },
  { 1 },   // expected-warning {{missing field 'b' initializer}}
  { 1,2 }
};

struct Foo bar1[] = {
  1, 2,
  1, 2,
  1
}; // expected-warning {{missing field 'b' initializer}}

struct Foo bar2[] = { {}, {}, {} };

struct One { int a; int b; };
struct Two { float c; float d; float e; };

struct Three {
    union {
        struct One one;
        struct Two two;
    } both;
};

struct Three t0 = {
    { .one = { 1, 2 } }
};
struct Three t1 = {
    { .two = { 1.0f, 2.0f, 3.0f } }
};

struct Three data[] = {
  { { .one = { 1, 2 } } },
  { { .one = { 1 } } }, // expected-warning {{missing field 'b' initializer}}
  { { .two = { 1.0f, 2.0f, 3.0f } } },
  { { .two = { 1.0f, 2.0f } } } // expected-warning {{missing field 'e' initializer}}
};

struct { int:5; int a; int:5; int b; int:5; } noNamedImplicit[] = {
  { 1, 2 },
  { 1 } // expected-warning {{missing field 'b' initializer}}
};

// GH66300
struct S {
  int f0;
  int f1[];
};

// We previously would accidentally diagnose missing a field initializer for
// f1, now we no longer issue that warning (note, this code is still unsafe
// because of the buffer overrun).
struct S s = {1, {1, 2}};