reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
978 ProgramStateRef State = C.getState(); 981 SVal CollectionSentinel = C.getSVal(FCS); 983 if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS)) 984 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false); 988 State = checkCollectionNonNil(C, State, FCS); 989 State = checkElementNonNil(C, State, FCS); 990 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true); 994 C.generateSink(C.getState(), C.getPredecessor()); 994 C.generateSink(C.getState(), C.getPredecessor()); 994 C.generateSink(C.getState(), C.getPredecessor()); 995 else if (State != C.getState()) 996 C.addTransition(State);