Home | History | Annotate | Download | only in PathSensitive

Lines Matching defs:isSink

125                         bool IsSink)
126 : Location(loc), State(std::move(state)), Succs(IsSink) {
127 assert(isSink() == IsSink);
162 bool IsSink) {
165 ID.AddBoolean(IsSink);
170 Profile(ID, Location, State, isSink());
182 bool isSink() const { return Succs.getFlag(); }
294 bool IsSink = false,
303 bool IsSink = false);
412 assert (N && !static_cast<ExplodedNode*>(N)->isSink());
419 if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N);