| 7789 | return file[0] == '\0'; |
| 7790 | } |
| 7791 | bool SourceLineInfo::operator == ( SourceLineInfo const& other ) const noexcept { |
| 7792 | return line == other.line && (file == other.file || std::strcmp(file, other.file) == 0); |
| 7793 | } |
| 7794 | bool SourceLineInfo::operator < ( SourceLineInfo const& other ) const noexcept { |
| 7795 | // We can assume that the same file will usually have the same pointer. |
| 7796 | // Thus, if the pointers are the same, there is no point in calling the strcmp |