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

   1 typedef __SIZE_TYPE__ size_t;
   2
   3 extern size_t fread (void *, size_t, size_t, void *);
   4
   5 struct ring
   6 {
   7   char buf[1024];
   8 };
   9
  10 int
  11 test_one_large_item (void *fp)
  12 {
  13   struct ring ring;
  14   int ret;
  15
  16   ret = fread(&ring, sizeof(ring), 1, fp);
  17
  18   if (ret != 1)
  19     return 1;
  20
  21   if (ring.buf[0] > 1) /* { dg-bogus "use of uninitialized value" } */
  22     return 2;
  23   return 3;
  24 }
  25
  26 int
  27 test_many_small_items (void *fp)
  28 {
  29   struct ring ring;
  30   int ret;
  31
  32   ret = fread(&ring, 1, sizeof(ring), fp);
  33
  34   if (ret != sizeof(ring))
  35     return 1;
  36
  37   if (ring.buf[0] > 1) /* { dg-bogus "use of uninitialized value" } */
  38     return 2;
  39   return 3;
  40 }