[clang] [WebKit checkers] Use different bug description for unborrowed local variables and call arguments (PR #232913)

[via cfe-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang

Author: Ryosuke Niwa (rniwa)

<details>
<summary>Changes</summary>



---
Full diff: https://github.com/llvm/llvm-project/pull/232913.diff


2 Files Affected:

- (modified) clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefCallArgsChecker.cpp (+2-2) 
- (modified) clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLocalVarsChecker.cpp (+2-2) 


``````````diff
diff --git a/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefCallArgsChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefCallArgsChecker.cpp
index 06848eecc536e..0906cf2d0cb29 100644
--- a/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefCallArgsChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefCallArgsChecker.cpp
@@ -574,8 +574,8 @@ class UnretainedCallArgsChecker final : public RawPtrRefCallArgsChecker {
 class UnborrowedCallArgsChecker final : public RawPtrRefCallArgsChecker {
 public:
   UnborrowedCallArgsChecker()
-      : RawPtrRefCallArgsChecker("Loan on a CanBorrow object not guarded by "
-                                 "const or a Borrow",
+      : RawPtrRefCallArgsChecker("Unborrowed call argument for a raw "
+                                 "pointer/reference parameter",
                                  makeBorrowSafetyModel()) {}
 };
 
diff --git a/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLocalVarsChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLocalVarsChecker.cpp
index 70c8a7f88384b..92da9b77cb15e 100644
--- a/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLocalVarsChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLocalVarsChecker.cpp
@@ -646,8 +646,8 @@ class UnretainedLocalVarsChecker final : public RawPtrRefLocalVarsChecker {
 class UnborrowedLocalVarsChecker final : public RawPtrRefLocalVarsChecker {
 public:
   UnborrowedLocalVarsChecker()
-      : RawPtrRefLocalVarsChecker("Loan on a CanBorrow object not guarded by "
-                                  "const or a Borrow",
+      : RawPtrRefLocalVarsChecker("Unborrowed raw poinetr or reference not "
+                                  "provably backed by a Borrow",
                                   makeBorrowSafetyModel()) {}
 };
 

``````````

</details>


https://github.com/llvm/llvm-project/pull/232913