Home | History | Annotate | Download | only in Checkers

Lines Matching refs:generateSink

128     if (ExplodedNode *N = C.generateSink()) {
145   if (ExplodedNode *N = C.generateSink()) {
463   if (ExplodedNode *N = SourceSize < TargetSize ? C.generateSink() 
553     ExplodedNode *N = C.generateSink(stateTrue);
971     C.generateSink();