| 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); | |
| } |