#include "signature.h"
SIGNATURE_CHECK (ptsname, char *, (int));
+#include <errno.h>
#include <fcntl.h>
#include <signal.h>
#include <stdio.h>
#endif
{
+ char *result;
+
+ errno = 0;
+ result = ptsname (-1);
+ ASSERT (result == NULL);
+ ASSERT (errno == EBADF
+ || errno == ENOTTY /* seen on glibc */
+ );
+ }
+
+ {
int fd;
char *result;