Lines Matching defs:Push
44 void Push(int id, const char* p, int arg);
119 // Push the triple (id, p, arg) onto the stack, growing it if necessary.
120 void BitState::Push(int id, const char* p, int arg) {
146 Push(id0, p0, 0);
154 // Optimization: rather than push and pop,
155 // code that is going to Push and continue
158 // do the ShouldVisit check that Push
179 // Push(ip->out1(), p, 0);
180 // Push(ip->out(), p, 0);
183 // Pushing it here will inhibit that. Instead, re-push
184 // ip with arg==1 as a reminder to push ip->out1() later.
187 Push(id, p, 1); // come back when we're done
204 Push(ip->out1(), p, 0);
210 Push(ip->out(), end, 0);
231 Push(id, cap_[ip->cap()], 1); // come back when we're done
