Lines Matching defs:duplicate
512 /* Match a duplicate of something remembered. Followed by one
514 duplicate,
874 case duplicate:
875 printf ("/duplicate/%ld", (long int) *p++);
4084 BUF_PUSH_2 (duplicate, c1);
4631 case duplicate:
6775 /* \<digit> has been turned into a `duplicate' command which is
6777 case duplicate:
6781 DEBUG_PRINT2 ("EXECUTING duplicate %d.\n", regno);
7727 case duplicate: