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 
test_1(const char * file)10 size_t test_1 (const char *file)
11 {
12   char *str = read_file (file);
13   return strlen (str);
14 }
15