-
Vladimír Čunát authored
When an index is required, rebuild it instead of using the NULL pointer. This allows lazy approach, as index rebuilding is relatively expensive and it might not be clear if it's needed before another change happens. The price of the added unlikely(==NULL) checks is *very* low.
2209f7d3