Lines Matching defs:DV

78   void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
80   void evalDynCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
82   void evalCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
84   void evalDynCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
86   void evalCastAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
88   void evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
90   void evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,
92   void evalIsaAndNonNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
198 static void addCastTransition(const CallEvent &Call, DefinedOrUnknownSVal DV,
202   ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam);
227   const MemRegion *MR = DV.getAsRegion();
252   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)
260                                     DefinedOrUnknownSVal DV,
283   const MemRegion *MR = DV.getAsRegion();
285     MR = State->getSVal(DV.castAs<Loc>()).getAsRegion();
342                                           DefinedOrUnknownSVal DV,
345   addCastTransition(Call, DV, C, /*IsNonNullParam=*/true,
350                                        DefinedOrUnknownSVal DV,
352   addCastTransition(Call, DV, C, /*IsNonNullParam=*/true,
357                                     DefinedOrUnknownSVal DV,
359   if (ProgramStateRef State = C.getState()->assume(DV, false))
369 void CastValueChecker::evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
371   evalNonNullParamNonNullReturn(Call, DV, C, /*IsCheckedCast=*/true);
375                                    DefinedOrUnknownSVal DV,
377   evalNonNullParamNonNullReturn(Call, DV, C);
378   evalNonNullParamNullReturn(Call, DV, C);
382                                       DefinedOrUnknownSVal DV,
384   evalNonNullParamNonNullReturn(Call, DV, C);
385   evalNullParamNullReturn(Call, DV, C);
389                                          DefinedOrUnknownSVal DV,
391   evalNonNullParamNonNullReturn(Call, DV, C);
392   evalNonNullParamNullReturn(Call, DV, C);
393   evalNullParamNullReturn(Call, DV, C);
401                                        DefinedOrUnknownSVal DV,
404   addCastTransition(Call, DV, C, /*IsNonNullParam=*/true,
409                                     DefinedOrUnknownSVal DV,
411   addCastTransition(Call, DV, C, /*IsNonNullParam=*/true,
416                                   DefinedOrUnknownSVal DV,
418   evalZeroParamNonNullReturn(Call, DV, C, /*IsCheckedCast=*/true);
421 void CastValueChecker::evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
423   evalZeroParamNonNullReturn(Call, DV, C);
424   evalZeroParamNullReturn(Call, DV, C);
431 void CastValueChecker::evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,
434   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
437     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true);
438     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false);
447                                          DefinedOrUnknownSVal DV,
450   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
453     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true);
454     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false);
458     addInstanceOfTransition(Call, DV, NullState, C, /*IsInstanceOf=*/false);
475   std::optional<DefinedOrUnknownSVal> DV;
489     DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>();
498     DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>();
506     DV = InstanceCall->getCXXThisVal().getAs<DefinedOrUnknownSVal>();
510   if (!DV)
513   Check(this, Call, *DV, C);