5.8.4/distrib/op.c

321     if (type == OP_NEXTSTATE || type == OP_SETSTATE || type == OP_DBSTATE)
632 	|| o->op_type == OP_DBSTATE
635 				      || o->op_targ == OP_DBSTATE)))
804     case OP_DBSTATE:
1159     case OP_DBSTATE:
1803 	    if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE)
3361 	cop->op_type = OP_DBSTATE;
3362 	cop->op_ppaddr = PL_ppaddr[ OP_DBSTATE ];
4053 	    if (type == OP_DBSTATE)
6372 	case OP_DBSTATE:
6433 		|| o->op_targ == OP_DBSTATE