Lines Matching full:dummy
428 /* Jump to following two-byte address, and push a dummy failure
435 /* Push a dummy failure point and continue. Used at the end of
2256 { /* Push a dummy failure point at the end of the
3629 a ``dummy''; if a failure happens and the failure point is a dummy,
4483 detect that here, the alternative has put on a dummy
4668 /* At the end of an alternative, we need to push a dummy failure
4882 /* If this failure point is a dummy, try the next one. */
