blob: 766ff8d8af39f9e2f8e925d43fa8d98eb7368a5f (
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
|
/* { dg-do compile } */
/* { dg-require-effective-target alloca } */
/* { dg-options "-Walloca-larger-than=2000 -O2" } */
void f (void *);
void
g1 (int n)
{
void *p;
if (n > 0 && n < 2000)
// FIXME: This is a bogus warning, and is currently happening on
// 32-bit targets because VRP is not giving us any range info for
// the argument to __builtin_alloca. This should be fixed by the
// upcoming range work.
p = __builtin_alloca (n); // { dg-bogus "unbounded use of 'alloca'" "" { xfail { ! lp64 } } }
else
p = __builtin_malloc (n);
f (p);
}
void
g2 (int n)
{
void *p;
if (n < 2000)
p = __builtin_alloca (n); // { dg-warning "large due to conversion" }
else
p = __builtin_malloc (n);
f (p);
}
void
g3 (int n)
{
void *p;
if (n > 0 && n < 3000)
{
p = __builtin_alloca (n); // { dg-warning "'alloca' may be too large" "" { target lp64} }
// { dg-message "note:.*argument may be as large as 2999" "note" { target lp64 } .-1 }
// { dg-warning "unbounded use of 'alloca'" "" { target { ! lp64 } } .-2 }
}
else
p = __builtin_malloc (n);
f (p);
}
|
