blob: e956cf5fda67438e40ab636d392031bb99ac3595 (
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
extern void free (void *);
struct foo
{
int m_int;
};
extern void foo_release (struct foo *);
extern struct foo *foo_acquire (void)
__attribute__ ((malloc (foo_release)));
extern void use_foo (const struct foo *)
__attribute__((nonnull));
extern struct foo *compatible_alloc (void)
__attribute__ ((malloc (__builtin_free)));
extern struct foo *compatible_alloc2 (void)
__attribute__ ((malloc (free)));
void test_1 (void)
{
struct foo *p = foo_acquire ();
foo_release (p);
}
void test_2 (void)
{
struct foo *p = foo_acquire (); /* { dg-message "this call could return NULL" } */
p->m_int = 42; /* { dg-warning "dereference of possibly-NULL 'p'" } */
foo_release (p);
}
void test_2a (void)
{
struct foo *p = foo_acquire (); /* { dg-message "this call could return NULL" } */
use_foo (p); /* { dg-warning "use of possibly-NULL 'p' where non-null expected" } */
foo_release (p);
}
void test_3 (void)
{
struct foo *p = foo_acquire (); /* { dg-message "allocated here" } */
} /* { dg-warning "leak of 'p'" } */
void test_4 (struct foo *p)
{
foo_release (p);
foo_release (p); /* { dg-warning "double-'foo_release' of 'p'" } */
}
void test_4a (void)
{
struct foo *p = foo_acquire ();
foo_release (p);
foo_release (p); /* { dg-warning "double-'foo_release' of 'p'" } */
}
void test_5 (void)
{
struct foo *p = foo_acquire (); /* { dg-message "allocated here \\(expects deallocation with 'foo_release'\\)" } */
free (p); /* { dg-warning "'p' should have been deallocated with 'foo_release' but was deallocated with 'free'" } */
}
void test_6 (struct foo *p)
{
foo_release (p);
free (p); // TODO: double-release warning!
}
void test_7 ()
{
struct foo f;
foo_release (&f); /* { dg-warning "on the stack" "analyzer" } */
/* { dg-warning "'foo_release' called on unallocated object 'f'" "non-analyzer" { target *-*-* } .-1 } */
}
int test_8 (struct foo *p)
{
foo_release (p);
return p->m_int; /* { dg-warning "use after 'foo_release' of 'p'" } */
}
/* Recognize that __builtin_free and free are the same thing. */
void test_9 (void)
{
struct foo *p = compatible_alloc ();
free (p);
}
void test_10 (void)
{
struct foo *p = compatible_alloc2 ();
__builtin_free (p);
}
|
