Searched refs:RetSVal (Results 1 – 1 of 1) sorted by relevance
582 auto RetSVal = C.getSVal(S).getAs<DefinedOrUnknownSVal>(); in checkPreStmt() local583 if (!RetSVal) in checkPreStmt()608 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()649 const MemRegion *Region = getTrackRegion(*RetSVal); in checkPreStmt()