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