saved_search_regs 3103 src/search.c     if (saved_search_regs.num_regs == 0)
saved_search_regs 3105 src/search.c         saved_search_regs = search_regs;
saved_search_regs 3118 src/search.c     if (saved_search_regs.num_regs != 0)
saved_search_regs 3125 src/search.c         search_regs = saved_search_regs;
saved_search_regs 3128 src/search.c         saved_search_regs.num_regs = 0;