<assertions>
  <assertion id="1" tag="ref:XSH6:31878:31879">
  The pthread_barrierattr_destroy( ) function shall destroy a barrier attributes object.
  A destroyed attr attributes object can be reinitialized using pthread_barrierattr_init( );
  </assertion>

  <assertion id="2" tag="ref:XSH6:31893:31894">
   The pthread_barrierattr_destroy( ) function may fail if:
   [EINVAL] The value specified by attr is invalid.

   These functions shall not return an error code of [EINTR].
  </assertion>

</assertions>

