================
@@ -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
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
