Searched refs:RetSVal (Results 1 – 1 of 1) sorted by relevance
563 auto RetSVal = in checkPreStmt() local565 if (!RetSVal) in checkPreStmt()590 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()633 const MemRegion *Region = getTrackRegion(*RetSVal); in checkPreStmt()