catala icon indicating copy to clipboard operation
catala copied to clipboard

C backend: workaround bulk freeing of constants

Open AltGr opened this issue 1 year ago • 1 comments
trafficstars

Constants may need initialisation and allocations, which we do lazily, but that doesn't combine well with the way our allocator works, freeing everything in bulk.

This patch adds a switch to the allocator that make it use raw malloc, which is turned on within the initialisation functions of constants.

AltGr avatar Oct 10 '24 10:10 AltGr