rmp              4112 maint/gnulib/lib/dfa.c             must *rmp = mp;
rmp              4113 maint/gnulib/lib/dfa.c             assume_nonnull (rmp);
rmp              4119 maint/gnulib/lib/dfa.c             if (streq (lmp->is, rmp->is))
rmp              4121 maint/gnulib/lib/dfa.c                 lmp->begline &= rmp->begline;
rmp              4122 maint/gnulib/lib/dfa.c                 lmp->endline &= rmp->endline;
rmp              4132 maint/gnulib/lib/dfa.c             while (lmp->left[i] != '\0' && lmp->left[i] == rmp->left[i])
rmp              4137 maint/gnulib/lib/dfa.c             rn = strlen (rmp->right);
rmp              4142 maint/gnulib/lib/dfa.c               if (lmp->right[ln - i - 1] != rmp->right[rn - i - 1])
rmp              4147 maint/gnulib/lib/dfa.c             new = inboth (lmp->in, rmp->in);
rmp              4151 maint/gnulib/lib/dfa.c             freemust (rmp);
rmp              4178 maint/gnulib/lib/dfa.c             must *rmp = mp;
rmp              4179 maint/gnulib/lib/dfa.c             assume_nonnull (rmp);
rmp              4186 maint/gnulib/lib/dfa.c             lmp->in = addlists (lmp->in, rmp->in);
rmp              4187 maint/gnulib/lib/dfa.c             if (lmp->right[0] != '\0' && rmp->left[0] != '\0')
rmp              4190 maint/gnulib/lib/dfa.c                 idx_t rllen = strlen (rmp->left);
rmp              4192 maint/gnulib/lib/dfa.c                 memcpy (tp + lrlen, rmp->left, rllen + 1);
rmp              4198 maint/gnulib/lib/dfa.c               lmp->left = icatalloc (lmp->left, rmp->left);
rmp              4200 maint/gnulib/lib/dfa.c             if (rmp->is[0] == '\0')
rmp              4202 maint/gnulib/lib/dfa.c             lmp->right = icatalloc (lmp->right, rmp->right);
rmp              4205 maint/gnulib/lib/dfa.c                 && (rmp->is[0] != '\0' || rmp->endline))
rmp              4207 maint/gnulib/lib/dfa.c                 lmp->is = icatalloc (lmp->is, rmp->is);
rmp              4208 maint/gnulib/lib/dfa.c                 lmp->endline = rmp->endline;
rmp              4216 maint/gnulib/lib/dfa.c             freemust (rmp);