forked from OSchip/llvm-project
134 lines
5.0 KiB
C
134 lines
5.0 KiB
C
// RUN: %clang_analyze_cc1 -triple x86_64-pc-linux-gnu -analyzer-checker=core,alpha.valist.Unterminated,alpha.valist.CopyToSelf -analyzer-output=text -analyzer-store=region -verify %s
|
|
|
|
#include "Inputs/system-header-simulator-for-valist.h"
|
|
|
|
void f1(int fst, ...) {
|
|
va_list va;
|
|
va_start(va, fst); // expected-note{{Initialized va_list}}
|
|
return; // expected-warning{{Initialized va_list 'va' is leaked}} expected-note{{Initialized va_list 'va' is leaked}}
|
|
}
|
|
|
|
void f2(int fst, ...) {
|
|
va_list va;
|
|
va_start(va, fst); // expected-note{{Initialized va_list}}
|
|
va_end(va); // expected-note{{Ended va_list}}
|
|
va_start(va, fst); // expected-note{{Initialized va_list}}
|
|
} // expected-warning{{Initialized va_list 'va' is leaked}} expected-note{{Initialized va_list 'va' is leaked}}}
|
|
|
|
void f3(int fst, ...) {
|
|
va_list va, va2;
|
|
va_start(va, fst);
|
|
va_copy(va2, va); // expected-note{{Initialized va_list}}
|
|
va_end(va); // expected-warning{{Initialized va_list 'va2' is leaked}} expected-note{{Initialized va_list 'va2' is leaked}}
|
|
}
|
|
|
|
void f4(va_list *fst, ...) {
|
|
va_start(*fst, fst); // expected-note{{Initialized va_list}}
|
|
return; // expected-warning{{Initialized va_list is leaked}} expected-note{{Initialized va_list is leaked}}
|
|
}
|
|
|
|
void f5(va_list fst, ...) {
|
|
va_start(fst, fst);
|
|
//FIXME: this should cause a warning
|
|
} // no-warning
|
|
|
|
void f6(va_list *fst, ...) {
|
|
va_start(*fst, fst); // expected-note{{Initialized va_list}}
|
|
(void)va_arg(*fst, int);
|
|
//FIXME: this should NOT cause a warning
|
|
va_end(*fst); // expected-warning{{Initialized va_list is leaked}} expected-note{{Initialized va_list is leaked}}
|
|
}
|
|
|
|
void f7(int *fst, ...) {
|
|
va_list x;
|
|
va_list *y = &x;
|
|
va_start(*y,fst); // expected-note{{Initialized va_list}}
|
|
} // expected-warning{{Initialized va_list 'x' is leaked}} expected-note{{Initialized va_list 'x' is leaked}}
|
|
|
|
void f8(int *fst, ...) {
|
|
va_list x;
|
|
va_list *y = &x;
|
|
va_start(*y,fst);
|
|
va_end(x);
|
|
} // no-warning
|
|
|
|
void reinit(int *fst, ...) {
|
|
va_list va;
|
|
va_start(va, fst); // expected-note{{Initialized va_list}} expected-note{{Initialized va_list}}
|
|
va_start(va, fst); // expected-warning{{Initialized va_list 'va' is initialized again}} expected-note{{Initialized va_list 'va' is initialized again}}
|
|
} // expected-warning{{Initialized va_list 'va' is leaked}} expected-note{{Initialized va_list 'va' is leaked}}
|
|
|
|
void reinitOk(int *fst, ...) {
|
|
va_list va;
|
|
va_start(va, fst);
|
|
va_end(va);
|
|
va_start(va, fst);
|
|
va_end(va);
|
|
} // no-warning
|
|
|
|
void copyself(int fst, ...) {
|
|
va_list va;
|
|
va_start(va, fst); // expected-note{{Initialized va_list}}
|
|
va_copy(va, va); // expected-warning{{va_list 'va' is copied onto itself}} expected-note{{va_list 'va' is copied onto itself}}
|
|
va_end(va);
|
|
} // no-warning
|
|
|
|
void copyselfUninit(int fst, ...) {
|
|
va_list va;
|
|
va_copy(va, va); // expected-warning{{va_list 'va' is copied onto itself}} expected-note{{va_list 'va' is copied onto itself}}
|
|
} // no-warning
|
|
|
|
void copyOverwrite(int fst, ...) {
|
|
va_list va, va2;
|
|
va_start(va, fst); // expected-note{{Initialized va_list}}
|
|
va_copy(va, va2); // expected-warning{{Initialized va_list 'va' is overwritten by an uninitialized one}} expected-note{{Initialized va_list 'va' is overwritten by an uninitialized one}}
|
|
} // no-warning
|
|
|
|
//This only generates a warning for the valist.Uninitialized checker
|
|
void copyUnint(int fst, ...) {
|
|
va_list va, va2;
|
|
va_copy(va, va2);
|
|
} // no-warning
|
|
|
|
void recopy(int fst, ...) {
|
|
va_list va, va2;
|
|
va_start(va, fst);
|
|
va_copy(va2, va); // expected-note{{Initialized va_list}}
|
|
va_copy(va2, va); // expected-warning{{Initialized va_list 'va2' is initialized again}} expected-note{{Initialized va_list 'va2' is initialized again}}
|
|
va_end(va);
|
|
va_end(va2);
|
|
} //no-warning
|
|
|
|
void doublemsg(int fst, ...) {
|
|
va_list va, va2;
|
|
va_start(va, fst), va_start(va2, fst); // expected-warning{{Initialized va_list 'va' is leaked}} expected-warning{{Initialized va_list 'va2' is leaked}} expected-note{{Initialized va_list}} expected-note{{Initialized va_list}} expected-note{{Initialized va_list}} expected-note{{Initialized va_list 'va' is leaked}}
|
|
}
|
|
|
|
void in_array(int fst, ...) {
|
|
va_list va_array[8];
|
|
va_start(va_array[3], fst); // expected-note{{Initialized va_list}}
|
|
} // expected-warning{{Initialized va_list 'va_array[3]' is leaked}} expected-note{{Initialized va_list 'va_array[3]' is leaked}}
|
|
|
|
struct containing_a_valist {
|
|
va_list vafield;
|
|
int foobar;
|
|
};
|
|
|
|
void in_struct(int fst, ...) {
|
|
struct containing_a_valist s;
|
|
va_start(s.vafield, fst); // expected-note{{Initialized va_list}}
|
|
} // expected-warning{{Initialized va_list 's.vafield' is leaked}} expected-note{{Initialized va_list 's.vafield' is leaked}}
|
|
|
|
void casting(int fst, ...) {
|
|
char mem[sizeof(va_list)];
|
|
va_start(*(va_list *) mem, fst); // expected-note{{Initialized va_list}}
|
|
} // expected-warning{{Initialized va_list 'mem[0]' is leaked}} expected-note{{Initialized va_list 'mem[0]' is leaked}}
|
|
|
|
|
|
void castingOk(int fst, ...) {
|
|
char mem[sizeof(va_list)];
|
|
va_start(*(va_list *) mem, fst);
|
|
va_end(*(va_list *) mem);
|
|
} // no-warning
|
|
|