assume_nonnull   4105 maint/gnulib/lib/dfa.c           assume_nonnull (mp);
assume_nonnull   4113 maint/gnulib/lib/dfa.c             assume_nonnull (rmp);
assume_nonnull   4115 maint/gnulib/lib/dfa.c             assume_nonnull (lmp);
assume_nonnull   4156 maint/gnulib/lib/dfa.c           assume_nonnull (mp);
assume_nonnull   4161 maint/gnulib/lib/dfa.c           assume_nonnull (mp);
assume_nonnull   4179 maint/gnulib/lib/dfa.c             assume_nonnull (rmp);
assume_nonnull   4181 maint/gnulib/lib/dfa.c             assume_nonnull (lmp);