Bram Moolenaar 35578168be patch 8.2.3275: optimizer can use hints about ga_grow() normally succeeding ...

Problem:    Optimizer can use hints about ga_grow() normally succeeding.
Solution:   Use GA_GROW_FAILS() and GA_GROW_OK() in several places. (Dominique
            Pellé, issue #8635)

2021-08-02 19:10:38 +02:00

13 KiB

Raw Blame History

View Raw