1 /* { dg-additional-options "-fdump-analyzer-untracked" } */
2
3 #include "analyzer-decls.h"
4
5 struct S
6 {
7 int i;
8 };
9
10 typedef __SIZE_TYPE__ size_t;
11
12 extern size_t fread (void *, size_t, size_t, void *);
13
14 /* fread of a static struct that never gets used. */
15
16 void
17 test_1 (void *fp)
18 {
19 static struct S s; /* { dg-warning "track 's': no" } */
20 fread (&s, sizeof (s), 1, fp);
21 }
22
23 /* fread of a static struct that later gets used. */
24
25 int
26 test_2 (void *fp)
27 {
28 static struct S s; /* { dg-warning "track 's': yes" } */
29 fread (&s, sizeof (s), 1, fp);
30 return s.i;
31 }