================
@@ -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.
----------------
benedekaibas wrote:

Added `TODO` here: 
[d957c72](https://github.com/llvm/llvm-project/pull/221977/commits/d957c72209b2e827e3cbbc917f249e3bb72c3e69)

https://github.com/llvm/llvm-project/pull/221977
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

Reply via email to