Lines Matching refs:duplicate
384 /* Match a duplicate of something remembered. Followed by one
386 duplicate,
659 case duplicate:
660 printf ("/duplicate/%d", *p++);
2599 BUF_PUSH_2 (duplicate, c1);
3003 case duplicate:
4269 /* \<digit> has been turned into a `duplicate' command which is
4271 case duplicate:
4275 DEBUG_PRINT2 ("EXECUTING duplicate %d.\n", regno);
5157 case duplicate:
