Decide if command_graph<graph_state::modifiable>::add_free() show throw an exception under any of the following circumstances, or others not listed here.

• If data not allocated by add_malloc_device
• If data is already freed
• If data is not valid address

If so, update the spec to reflect that this behaviour.