| 9923 | return line == other.line && (file == other.file || std::strcmp(file, other.file) == 0); |
| 9924 | } |
| 9925 | bool SourceLineInfo::operator < ( SourceLineInfo const& other ) const noexcept { |
| 9926 | // We can assume that the same file will usually have the same pointer. |
| 9927 | // Thus, if the pointers are the same, there is no point in calling the strcmp |
| 9928 | return line < other.line || ( line == other.line && file != other.file && (std::strcmp(file, other.file) < 0)); |
| 9929 | } |
| 9930 | |
| 9931 | std::ostream& operator << ( std::ostream& os, SourceLineInfo const& info ) { |
| 9932 | #ifndef __GNUG__ |