/* { dg-require-effective-target sockets } */
/* { dg-additional-options "-fanalyzer-verbose-state-changes" } */

#include <sys/socket.h>
#include <sys/un.h>
#include <unistd.h>
#include <errno.h>

void test_leak_unchecked_stream_socket (void)
{
  int fd = socket (AF_UNIX, SOCK_STREAM, 0); /* { dg-message "meaning: \\{verb: 'acquire', noun: 'resource'\\}" } */
} /* { dg-warning "leak of file descriptor 'fd'" } */

void test_leak_unchecked_datagram_socket (void)
{
  int fd = socket (AF_UNIX, SOCK_DGRAM, 0); /* { dg-message "meaning: \\{verb: 'acquire', noun: 'resource'\\}" } */
} /* { dg-warning "leak of file descriptor 'fd'" } */

void test_leak_unchecked_socket (int type)
{
  int fd = socket (AF_UNIX, type, 0); /* { dg-message "meaning: \\{verb: 'acquire', noun: 'resource'\\}" } */
} /* { dg-warning "leak of file descriptor 'fd'" } */