Author: Shafik Yaghmour Date: 2025-08-20T13:57:37-07:00 New Revision: 2a66ce5edb2511b248ca895b7d60c7a7b63c2c48
URL: https://github.com/llvm/llvm-project/commit/2a66ce5edb2511b248ca895b7d60c7a7b63c2c48 DIFF: https://github.com/llvm/llvm-project/commit/2a66ce5edb2511b248ca895b7d60c7a7b63c2c48.diff LOG: [Clang][NFC] Clarify some SourceManager related code (#153527) Static analysis flagged the columns - 1 code, it was correct but the assumption was not obvious. I document the assumption w/ assertions. While digging through related code I found getColumnNumber that looks wrong at first inspection and adding parentheses makes it clearer. Added: Modified: clang/lib/Basic/SourceManager.cpp clang/lib/Frontend/TextDiagnostic.cpp Removed: ################################################################################ diff --git a/clang/lib/Basic/SourceManager.cpp b/clang/lib/Basic/SourceManager.cpp index 343c26e17236d..d8ec837f0f7b9 100644 --- a/clang/lib/Basic/SourceManager.cpp +++ b/clang/lib/Basic/SourceManager.cpp @@ -1171,14 +1171,14 @@ unsigned SourceManager::getColumnNumber(FileID FID, unsigned FilePos, if (Buf[FilePos - 1] == '\r' || Buf[FilePos - 1] == '\n') --FilePos; } - return FilePos - LineStart + 1; + return (FilePos - LineStart) + 1; } } unsigned LineStart = FilePos; while (LineStart && Buf[LineStart-1] != '\n' && Buf[LineStart-1] != '\r') --LineStart; - return FilePos-LineStart+1; + return (FilePos - LineStart) + 1; } // isInvalid - Return the result of calling loc.isInvalid(), and diff --git a/clang/lib/Frontend/TextDiagnostic.cpp b/clang/lib/Frontend/TextDiagnostic.cpp index ccdd59da89bd1..58885712fbdcc 100644 --- a/clang/lib/Frontend/TextDiagnostic.cpp +++ b/clang/lib/Frontend/TextDiagnostic.cpp @@ -1095,6 +1095,8 @@ prepareAndFilterRanges(const SmallVectorImpl<CharSourceRange> &Ranges, unsigned StartColumn = SM.getExpansionColumnNumber(Begin); unsigned EndColumn = SM.getExpansionColumnNumber(End); + assert(StartColumn && "StartColumn must be valid, 0 is invalid"); + assert(EndColumn && "EndColumn must be valid, 0 is invalid"); if (R.isTokenRange()) EndColumn += Lexer::MeasureTokenLength(End, SM, LangOpts); _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
