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