================
@@ -570,6 +625,31 @@ class FactGenerator : public
ConstStmtVisitor<FactGenerator> {
return isPointerType(VD->getType());
}
+ /// Checks if a call-like expression creates a borrow by passing a value to a
+ /// reference parameter, creating an IssueFact if it does.
+ void handleFucntionCall(const Expr *Call, const FunctionDecl *FD,
+ ArrayRef<const Expr *> Args) {
+ if (!FD)
+ return;
+ auto isCXXThisIdx = [&](int ArgIdx) {
+ return FD->isCXXClassMember() && ArgIdx == 0;
+ };
----------------
usx95 wrote:
inlined.
https://github.com/llvm/llvm-project/pull/154009
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
