blob: e459b247d23d9d366b3081baba828a9dbf34a68c (
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
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/* PR middle-end/98664 - inconsistent --Wfree-nonheap-object for inlined
calls to system headers
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
# 7 "Wfree-nonheap-object-4.h" 1 3
struct A
{
void *p;
};
static void f0 (struct A *p, void *q) { p->p = q; }
static void f1 (struct A *p, void *q) { f0 (p, q); }
static void f2 (struct A *p, void *q) { f1 (p, q); }
static void g0 (struct A *p)
{
__builtin_free (p->p); // { dg-warning "\\\[-Wfree-nonheap-object" }
}
static void g1 (struct A *p) { g0 (p); }
static void g2 (struct A *p) { g1 (p); }
# 26 "Wfree-nonheap-object-4.c"
#define NOIPA __attribute__ ((noipa))
extern int array[]; // { dg-message "declared here" "note on line 29" }
/* Verify the warning is issued even for calls in a system header inlined
into a function outside the header. */
NOIPA void warn_g0 (struct A *p)
{
int *q = array + 1;
f0 (p, q);
g0 (p);
}
// { dg-message "inlined from 'warn_g0'" "note on line 42" { target *-*-* } 0 }
/* Also verify the warning can be suppressed. */
NOIPA void nowarn_g0 (struct A *p)
{
int *q = array + 2;
f0 (p, q);
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfree-nonheap-object"
g0 (p);
#pragma GCC diagnostic pop
}
NOIPA void warn_g1 (struct A *p)
{
int *q = array + 3;
f1 (p, q);
g1 (p);
}
// { dg-message "inlined from 'g1'" "note on line 68" { target *-*-* } 0 }
// { dg-message "inlined from 'warn_g1'" "note on line 69" { target *-*-* } 0 }
NOIPA void nowarn_g1 (struct A *p)
{
int *q = array + 4;
f1 (p, q);
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfree-nonheap-object"
g1 (p);
#pragma GCC diagnostic pop
}
NOIPA void warn_g2 (struct A *p)
{
int *q = array + 5;
f2 (p, q);
g2 (p);
}
// { dg-message "inlined from 'g2'" "note on line 93" { target *-*-* } 0 }
// { dg-message "inlined from 'warn_g2'" "note on line 94" { target *-*-* } 0 }
NOIPA void nowarn_g2 (struct A *p)
{
int *q = array + 6;
f2 (p, q);
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfree-nonheap-object"
g2 (p);
#pragma GCC diagnostic pop
}
|
