| 9920 | namespace Catch { |
| 9921 | |
| 9922 | bool SourceLineInfo::operator == ( SourceLineInfo const& other ) const noexcept { |
| 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 |