<assertions>
  <assertion id="1" tag="ref:XSH6:32665:32667">
   The function
    int pthread_condattr_destroy(pthread_condattr_t *attr);
  shall destroy a condition variable attributes object; the object becomes,
  in effect, uninitialized. An implementation may cause pthread_condattr_destroy()
  to set the object referenced by attr to an invalid value.
  </assertion>

  <assertion id="2" tag="ref:XSH6:32667:32669">
  A destroyed attr attributes object can be reinitialized using pthread_condattr_init();
  the results of otherwise referencing the object after it has been destroyed are undefined.
  </assertion>

  <assertion id="3" tag="ref:XSH6:32682:32683">
  If successful, it shall return zero;
  </assertion>

  <assertion id="4" tag="ref:XSH6:32685:32686">
  The pthread_condattr_destroy() function may fail if:
    [EINVAL] The value specified by attr is invalid.
  </assertion>

</assertions>
