Lines Matching defs:Summary
11 // This checker provides a specification format - `Summary' - and
23 // `Summary' provides only two branches for this function. However,
33 // side effects), for which their `Summary' is a precise model. This avoids
67 class Summary;
130 /// however, we cannot default initialize that. unique_ptr makes the Summary
132 /// requirement would render the initialization of the Summary map infeasible.
155 const Summary &Summary,
177 ProgramStateRef State, const Summary &Summary,
200 const Summary &Summary,
288 const Summary &Summary,
292 ProgramStateRef State, const Summary &Summary,
296 const Summary &Summary,
365 const Summary &Summary,
380 const Summary &Summary,
384 ProgramStateRef State, const Summary &Summary,
388 const Summary &Summary,
427 const Summary &Summary,
431 ProgramStateRef State, const Summary &Summary,
435 const Summary &Summary,
485 const Summary &Summary,
489 ProgramStateRef State, const Summary &Summary,
493 const Summary &Summary,
534 const Summary &Summary,
558 const Summary &Summary,
571 const Summary &Summary,
584 const Summary &Summary,
604 const Summary &Summary,
621 const Summary &Summary,
758 class Summary {
768 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {}
770 Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC,
775 Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC,
780 Summary &ArgConstraint(ValueConstraintPtr VC) {
823 using FunctionSummaryMapType = llvm::DenseMap<const FunctionDecl *, Summary>;
851 std::optional<Summary> findFunctionSummary(const FunctionDecl *FD,
853 std::optional<Summary> findFunctionSummary(const CallEvent &Call,
860 const Summary &Summary, CheckerContext &C) const {
870 NegatedVC->describeArgumentValue(Call, N->getState(), Summary, MsgOs);
875 VC->describe(ValueConstraint::Violation, Call, C.getState(), Summary,
1038 ProgramStateRef State, const CallEvent &Call, const Summary &Summary,
1042 QualType T = Summary.getArgType(getArgNo());
1061 const Summary &Summary, llvm::raw_ostream &Out) const {
1064 QualType T = Summary.getArgType(getArgNo());
1090 const CallEvent &Call, ProgramStateRef State, const Summary &Summary,
1106 QualType T = Summary.getArgType(getArgNo());
1133 ProgramStateRef State, const CallEvent &Call, const Summary &Summary,
1139 QualType T = Summary.getArgType(getArgNo());
1145 QualType OtherT = Summary.getArgType(OtherArg);
1155 ProgramStateRef State, const CallEvent &Call, const Summary &Summary,
1170 const Summary &Summary, llvm::raw_ostream &Out) const {
1180 const CallEvent &Call, ProgramStateRef State, const Summary &Summary,
1188 ProgramStateRef State, const CallEvent &Call, const Summary &Summary,
1218 const Summary &Summary, llvm::raw_ostream &Out) const {
1228 const CallEvent &Call, ProgramStateRef State, const Summary &Summary,
1236 ProgramStateRef State, const CallEvent &Call, const Summary &Summary,
1243 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() {
1255 Summary.getArgType(*SizeArgN));
1279 const Summary &Summary, llvm::raw_ostream &Out) const {
1297 const CallEvent &Call, ProgramStateRef State, const Summary &Summary,
1312 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C);
1316 const Summary &Summary = *FoundSummary;
1321 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) {
1323 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);
1325 NegatedConstraint->apply(NewState, Call, Summary, C);
1329 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary,
1347 Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary,
1363 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C);
1368 const Summary &Summary = *FoundSummary;
1373 for (const SummaryCase &Case : Summary.getCases()) {
1376 NewState = Constraint->apply(NewState, Call, Summary, C);
1382 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);
1411 if (Summary.getInvalidationKd() == EvalCallAsPure) {
1471 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C);
1475 const Summary &Summary = *FoundSummary;
1476 switch (Summary.getInvalidationKd()) {
1490 // Summary tells us to avoid performing eval::Call. The function is possibly
1537 std::optional<StdLibraryFunctionsChecker::Summary>
1551 std::optional<StdLibraryFunctionsChecker::Summary>
1726 bool operator()(StringRef Name, Signature Sign, Summary Sum) {
1752 void operator()(ArrayRef<StringRef> Names, Signature Sign, Summary Sum) {
1835 Summary(EvalCallAsPure)
1857 Summary(EvalCallAsPure)
1871 Summary(EvalCallAsPure)
1881 Summary(EvalCallAsPure)
1891 Summary(EvalCallAsPure)
1902 Summary(EvalCallAsPure)
1911 Summary(EvalCallAsPure)
1923 Summary(EvalCallAsPure)
1943 Summary(EvalCallAsPure)
1952 Summary(EvalCallAsPure)
1966 Summary(EvalCallAsPure)
1982 Summary(EvalCallAsPure)
1999 Summary(EvalCallAsPure)
2012 Summary(EvalCallAsPure)
2018 Summary(EvalCallAsPure)
2024 Summary(EvalCallAsPure)
2031 Summary(NoEvalCall)
2038 Summary(NoEvalCall)
2076 Summary(NoEvalCall)
2094 Summary(NoEvalCall)
2122 Summary GetenvSummary =
2123 Summary(NoEvalCall)
2143 Summary(NoEvalCall)
2176 Summary(NoEvalCall)
2186 Summary(NoEvalCall)
2195 Summary(NoEvalCall)
2206 Summary(NoEvalCall)
2217 Summary(NoEvalCall)
2226 Summary(NoEvalCall)
2234 Summary(NoEvalCall)
2247 Summary(NoEvalCall)
2259 Summary(NoEvalCall)
2275 Summary(NoEvalCall)
2290 Summary(NoEvalCall)
2300 Summary(NoEvalCall)
2322 Summary(NoEvalCall)
2332 Summary(NoEvalCall)
2346 Summary(NoEvalCall)
2359 Summary(NoEvalCall)
2368 Summary(NoEvalCall)
2378 Summary(NoEvalCall)
2387 Summary(NoEvalCall)
2401 Summary(NoEvalCall)
2409 Summary(NoEvalCall)
2416 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2421 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2426 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2431 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2436 Summary(NoEvalCall)
2443 Summary(NoEvalCall)
2453 Summary(NoEvalCall)
2463 Summary(NoEvalCall)
2473 Summary(NoEvalCall)
2482 Summary(NoEvalCall)
2492 Summary(NoEvalCall)
2503 Summary(NoEvalCall)
2514 Summary(NoEvalCall)
2521 Summary(NoEvalCall)
2531 Summary(NoEvalCall)
2540 Summary(NoEvalCall)
2551 Summary(NoEvalCall)
2561 Summary(NoEvalCall)
2572 Summary(NoEvalCall)
2581 Summary(NoEvalCall)
2591 Summary(NoEvalCall)
2600 Summary(NoEvalCall)
2607 Summary(NoEvalCall)
2615 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2621 Summary(NoEvalCall)
2629 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2634 Summary(NoEvalCall)
2643 Summary(NoEvalCall)
2652 Summary(NoEvalCall)
2671 Summary(NoEvalCall)
2680 Summary(NoEvalCall)
2692 Summary(NoEvalCall)
2702 Summary(NoEvalCall)
2711 Summary(NoEvalCall)
2721 Summary(NoEvalCall)
2730 Summary(NoEvalCall)
2745 Summary(NoEvalCall)
2755 Summary(NoEvalCall)
2764 Summary(NoEvalCall)
2772 Summary(NoEvalCall)
2781 Summary(NoEvalCall)
2789 Summary(NoEvalCall)
2798 Summary(NoEvalCall)
2810 Summary(NoEvalCall)
2821 Summary(NoEvalCall)
2830 Summary(NoEvalCall)
2844 Summary(NoEvalCall)
2855 Summary(NoEvalCall)
2866 Summary(NoEvalCall)
2879 Summary(NoEvalCall)
2889 Summary(NoEvalCall)
2897 Summary(NoEvalCall)
2906 Summary(NoEvalCall)
2915 Summary(NoEvalCall)
2924 Summary(NoEvalCall)
2931 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2936 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2941 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2946 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2955 Summary(NoEvalCall)
2968 Summary(NoEvalCall)
2976 Summary(NoEvalCall)
2988 Summary(NoEvalCall)
3000 Summary(NoEvalCall)
3024 Summary(NoEvalCall)
3048 Summary(NoEvalCall)
3064 Summary(NoEvalCall)
3075 Summary(NoEvalCall)
3083 Summary(NoEvalCall)
3092 Summary(NoEvalCall)
3124 Summary(NoEvalCall)
3130 Summary(NoEvalCall)
3155 Summary(NoEvalCall)
3169 Summary(NoEvalCall)
3184 Summary(NoEvalCall)
3195 Summary(NoEvalCall)
3208 Summary(NoEvalCall)
3219 Summary(NoEvalCall)
3231 Summary(NoEvalCall)
3240 Summary(NoEvalCall)
3247 Summary(NoEvalCall)
3277 Summary(NoEvalCall)
3307 Summary(NoEvalCall)
3318 Summary(NoEvalCall)
3340 Summary(NoEvalCall)
3352 Summary(NoEvalCall)
3365 Summary(NoEvalCall)
3382 Summary(NoEvalCall)
3393 Summary(NoEvalCall)
3409 Summary(NoEvalCall)
3417 Summary(NoEvalCall)
3436 Summary(NoEvalCall)
3457 Summary(NoEvalCall)
3472 Summary(NoEvalCall)
3485 Summary(NoEvalCall)
3499 Summary(NoEvalCall)
3509 Summary(NoEvalCall)
3533 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3541 Summary(NoEvalCall)
3550 Summary(NoEvalCall)
3560 Summary(NoEvalCall)
3573 Summary(NoEvalCall)
3580 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3588 Summary(NoEvalCall)
3601 Summary(NoEvalCall)
3641 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3652 Summary(NoEvalCall)
3661 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3671 Summary(NoEvalCall)
3680 Summary(NoEvalCall)
3692 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3702 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3711 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));
3716 Summary(EvalCallAsPure)
3722 Summary(EvalCallAsPure)
3726 Summary(EvalCallAsPure)
3730 Summary(EvalCallAsPure)
3734 Summary(EvalCallAsPure)
3738 Summary(EvalCallAsPure)
3742 Summary(EvalCallAsPure)
3746 Summary(EvalCallAsPure)
3751 Summary(EvalCallAsPure)
3756 Summary(EvalCallAsPure)
3761 Summary(EvalCallAsPure)
3766 Summary(EvalCallAsPure)
3771 Summary(EvalCallAsPure)
3776 Summary(EvalCallAsPure)
3781 Summary(EvalCallAsPure)
3788 Summary(EvalCallAsPure)
3792 Summary(EvalCallAsPure)
3796 Summary(EvalCallAsPure)
3800 Summary(EvalCallAsPure)
3804 Summary(EvalCallAsPure)
3808 Summary(EvalCallAsPure)
3812 Summary(EvalCallAsPure)
3817 Summary(EvalCallAsPure)
3822 Summary(EvalCallAsPure)
3827 Summary(EvalCallAsPure)
3832 Summary(EvalCallAsPure)
3837 Summary(EvalCallAsPure)
3842 Summary(EvalCallAsPure)
3847 Summary(EvalCallAsPure)
3854 Summary(EvalCallAsPure)
3858 Summary(EvalCallAsPure)
3864 Summary(EvalCallAsPure)
3869 Summary(EvalCallAsPure)
3875 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));
3879 Summary(EvalCallAsPure)
3885 Summary(EvalCallAsPure)
3891 Summary(EvalCallAsPure)
3897 Summary(EvalCallAsPure)
3904 Summary(EvalCallAsPure));
3909 Summary(EvalCallAsPure)
3917 Summary(EvalCallAsPure)