assume             38 maint/gnulib/lib/assure.h # define affirm(E) assume (E)
assume             44 maint/gnulib/lib/dfa.c #define assume_nonnull(x) assume ((x) != NULL)
assume            422 maint/gnulib/lib/hamt.c       assume (0);
assume            505 maint/gnulib/lib/hamt.c       assume (0);
assume            695 maint/gnulib/lib/hamt.c       assume (0);
assume            824 maint/gnulib/lib/hamt.c       assume (0);
assume            918 maint/gnulib/lib/hamt.c       assume (0);
assume             85 maint/gnulib/lib/posixtm.c       assume (false);
assume             46 maint/gnulib/lib/regex_internal.h # define DEBUG_ASSERT(x) assume (x)
assume           3626 maint/gnulib/lib/regexec.c   assume (ndests <= SBC_MAX);
assume             38 maint/gnulib/lib/xbinary-io.c   assume (false);
assume             86 maint/gnulib/tests/test-verify.c   assume (f (1));
assume             88 maint/gnulib/tests/test-verify.c   assume (s->halt);
assume             99 maint/gnulib/tests/test-verify.c   assume (x >= 4);
assume            108 maint/gnulib/tests/test-verify.c   assume (0);