catala
catala copied to clipboard
C backend: workaround bulk freeing of constants
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.