385       WeightedRange &w_range = w_ranges[i];  in build_current_trie()  local
386       std::size_t key_pos = w_range.key_pos() + 1;  in build_current_trie()
387       while (key_pos < keys[w_range.begin()].length()) {  in build_current_trie()
389         for (j = w_range.begin() + 1; j < w_range.end(); ++j) {  in build_current_trie()
394         if (j < w_range.end()) {  in build_current_trie()
399       cache<T>(node_id, bases_.size(), w_range.weight(),  in build_current_trie()
400           keys[w_range.begin()][w_range.key_pos()]);  in build_current_trie()
402       if (key_pos == w_range.key_pos() + 1) {  in build_current_trie()
404             keys[w_range.begin()][w_range.key_pos()]));  in build_current_trie()
410         next_key.set_str(keys[w_range.begin()].ptr(),  in build_current_trie()
411             keys[w_range.begin()].length());  in build_current_trie()
412         next_key.substr(w_range.key_pos(), key_pos - w_range.key_pos());  in build_current_trie()
413         next_key.set_weight(w_range.weight());  in build_current_trie()
416       w_range.set_key_pos(key_pos);  in build_current_trie()
417       queue.push(w_range.range());  in build_current_trie()