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