Lines Matching refs:Call
63 const CallEvent &Call,
70 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
76 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
85 const CallEvent *Call,
121 void SimpleStreamChecker::checkPostCall(const CallEvent &Call,
125 if (!Call.isGlobalCFunction())
128 if (Call.getCalleeIdentifier() != IIfopen)
132 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
142 void SimpleStreamChecker::checkPreCall(const CallEvent &Call,
146 if (!Call.isGlobalCFunction())
149 if (Call.getCalleeIdentifier() != IIfclose)
152 if (Call.getNumArgs() != 1)
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
164 reportDoubleClose(FileDesc, Call, C);
209 const CallEvent &Call,
220 R->addRange(Call.getSourceRange());
239 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{
241 if (!Call.isInSystemHeader())
245 if (Call.argumentsMayEscape())
249 // since the checker is modeling the call.
259 const CallEvent *Call,
261 // If we know that the call cannot close a file, there is nothing to do.
262 if (Kind == PSK_DirectEscapeOnCall && guaranteedNotToCloseFile(*Call)) {
