saved_search_regs 3099 src/search.c     if (saved_search_regs.num_regs == 0)
saved_search_regs 3101 src/search.c         saved_search_regs = search_regs;
saved_search_regs 3114 src/search.c     if (saved_search_regs.num_regs != 0)
saved_search_regs 3121 src/search.c         search_regs = saved_search_regs;
saved_search_regs 3124 src/search.c         saved_search_regs.num_regs = 0;