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
|
/* Test to verify that a MAX_EXPR and MIN_EXPR in a return statement
is handled correctly and that all local variables whose address
is or may be returned are identified.
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
char* sink (char*, ...);
void* test_max_2 (void)
{
char c; /* { dg-message "declared here" } */
char *p = sink (&c);
void *q = p > &c ? p : &c; /* MAX_EXPR */
return q; /* { dg-warning "\\\[-Wreturn-local-addr" } */
}
void* test_max_3 (void)
{
char c; /* { dg-message "declared here" } */
char d; /* { dg-message "declared here" } */
char *p = sink (&c, &d);
void *q = p < &c ? &c < &d ? &d : &c : p;
return q; /* { dg-warning "\\\[-Wreturn-local-addr" } */
}
void* test_min_2 (void)
{
char c; /* { dg-message "declared here" } */
char *p = sink (&c);
void *q = p < &c ? p : &c; /* MIN_EXPR" */
return q; /* { dg-warning "\\\[-Wreturn-local-addr" } */
}
void* test_min_3 (void)
{
char c; /* { dg-message "declared here" } */
char d; /* { dg-message "declared here" } */
char *p = sink (&c, &d);
void *q = p > &c ? &c > &d ? &d : &c : p;
return q; /* { dg-warning "\\\[-Wreturn-local-addr" } */
}
void* test_min_2_phi (int i)
{
char a; /* { dg-message "declared here" } */
char *p = &a;
char *q = sink (&a);
p = p < q ? p : q;
if (i == 1)
return p;
/* { dg-warning "may return address of local variable" "missing location" { xfail *-*-* } } */
else
return q;
}
void* test_min_3_phi (int i)
{
char a; /* { dg-message "declared here" } */
char b; /* { dg-message "declared here" } */
char *p0 = &a;
char *p1 = &b;
char *p2 = sink (&a, &b);
char *p3 = sink (&a, &b);
char *p4 = p2 < p0 ? p2 : p0;
char *p5 = p3 < p1 ? p3 : p1;
if (i == 1)
/* { dg-warning "may return address of local variable" "missing location" { xfail *-*-* } } */
return p4;
else
/* { dg-warning "may return address of local variable" "missing location" { xfail *-*-* } } */
return p5;
}
/* The directive below "swallows" warnings for both test_min_2_phi
and test_min_3_phi.
{ dg-warning "may return address of local variable" "pr90735" { target *-*-* } 0 } */
|
