29 // Returns pointer to beginning of last /-separated token from file_name.
30 // file_name should be a pointer to a zero-terminated array of chars.
32 const char *JumpToBasename(const char *file_name) {  in JumpToBasename()  argument
33   if (file_name == nullptr) {  in JumpToBasename()
38   const char *last_token_start = file_name;  in JumpToBasename()
39   while (*file_name != '\0') {  in JumpToBasename()
40     if (*file_name == '/') {  in JumpToBasename()
42       // this position.  Notice that if file_name is a valid zero-terminated  in JumpToBasename()
43       // string, file_name + 1 is a valid pointer (there is at least one char  in JumpToBasename()
44       // after address file_name, the zero terminator).  in JumpToBasename()
45       last_token_start = file_name + 1;  in JumpToBasename()
47     file_name++;  in JumpToBasename()
53 LogMessage::LogMessage(LogSeverity severity, const char *file_name,  in LogMessage()  argument
56   stream_ << JumpToBasename(file_name) << ":" << line_number << ": ";  in LogMessage()