Lines Matching refs:Summary
68 class Summary;
110 const Summary &Summary,
166 const Summary &Summary) const;
169 const Summary &Summary) const;
173 const Summary &Summary, in apply() argument
177 return applyAsOutOfRange(State, Call, Summary); in apply()
179 return applyAsWithinRange(State, Call, Summary); in apply()
218 const Summary &Summary,
230 const Summary &Summary, in apply() argument
290 const Summary &Summary, in apply() argument
297 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply()
307 Summary.getArgType(*SizeArgN)); in apply()
444 class Summary { class in __anonf1e9aeb30111::StdLibraryFunctionsChecker
454 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {} in Summary() function in __anonf1e9aeb30111::StdLibraryFunctionsChecker::Summary
456 Summary &Case(ConstraintSet &&CS) { in Case()
460 Summary &Case(const ConstraintSet &CS) { in Case()
464 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()
507 using FunctionSummaryMapType = llvm::DenseMap<const FunctionDecl *, Summary>;
533 Optional<Summary> findFunctionSummary(const FunctionDecl *FD,
535 Optional<Summary> findFunctionSummary(const CallEvent &Call,
570 const Summary &Summary) const { in applyAsOutOfRange()
578 QualType T = Summary.getArgType(getArgNo()); in applyAsOutOfRange()
599 const Summary &Summary) const { in applyAsWithinRange()
607 QualType T = Summary.getArgType(getArgNo()); in applyAsWithinRange()
657 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
663 QualType T = Summary.getArgType(getArgNo()); in apply()
669 QualType OtherT = Summary.getArgType(OtherArg); in apply()
680 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPreCall()
684 const Summary &Summary = *FoundSummary; in checkPreCall() local
688 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) { in checkPreCall()
689 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
691 Constraint->negate()->apply(NewState, Call, Summary, C); in checkPreCall()
712 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPostCall()
717 const Summary &Summary = *FoundSummary; in checkPostCall() local
721 for (const ConstraintSet &Case : Summary.getCaseConstraints()) { in checkPostCall()
724 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
736 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in evalCall()
740 const Summary &Summary = *FoundSummary; in evalCall() local
741 switch (Summary.getInvalidationKd()) { in evalCall()
801 Optional<StdLibraryFunctionsChecker::Summary>
815 Optional<StdLibraryFunctionsChecker::Summary>
991 bool operator()(StringRef Name, Signature Sign, Summary Sum) { in initFunctionSummaries()
1017 void operator()(std::vector<StringRef> Names, Signature Sign, Summary Sum) { in initFunctionSummaries()
1084 Summary(EvalCallAsPure) in initFunctionSummaries()
1102 Summary(EvalCallAsPure) in initFunctionSummaries()
1113 Summary(EvalCallAsPure) in initFunctionSummaries()
1120 Summary(EvalCallAsPure) in initFunctionSummaries()
1127 Summary(EvalCallAsPure) in initFunctionSummaries()
1134 Summary(EvalCallAsPure) in initFunctionSummaries()
1141 Summary(EvalCallAsPure) in initFunctionSummaries()
1148 Summary(EvalCallAsPure) in initFunctionSummaries()
1163 Summary(EvalCallAsPure) in initFunctionSummaries()
1170 Summary(EvalCallAsPure) in initFunctionSummaries()
1181 Summary(EvalCallAsPure) in initFunctionSummaries()
1192 Summary(EvalCallAsPure) in initFunctionSummaries()
1204 Summary(EvalCallAsPure) in initFunctionSummaries()
1213 Summary(EvalCallAsPure) in initFunctionSummaries()
1218 Summary(EvalCallAsPure) in initFunctionSummaries()
1223 Summary(EvalCallAsPure) in initFunctionSummaries()
1230 Summary(NoEvalCall) in initFunctionSummaries()
1235 Summary(NoEvalCall) in initFunctionSummaries()
1241 Summary(NoEvalCall) in initFunctionSummaries()
1268 Summary(NoEvalCall) in initFunctionSummaries()
1285 Summary(NoEvalCall) in initFunctionSummaries()
1316 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1321 Summary(NoEvalCall) in initFunctionSummaries()
1333 Summary(NoEvalCall) in initFunctionSummaries()
1342 Summary(NoEvalCall) in initFunctionSummaries()
1348 Summary(NoEvalCall) in initFunctionSummaries()
1356 Summary(NoEvalCall) in initFunctionSummaries()
1365 Summary(NoEvalCall) in initFunctionSummaries()
1375 Summary(EvalCallAsPure) in initFunctionSummaries()
1381 Summary(NoEvalCall) in initFunctionSummaries()
1392 Summary(NoEvalCall) in initFunctionSummaries()
1400 Summary(NoEvalCall) in initFunctionSummaries()
1410 Summary(NoEvalCall) in initFunctionSummaries()
1419 Summary(NoEvalCall) in initFunctionSummaries()
1429 Summary(NoEvalCall) in initFunctionSummaries()
1436 Summary(NoEvalCall) in initFunctionSummaries()
1446 Summary(NoEvalCall) in initFunctionSummaries()
1453 Summary(NoEvalCall) in initFunctionSummaries()
1460 Summary(NoEvalCall) in initFunctionSummaries()
1467 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1473 Summary(NoEvalCall) in initFunctionSummaries()
1481 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1486 Summary(NoEvalCall) in initFunctionSummaries()
1493 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1498 Summary(NoEvalCall) in initFunctionSummaries()
1505 Summary(NoEvalCall) in initFunctionSummaries()
1513 Summary(NoEvalCall) in initFunctionSummaries()
1523 Summary(NoEvalCall) in initFunctionSummaries()
1532 Summary(NoEvalCall) in initFunctionSummaries()
1539 Summary(NoEvalCall) in initFunctionSummaries()
1548 Summary(NoEvalCall) in initFunctionSummaries()
1556 Summary(NoEvalCall) in initFunctionSummaries()
1570 Summary(NoEvalCall) in initFunctionSummaries()
1579 Summary(NoEvalCall) in initFunctionSummaries()
1587 Summary(NoEvalCall) in initFunctionSummaries()
1594 Summary(NoEvalCall) in initFunctionSummaries()
1602 Summary(NoEvalCall) in initFunctionSummaries()
1609 Summary(NoEvalCall) in initFunctionSummaries()
1617 Summary(NoEvalCall) in initFunctionSummaries()
1628 Summary(NoEvalCall) in initFunctionSummaries()
1638 Summary(NoEvalCall) in initFunctionSummaries()
1646 Summary(NoEvalCall) in initFunctionSummaries()
1658 Summary(NoEvalCall) in initFunctionSummaries()
1668 Summary(NoEvalCall) in initFunctionSummaries()
1678 Summary(NoEvalCall) in initFunctionSummaries()
1690 Summary(NoEvalCall) in initFunctionSummaries()
1699 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1704 Summary(NoEvalCall) in initFunctionSummaries()
1711 Summary(NoEvalCall) in initFunctionSummaries()
1720 Summary(NoEvalCall) in initFunctionSummaries()
1727 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1731 Summary(NoEvalCall) in initFunctionSummaries()
1739 Summary(NoEvalCall) in initFunctionSummaries()
1746 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1752 Summary(NoEvalCall) in initFunctionSummaries()
1759 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1764 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1769 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1774 Summary(NoEvalCall) in initFunctionSummaries()
1782 Summary(NoEvalCall) in initFunctionSummaries()
1789 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1797 Summary(NoEvalCall) in initFunctionSummaries()
1809 Summary(NoEvalCall) in initFunctionSummaries()
1817 Summary(NoEvalCall) in initFunctionSummaries()
1824 Summary(NoEvalCall) in initFunctionSummaries()
1834 Summary(NoEvalCall) in initFunctionSummaries()
1851 Summary(NoEvalCall) in initFunctionSummaries()
1868 Summary(NoEvalCall) in initFunctionSummaries()
1879 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1887 Summary(NoEvalCall) in initFunctionSummaries()
1895 Summary(NoEvalCall) in initFunctionSummaries()
1904 Summary(NoEvalCall) in initFunctionSummaries()
1930 Summary(NoEvalCall) in initFunctionSummaries()
1953 Summary(NoEvalCall) in initFunctionSummaries()
1966 Summary(NoEvalCall) in initFunctionSummaries()
1980 Summary(NoEvalCall) in initFunctionSummaries()
1990 Summary(NoEvalCall) in initFunctionSummaries()
2002 Summary(NoEvalCall) in initFunctionSummaries()
2012 Summary(NoEvalCall) in initFunctionSummaries()
2023 Summary(NoEvalCall) in initFunctionSummaries()
2031 Summary(NoEvalCall) in initFunctionSummaries()
2037 Summary(NoEvalCall) in initFunctionSummaries()
2062 Summary(NoEvalCall) in initFunctionSummaries()
2087 Summary(NoEvalCall) in initFunctionSummaries()
2097 Summary(NoEvalCall) in initFunctionSummaries()
2114 Summary(NoEvalCall) in initFunctionSummaries()
2124 Summary(NoEvalCall) in initFunctionSummaries()
2135 Summary(NoEvalCall) in initFunctionSummaries()
2151 Summary(NoEvalCall) in initFunctionSummaries()
2161 Summary(NoEvalCall) in initFunctionSummaries()
2172 Summary(NoEvalCall) in initFunctionSummaries()
2189 Summary(NoEvalCall) in initFunctionSummaries()
2210 Summary(NoEvalCall) in initFunctionSummaries()
2223 Summary(NoEvalCall) in initFunctionSummaries()
2234 Summary(NoEvalCall) in initFunctionSummaries()
2247 Summary(NoEvalCall) in initFunctionSummaries()
2256 Summary(NoEvalCall) in initFunctionSummaries()
2277 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2285 Summary(NoEvalCall) in initFunctionSummaries()
2294 Summary(NoEvalCall) in initFunctionSummaries()
2304 Summary(NoEvalCall) in initFunctionSummaries()
2317 Summary(NoEvalCall) in initFunctionSummaries()
2324 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2332 Summary(NoEvalCall) in initFunctionSummaries()
2343 Summary(NoEvalCall) in initFunctionSummaries()
2377 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2388 Summary(NoEvalCall) in initFunctionSummaries()
2397 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2407 Summary(NoEvalCall) in initFunctionSummaries()
2416 Summary(NoEvalCall) in initFunctionSummaries()
2428 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2438 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2446 Summary(EvalCallAsPure) in initFunctionSummaries()
2451 Summary(EvalCallAsPure) in initFunctionSummaries()
2457 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2461 Summary(EvalCallAsPure) in initFunctionSummaries()
2467 Summary(EvalCallAsPure) in initFunctionSummaries()
2473 Summary(EvalCallAsPure) in initFunctionSummaries()
2479 Summary(EvalCallAsPure) in initFunctionSummaries()
2486 Summary(EvalCallAsPure)); in initFunctionSummaries()