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

   1 typedef __SIZE_TYPE__ size_t;
   2
   3 extern size_t strlen (const char *__s)
   4   __attribute__ ((__nothrow__ , __leaf__))
   5   __attribute__ ((__pure__))
   6   __attribute__ ((__nonnull__ (1)));
   7
   8 extern char *read_file (const char *file);
   9
  10 size_t test_1 (const char *file)
  11 {
  12   char *str = read_file (file);
  13   return strlen (str);
  14 }