1  /* { dg-additional-options "-fanalyzer-checker=taint" } */
       2  
       3  typedef __SIZE_TYPE__ size_t;
       4  
       5  extern size_t fread (void *, size_t, size_t, void *);
       6  
       7  int
       8  test_1 (void *fp)
       9  {
      10    int i;
      11    fread (&i, sizeof (i), 1, fp);
      12    return i;  
      13  }