gcc/testsuite/gcc.dg/analyzer/uninit-2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

typedef __SIZE_TYPE__ size_t;

extern size_t strlen (const char *__s)
  __attribute__ ((__nothrow__ , __leaf__))
  __attribute__ ((__pure__))
  __attribute__ ((__nonnull__ (1)));

extern char *read_file (const char *file);

size_t test_1 (const char *file)
{
  char *str = read_file (file);
  return strlen (str);
}