blob: a62e8ace7142ae922b51b5149ec3d2d31329784a (
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
|
// RUN: %clang_cc1 -Wfree-nonheap-object -fsyntax-only -verify %s
typedef __SIZE_TYPE__ size_t;
void *malloc(size_t);
void free(void *);
struct S {
int I;
char *P;
};
int GI;
void test(void) {
{
free(&GI); // expected-warning {{attempt to call free on non-heap object 'GI'}}
}
{
static int SI = 0;
free(&SI); // expected-warning {{attempt to call free on non-heap object 'SI'}}
}
{
int I = 0;
free(&I); // expected-warning {{attempt to call free on non-heap object 'I'}}
}
{
int I = 0;
int *P = &I;
free(P); // FIXME diagnosing this would require control flow analysis.
}
{
void *P = malloc(8);
free(P);
}
{
int A[] = {0, 1, 2, 3};
free(A); // expected-warning {{attempt to call free on non-heap object 'A'}}
free(&A); // expected-warning {{attempt to call free on non-heap object 'A'}}
}
{
struct S s;
free(&s.I); // expected-warning {{attempt to call free on non-heap object 'I'}}
free(s.P);
}
}
|
