gcc/testsuite/c-c++-common/analyzer/fread-2.c

   1 /* { dg-additional-options "-fdump-analyzer-untracked" } */
   2
   3 #include "../../gcc.dg/analyzer/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 }