[llvm-branch-commits] [clang] [analyzer][NFC] Index parameter lookups by argument position (PR #221977)

[Donát Nagy via llvm-branch-commits]

================
@@ -837,6 +837,10 @@ void SmartPtrModeling::handleBoolConversion(const CallEvent &Call,
   const MemRegion *ThisRegion =
       cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion();
 
+  // `getCXXThisVal` does not model explicit object parameters and
+  // in case of an explicit object parameter it can be null.
----------------
NagyDonat wrote:

Would it be possible and useful to support explicit object parameters in this checker instead of this early return? If yes, then please add a TODO after this comment block.

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