replace malloc/calloc/free with snapshot_{malloc/calloc/free}
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:08:36 +0000 (11:08 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:45:30 +0000 (11:45 -0700)
We need to explicitly declare when we are requesting snapshotting
memory, and we need to avoid using malloc, etc., directly. For now, this
has no functional change, as the 'snapshot_*' functions just call the
stdlib functions, but soon we may switch allocators to use a private
heap.


No differences found