On 07/17/2017 06:33 PM, Emilio G. Cota wrote:
I would prefer either(1) Dynamic allocation. I know we eschew that most places during, but surely this is the exact situation for which it's handy.
...
But I guess that's not what you mean with (1)? You mean to allocate every single time we call tcg_optimize, allocating only the space we need on each call?
Yes. r~
