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