assume           8040 lib-src/etags.c   assume (0 <= nitems);
assume           8041 lib-src/etags.c   assume (0 < item_size);
assume           8051 lib-src/etags.c   assume (0 <= nitems);
assume           8052 lib-src/etags.c   assume (0 < item_size);
assume             46 lib/regex_internal.h # define DEBUG_ASSERT(x) assume (x)
assume           3591 lib/regexec.c    assume (ndests <= SBC_MAX);
assume            957 src/comp.c       assume (false);
assume            180 src/lisp.h     # define eassume(cond) assume (cond)
assume            193 src/lisp.h         ? assume (cond)						\
assume            201 test/manual/etags/c-src/emacs/src/lisp.h # define eassume(cond) assume (cond)
assume            214 test/manual/etags/c-src/emacs/src/lisp.h     ? assume (cond)						\