mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
aa02fb8256
Delete operators with additional allocator reference/pointer parameters are needed if the constructor of an 'new(allocator)' allocated object throws an exception. Also, destroy now uses the operator to free memory and provides variants with allocator reference and pointer. The commit includes a simple test scripts 'run/new_delete', which exercises the several 'delete' cases. Related to #1030. |
||
---|---|---|
.. | ||
affinity_subspace.run | ||
affinity.run | ||
cap_integrity.run | ||
ds_ownership.run | ||
mp_server.run | ||
new_delete.run | ||
printf.run | ||
rm_fault.run | ||
sub_rm.run | ||
thread.run | ||
util_mmio.run |