On 04/22/2015 02:29 PM, Mike Holmes wrote:


On 22 April 2015 at 07:26, Bill Fischofer <[email protected]
<mailto:[email protected]>> wrote:

    Good points.  I agree it's better to leave this behavior undefined.


If that is consensus I will send a patch for the docs to add.

"Deleting an already deleted pool results in unspecified behavior."

odp_pktio_t, odp_shm_t, etc also cannot be destroyed twice. I think it valid for any ODP handle.

I think it should be more generic.
"Using an already destroyed ODP handle results in undefined behavior."
_______________________________________________
lng-odp mailing list
[email protected]
https://lists.linaro.org/mailman/listinfo/lng-odp

Reply via email to