gcc/testsuite/gcc.dg/analyzer/fgets-1.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

/* { dg-do "compile" } */

#define NULL ((void *) 0)
typedef struct _IO_FILE FILE;

extern char *fgets(char *__restrict __s, int __n,
		   FILE *__restrict __stream);
extern char *fgets_unlocked(char *__restrict __s, int __n,
			    FILE *__restrict __stream);

char
test_1 (FILE *fp)
{
  char buf[400];

  if (fgets (buf, sizeof buf, fp) == NULL)
    return 0;

  return buf[0];
}

char
test_2 (FILE *fp)
{
  char buf[400];

  if (fgets_unlocked (buf, sizeof buf, fp) == NULL)
    return 0;

  return buf[0];
}