Searched refs:CollectionSentinel (Results 1 – 1 of 1) sorted by relevance
981 SVal CollectionSentinel = C.getSVal(FCS); in checkPostStmt() local982 if (CollectionSentinel.isZeroConstant()) { in checkPostStmt()