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