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