1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify
2*67e74705SXin Li // expected-no-diagnostics
3*67e74705SXin Li
4*67e74705SXin Li typedef struct _FILE FILE;
5*67e74705SXin Li typedef __typeof(sizeof(int)) size_t;
6*67e74705SXin Li extern FILE *stdin;
7*67e74705SXin Li typedef long ssize_t;
8*67e74705SXin Li ssize_t getline(char ** __restrict, size_t * __restrict, FILE * __restrict);
9*67e74705SXin Li int printf(const char * __restrict, ...);
10*67e74705SXin Li int snprintf(char *, size_t, const char *, ...);
11*67e74705SXin Li void free(void *ptr);
12*67e74705SXin Li
13*67e74705SXin Li struct GetLineTestStruct {
14*67e74705SXin Li ssize_t getline(char ** __restrict, size_t * __restrict, FILE * __restrict);
15*67e74705SXin Li };
16*67e74705SXin Li
getlineTest(void)17*67e74705SXin Li void getlineTest(void) {
18*67e74705SXin Li FILE *fp;
19*67e74705SXin Li char *line = 0;
20*67e74705SXin Li size_t len = 0;
21*67e74705SXin Li ssize_t read;
22*67e74705SXin Li struct GetLineTestStruct T;
23*67e74705SXin Li
24*67e74705SXin Li while ((read = T.getline(&line, &len, stdin)) != -1) {
25*67e74705SXin Li printf("%s", line); // no warning
26*67e74705SXin Li }
27*67e74705SXin Li free(line);
28*67e74705SXin Li }
29*67e74705SXin Li
30*67e74705SXin Li class opaque;
testOpaqueClass(opaque * obj)31*67e74705SXin Li void testOpaqueClass(opaque *obj) {
32*67e74705SXin Li char buf[20];
33*67e74705SXin Li snprintf(buf, 20, "%p", obj); // don't crash trying to load *obj
34*67e74705SXin Li }
35*67e74705SXin Li
36