blob: 82a199f83b06ebb1bcd9fd88f8e8201812453e51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
/* { 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'" } */
|
