Lines Matching refs:Call

184   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
188 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
199 const CallEvent *Call,
203 const CallEvent *Call,
292 bool mayFreeAnyEscapedMemoryOrIsModeledExplicitly(const CallEvent *Call,
299 const CallEvent *Call,
685 static bool isKnownDeallocObjCMethodName(const ObjCMethodCall &Call) { in isKnownDeallocObjCMethodName() argument
691 StringRef FirstSlot = Call.getSelector().getNameForSlot(0); in isKnownDeallocObjCMethodName()
700 static Optional<bool> getFreeWhenDoneArg(const ObjCMethodCall &Call) { in getFreeWhenDoneArg() argument
701 Selector S = Call.getSelector(); in getFreeWhenDoneArg()
706 return !Call.getArgSVal(i).isZeroConstant(); in getFreeWhenDoneArg()
711 void MallocChecker::checkPostObjCMessage(const ObjCMethodCall &Call, in checkPostObjCMessage() argument
716 if (!isKnownDeallocObjCMethodName(Call)) in checkPostObjCMessage()
719 if (Optional<bool> FreeWhenDone = getFreeWhenDoneArg(Call)) in checkPostObjCMessage()
724 ProgramStateRef State = FreeMemAux(C, Call.getArgExpr(0), in checkPostObjCMessage()
725 Call.getOriginExpr(), C.getState(), in checkPostObjCMessage()
1695 void MallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall() argument
1699 if (const AnyFunctionCall *FC = dyn_cast<AnyFunctionCall>(&Call)) { in checkPreCall()
1714 if (const CXXInstanceCall *CC = dyn_cast<CXXInstanceCall>(&Call)) { in checkPreCall()
1721 for (unsigned I = 0, E = Call.getNumArgs(); I != E; ++I) { in checkPreCall()
1722 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall()
1727 if (checkUseAfterFree(Sym, C, Call.getArgExpr(I))) in checkPreCall()
1866 const CallEvent *Call, in mayFreeAnyEscapedMemoryOrIsModeledExplicitly() argument
1869 assert(Call); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1876 if (!(isa<FunctionCall>(Call) || isa<ObjCMethodCall>(Call))) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1880 if (const ObjCMethodCall *Msg = dyn_cast<ObjCMethodCall>(Call)) { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1883 if (!Call->isInSystemHeader() || Call->hasNonZeroCallbackArg()) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1930 const FunctionDecl *FD = cast<FunctionCall>(Call)->getDecl(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1942 if (!Call->isInSystemHeader()) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1957 for (unsigned i = 1; i < Call->getNumArgs(); ++i) { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1958 const Expr *ArgE = Call->getArgExpr(i)->IgnoreParenCasts(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1973 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0)) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1981 if (Call->getNumArgs() >= 1) { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
1982 const Expr *ArgE = Call->getArgExpr(0)->IgnoreParenCasts(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2007 if (Call->argumentsMayEscape()) in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2026 const CallEvent *Call, in checkPointerEscape() argument
2028 return checkPointerEscapeAux(State, Escaped, Call, Kind, &retTrue); in checkPointerEscape()
2033 const CallEvent *Call, in checkConstPointerEscape() argument
2035 return checkPointerEscapeAux(State, Escaped, Call, Kind, in checkConstPointerEscape()
2041 const CallEvent *Call, in checkPointerEscapeAux() argument
2048 !mayFreeAnyEscapedMemoryOrIsModeledExplicitly(Call, State, in checkPointerEscapeAux()