[Help-gnutls] gnutls_transport_set_ptr()

[Martin Lambers]

Hello!

This is the prototype of gnutls_transport_set_ptr() from version 1.0.19:
void gnutls_transport_set_ptr(gnutls_session session, gnutls_transport_ptr ptr);

gnutls_transport_ptr is void*, but the argument ptr is a file
descriptor, therefore int.

A cast from int to void* seems a little bit strange, and it gives
compilation warnings like "warning: cast to pointer from integer of
different size" on certain platforms, for example
alpha-unknown-linux-gnu.

Is there a different way to do the same?

BTW, all examples in the documentation use 
gnutls_transport_set_ptr(session, (gnutls_transport_ptr_t) sd);
(the _t is wrong).

Regards,
Martin