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