Lines Matching defs:Summary
177 ProgramStateRef State, const Summary &Summary, in describe()
200 const Summary &Summary, in describeArgumentValue()
558 const Summary &Summary, in apply()
571 const Summary &Summary, in apply()
584 const Summary &Summary, in apply()
604 const Summary &Summary, in apply()
621 const Summary &Summary, in apply()
758 class Summary { class in __anon4d759d9c0111::StdLibraryFunctionsChecker
768 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {} in Summary() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::Summary
860 const Summary &Summary, CheckerContext &C) const { in reportBug() argument
1038 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply()
1061 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1090 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue()
1133 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply()
1155 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply()
1170 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1180 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue()
1188 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply()
1218 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1228 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue()
1236 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply()
1279 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1297 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue()
1316 const Summary &Summary = *FoundSummary; in checkPreCall() local
1368 const Summary &Summary = *FoundSummary; in checkPostCall() local
1472 const Summary &Summary = *FoundSummary; in evalCall() local