blob: 156f0114fd52b3863ad0abf1ecce876aba55ab96 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/* { dg-additional-options "-fno-analyzer-suppress-followups" } */
#include "analyzer-decls.h"
extern int pipe(int pipefd[2]);
extern int close(int fd);
void
test_leak (void)
{
int fds[2];
if (pipe (fds) == -1) /* { dg-message "when 'pipe' succeeds" } */
/* { dg-message "opened here as read-write" "sm msg" { target *-*-* } .-1 }} */
return;
} /* { dg-line leak } */
/* { dg-warning "leak of file descriptor 'fds\\\[0\\\]'" "leak of 0" { target *-*-* } leak } */
/* { dg-warning "leak of file descriptor 'fds\\\[1\\\]'" "leak of 1" { target *-*-* } leak } */
/* { dg-message "'fds\\\[0\\\]' leaks here" "final msg 0" { target *-*-* } leak }} */
/* { dg-message "'fds\\\[1\\\]' leaks here" "final msg 1" { target *-*-* } leak }} */
void
test_close (void)
{
int fds[2];
if (pipe (fds) == -1)
return;
__analyzer_describe (0, fds[0]); /* { dg-warning "CONJURED" } */
__analyzer_describe (0, fds[1]); /* { dg-warning "CONJURED" } */
close (fds[0]);
close (fds[1]);
}
void
test_unchecked (void)
{
int fds[2];
pipe (fds); /* { dg-message "when 'pipe' fails" } */
close (fds[0]); /* { dg-warning "use of uninitialized value 'fds\\\[0\\\]'" } */
close (fds[1]); /* { dg-warning "use of uninitialized value 'fds\\\[1\\\]'" } */
}
|
