Clang Project

clang_source_code/test/Analysis/valist-unterminated.c
1// RUN: %clang_analyze_cc1 -triple hexagon-unknown-linux -analyzer-checker=core,valist.Unterminated,valist.CopyToSelf -analyzer-output=text -analyzer-store=region -verify %s
2// RUN: %clang_analyze_cc1 -triple x86_64-pc-linux-gnu -analyzer-checker=core,valist.Unterminated,valist.CopyToSelf -analyzer-output=text -analyzer-store=region -verify %s
3
4#include "Inputs/system-header-simulator-for-valist.h"
5
6void f1(int fst, ...) {
7  va_list va;
8  va_start(va, fst); // expected-note{{Initialized va_list}}
9  return; // expected-warning{{Initialized va_list 'va' is leaked}}
10  // expected-note@-1{{Initialized va_list 'va' is leaked}}
11}
12
13void f2(int fst, ...) {
14  va_list va;
15  va_start(va, fst); // expected-note{{Initialized va_list}}
16  va_end(va); // expected-note{{Ended va_list}}
17  va_start(va, fst); // expected-note{{Initialized va_list}}
18} // expected-warning{{Initialized va_list 'va' is leaked}}
19  // expected-note@-1{{Initialized va_list 'va' is leaked}}
20
21void f3(int fst, ...) {
22  va_list va, va2;
23  va_start(va, fst);
24  va_copy(va2, va); // expected-note{{Initialized va_list}}
25  va_end(va); // expected-warning{{Initialized va_list 'va2' is leaked}}
26  // expected-note@-1{{Initialized va_list 'va2' is leaked}}
27}
28
29void f4(va_list *fst, ...) {
30  va_start(*fst, fst); // expected-note{{Initialized va_list}}
31  return; // expected-warning{{Initialized va_list is leaked}}
32  // expected-note@-1{{Initialized va_list is leaked}}
33}
34
35void f5(va_list fst, ...) {
36  va_start(fst, fst); // expected-note{{Initialized va_list}}
37} // expected-warning{{Initialized va_list}}
38  // expected-note@-1{{Initialized va_list}}
39
40void f6(va_list *fst, ...) {
41  va_start(*fst, fst); // expected-note{{Initialized va_list}}
42  (void)va_arg(*fst, int);
43  //FIXME: this should NOT cause a warning
44  va_end(*fst); // expected-warning{{Initialized va_list is leaked}}
45  // expected-note@-1{{Initialized va_list is leaked}}
46}
47
48void f7(int *fst, ...) {
49  va_list x;
50  va_list *y = &x;
51  va_start(*y,fst); // expected-note{{Initialized va_list}}
52} // expected-warning{{Initialized va_list 'x' is leaked}}
53  // expected-note@-1{{Initialized va_list 'x' is leaked}}
54
55void f8(int *fst, ...) {
56  va_list x;
57  va_list *y = &x;
58  va_start(*y,fst);
59  va_end(x);
60} // no-warning 
61
62void reinit(int *fst, ...) {
63  va_list va;
64  va_start(va, fst); // expected-note{{Initialized va_list}}
65                     // expected-note@-1{{Initialized va_list}}
66  va_start(va, fst); // expected-warning{{Initialized va_list 'va' is initialized again}}
67  // expected-note@-1{{Initialized va_list 'va' is initialized again}}
68} // expected-warning{{Initialized va_list 'va' is leaked}}
69  // expected-note@-1{{Initialized va_list 'va' is leaked}}
70
71void reinitOk(int *fst, ...) {
72  va_list va;
73  va_start(va, fst);
74  va_end(va);
75  va_start(va, fst);
76  va_end(va);
77} // no-warning
78
79void copyself(int fst, ...) {
80  va_list va;
81  va_start(va, fst); // expected-note{{Initialized va_list}}
82  va_copy(va, va); // expected-warning{{va_list 'va' is copied onto itself}}
83                   // expected-note@-1{{va_list 'va' is copied onto itself}}
84  va_end(va);
85}
86
87void copyselfUninit(int fst, ...) {
88  va_list va;
89  va_copy(va, va); // expected-warning{{va_list 'va' is copied onto itself}}
90  // expected-note@-1{{va_list 'va' is copied onto itself}}
91}
92
93void copyOverwrite(int fst, ...) {
94  va_list va, va2;
95  va_start(va, fst); // expected-note{{Initialized va_list}}
96  va_copy(va, va2); // expected-warning{{Initialized va_list 'va' is overwritten by an uninitialized one}}
97  // expected-note@-1{{Initialized va_list 'va' is overwritten by an uninitialized one}}
98}
99
100//This only generates a warning for the valist.Uninitialized checker
101void copyUnint(int fst, ...) {
102  va_list va, va2;
103  va_copy(va, va2);
104} // no-warning
105
106void recopy(int fst, ...) {
107  va_list va, va2;
108  va_start(va, fst);
109  va_copy(va2, va); // expected-note{{Initialized va_list}}
110  va_copy(va2, va); // expected-warning{{Initialized va_list 'va2' is initialized again}}
111  // expected-note@-1{{Initialized va_list 'va2' is initialized again}}
112  va_end(va);
113  va_end(va2);
114}
115
116void doublemsg(int fst, ...) {
117  va_list va, va2;
118  va_start(va, fst), va_start(va2, fst); // expected-warning{{Initialized va_list 'va' is leaked}}
119  // expected-warning@-1{{Initialized va_list 'va2' is leaked}}
120  // expected-note@-2{{Initialized va_list}}
121  // expected-note@-3{{Initialized va_list}}
122  // expected-note@-4{{Initialized va_list}}
123  // expected-note@-5{{Initialized va_list 'va' is leaked}} 
124} 
125
126void in_array(int fst, ...) {
127  va_list va_array[8];
128  va_start(va_array[3], fst); // expected-note{{Initialized va_list}}
129} // expected-warning{{Initialized va_list 'va_array[3]' is leaked}}
130  // expected-note@-1{{Initialized va_list 'va_array[3]' is leaked}}
131
132struct containing_a_valist {
133  va_list vafield;
134  int foobar;
135};
136
137void in_struct(int fst, ...) {
138  struct containing_a_valist s;
139  va_start(s.vafield, fst); // expected-note{{Initialized va_list}}
140} // expected-warning{{Initialized va_list 's.vafield' is leaked}}
141  // expected-note@-1{{Initialized va_list 's.vafield' is leaked}}
142
143void casting(int fst, ...) {
144  char mem[sizeof(va_list)];
145  va_start(*(va_list *) mem, fst); // expected-note{{Initialized va_list}}
146} // expected-warning{{Initialized va_list 'mem[0]' is leaked}}
147  // expected-note@-1{{Initialized va_list 'mem[0]' is leaked}}
148
149
150void castingOk(int fst, ...) {
151  char mem[sizeof(va_list)];
152  va_start(*(va_list *) mem, fst);
153  va_end(*(va_list *) mem);
154} // no-warning
155
156
CodeThinker, Enjoy your reading code