gcc/testsuite/gcc.dg/analyzer/read-pr108661.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

typedef long int ssize_t;
typedef long unsigned int size_t;

extern int open(const char* __file, int __oflag, ...) __attribute__((__nonnull__(1)));
extern int close(int __fd);
extern ssize_t read(int __fd, void* __buf, size_t __nbytes);

struct ring
{
  char buf[1024];
};

int
test(const char* name)
{
  struct ring ring;
  int fd;
  int ret;

  fd = open(name, 00);
  if (fd < 0)
    return 0;

  ret = read(fd, &ring, sizeof(ring));
  close(fd);

  if (ret != sizeof(ring))
    return 1;

  if (ring.buf[0] > 1) /* { dg-bogus "use of uninitialized value" } */
    return 2;
  return 3;
}