[qt/clang/llvm-project]: Summary of bulk changes made
KDE Git Services - Bulk Change <[email protected]>
| Newsgroups | gmane.comp.kde.cvs |
|---|---|
| Message-ID | <[email protected]> |
Git repository change summary for qt/clang/llvm-project Pushed by mirror-service into branch 'upstream/users/ziqingluo/csa-builtin_overflow-fix'. Changed from 0000000000000000000000000000000000000000 to df9fb3d70b76f6a9bfe9ce0fa49b06338d8a4c71 Acknowledgement was received that this change introduces only existing code that has been pushed to another public open source repository. This change contains the following new commits: Git commit 53ad2aef35542068a7f13208bbbd3adf497a21a0 by Ziqing Luo on 06/08/2026 at 19:22.. [clang][StaticAnalysis] Fix an false negative bug in handling '__builtin*overflow' For a binary operation 'A op B' and a result type 'T', these builtins return true/false for whether the operation's result is a value 'T' cannot hold. CSA models this by computing the operation's result in a temporary type and comparing it against the bounds of 'T'. However, the temporary type is only twice as wide as 'T', not the operands. When either operand is wider than 'T's doubled width, the result of 'A op B' can silently wrap around before the comparison, producing a false negative. The solution is to find the proper type to temporarily hold the result of 'A op B' from types of 'A' and 'B'. https://invent.kde.org/qt/clang/llvm-project/-/commit/53ad2aef35542068a7f13208bbbd3adf497a21a0 Git commit df9fb3d70b76f6a9bfe9ce0fa49b06338d8a4c71 by Ziqing Luo on 06/08/2026 at 22:23.. rephrase comments https://invent.kde.org/qt/clang/llvm-project/-/commit/df9fb3d70b76f6a9bfe9ce0fa49b06338d8a4c71