test/Analysis/valist-uninitialized.c

7   va_list va;
8   (void)va_arg(va, int); // expected-warning{{va_arg() is called on an uninitialized va_list}}
13   va_list va;
14   va_start(va, fst); // expected-note{{Initialized va_list}}
15   va_end(va); // expected-note{{Ended va_list}}
16   return va_arg(va, int); // expected-warning{{va_arg() is called on an uninitialized va_list}}
21   va_list va, va2;
22   va_start(va, fst);
23   va_copy(va2, va);
24   va_end(va);
30   va_list va;
33     va_start(va, cond);
34     (void)va_arg(va,int);
36   va_end(va); //expected-warning{{va_end() is called on an uninitialized va_list}}
65   va_list va;
66   va_start(va, fst);
67   va_start(va, fst);
68   (void)va_arg(va, int);
72   va_list va;
73   va_start(va, fst);
74   (void)va_arg(va, int);
75   va_end(va);
76   va_start(va, fst);
77   (void)va_arg(va, int);
78   va_end(va);
82   va_list va;
83   va_start(va, fst); // expected-note{{Initialized va_list}}
84   (void)va_arg(va, int);
85   va_end(va); // expected-note{{Ended va_list}}
86   va_start(va, fst); // expected-note{{Initialized va_list}}
87   (void)va_arg(va, int);
88   va_end(va); // expected-note{{Ended va_list}}
89   (void)va_arg(va, int); //expected-warning{{va_arg() is called on an uninitialized va_list}}
94   va_list va;
95   va_start(va, fst); // expected-note{{Initialized va_list}}
96   va_copy(va, va); // expected-warning{{va_list 'va' is copied onto itself}}
98   va_end(va);
102   va_list va;
103   va_copy(va, va); // expected-warning{{va_list 'va' is copied onto itself}}
108   va_list va, va2;
109   va_start(va, fst); // expected-note{{Initialized va_list}}
110 …va_copy(va, va2); // expected-warning{{Initialized va_list 'va' is overwritten by an uninitialized…
115   va_list va, va2;
116   va_copy(va, va2); // expected-warning{{Uninitialized va_list is copied}}
121   va_list va;
122   va_end(va); // expected-warning{{va_end() is called on an uninitialized va_list}}
127   va_list va;
128   va_start(va, fst); // expected-note{{Initialized va_list}}
129   va_end(va); // expected-note{{Ended va_list}}
130   va_end(va); // expected-warning{{va_end() is called on an uninitialized va_list}}
135   va_list va;
136   va_end(va); // expected-warning{{va_end() is called on an uninitialized va_list}}
152   va_list va;
153   va_start(va, isstring);
154   vprintf(isstring ? "%s" : "%d", va);
155   va_end(va);
159   va_list va;
160   some_library_function(n, va);
168   va_list va;
169   va_start(va, fst);
170   inlined_uses_arg_good(va);
171   va_end(va);