61   BitVector Next = StateIn;  in doKill()  local
63     return Next;  in doKill()
64   for (auto I = this->expr_begin(Next), E = this->expr_end(); I != E; ++I) {  in doKill()
70       Next.reset(I.getBitVectorIndex());  in doKill()
82   return Next;  in doKill()
98   BitVector Next = Cur;  in computeNext()  local
100     Next = doKill(Point, Next, Sz);  in computeNext()
101     return Next;  in computeNext()
104     Next.set(this->ExprToIdx[&Point]);  in computeNext()
105     return Next;  in computeNext()
116       Next = doKill(Point, Next, FPOffset - SPOffset);  in computeNext()
117       return Next;  in computeNext()
120       Next.set(this->ExprToIdx[&Point]);  in computeNext()
121       return Next;  in computeNext()
138       return Next;  in computeNext()
141       Next = doKill(Point, Next, Output - SPOffset);  in computeNext()
142       return Next;  in computeNext()
145       Next.set(this->ExprToIdx[&Point]);  in computeNext()
146       return Next;  in computeNext()
149   return Next;  in computeNext()