Lines Matching refs:CallExpr
76 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
80 void Fopen(CheckerContext &C, const CallExpr *CE) const;
81 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
82 void Fclose(CheckerContext &C, const CallExpr *CE) const;
83 void Fread(CheckerContext &C, const CallExpr *CE) const;
84 void Fwrite(CheckerContext &C, const CallExpr *CE) const;
85 void Fseek(CheckerContext &C, const CallExpr *CE) const;
86 void Ftell(CheckerContext &C, const CallExpr *CE) const;
87 void Rewind(CheckerContext &C, const CallExpr *CE) const;
88 void Fgetpos(CheckerContext &C, const CallExpr *CE) const;
89 void Fsetpos(CheckerContext &C, const CallExpr *CE) const;
90 void Clearerr(CheckerContext &C, const CallExpr *CE) const;
91 void Feof(CheckerContext &C, const CallExpr *CE) const;
92 void Ferror(CheckerContext &C, const CallExpr *CE) const;
93 void Fileno(CheckerContext &C, const CallExpr *CE) const;
95 void OpenFileAux(CheckerContext &C, const CallExpr *CE) const;
99 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
108 bool StreamChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
203 void StreamChecker::Fopen(CheckerContext &C, const CallExpr *CE) const {
207 void StreamChecker::Tmpfile(CheckerContext &C, const CallExpr *CE) const {
211 void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const {
238 void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const {
244 void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const {
251 void StreamChecker::Fwrite(CheckerContext &C, const CallExpr *CE) const {
258 void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const {
285 void StreamChecker::Ftell(CheckerContext &C, const CallExpr *CE) const {
292 void StreamChecker::Rewind(CheckerContext &C, const CallExpr *CE) const {
299 void StreamChecker::Fgetpos(CheckerContext &C, const CallExpr *CE) const {
306 void StreamChecker::Fsetpos(CheckerContext &C, const CallExpr *CE) const {
313 void StreamChecker::Clearerr(CheckerContext &C, const CallExpr *CE) const {
320 void StreamChecker::Feof(CheckerContext &C, const CallExpr *CE) const {
327 void StreamChecker::Ferror(CheckerContext &C, const CallExpr *CE) const {
334 void StreamChecker::Fileno(CheckerContext &C, const CallExpr *CE) const {
364 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE,