/* Check for proper pipe semantics at corner cases.
#progos: linux
*/

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <errno.h>

int main (void)
{
  if (pipe (NULL) != -1
      || errno != EFAULT)
  {
    perror ("pipe");
    abort ();
  }

  printf ("pass\n");
  exit (0);
}