Lines Matching refs:DefinedOrUnknownSVal

39                          DefinedOrUnknownSVal, CheckerContext &)>;
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()
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   Optional<DefinedOrUnknownSVal> DV;  in evalCall()
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()