The node you are looking for is at gnat_rm/implementation_advice rm-13-11-2-17-unchecked-deallocation.