198 static void addCastTransition(const CallEvent &Call, DefinedOrUnknownSVal DV,  in addCastTransition()
260                                     DefinedOrUnknownSVal DV,  in addInstanceOfTransition()
342                                           DefinedOrUnknownSVal DV,  in evalNonNullParamNonNullReturn()
350                                        DefinedOrUnknownSVal DV,  in evalNonNullParamNullReturn()
357                                     DefinedOrUnknownSVal DV,  in evalNullParamNullReturn()
369 void CastValueChecker::evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalCast()
375                                    DefinedOrUnknownSVal DV,  in evalDynCast()
382                                       DefinedOrUnknownSVal DV,  in evalCastOrNull()
389                                          DefinedOrUnknownSVal DV,  in evalDynCastOrNull()
401                                        DefinedOrUnknownSVal DV,  in evalZeroParamNonNullReturn()
409                                     DefinedOrUnknownSVal DV,  in evalZeroParamNullReturn()
416                                   DefinedOrUnknownSVal DV,  in evalCastAs()
421 void CastValueChecker::evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalGetAs()
431 void CastValueChecker::evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalIsa()
447                                          DefinedOrUnknownSVal DV,  in evalIsaAndNonNull()
475   std::optional<DefinedOrUnknownSVal> DV;  in evalCall()  local