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
|
/* PR c/78668 - aligned_alloc, realloc, et al. missing attribute alloc_size
Test to verify that memory allocation built-ins are decorated with
attribute alloc_size that __builtin_object_size can make use of (or
are treated as if they were for that purpose)..
{ dg-do compile }
{ dg-require-effective-target alloca }
{ dg-additional-options "-O2 -fdump-tree-optimized" } */
void sink (void*);
static unsigned size (unsigned n)
{
return n;
}
void test_aligned_alloc (unsigned a)
{
unsigned n = size (7);
void *p = __builtin_aligned_alloc (a, n);
if (__builtin_object_size (p, 0) != n)
__builtin_abort ();
sink (p);
}
void test_alloca (void)
{
unsigned n = size (13);
void *p = __builtin_alloca (n);
/* Also verify that alloca is declared with attribute returns_nonnull
(or treated as it were as the case may be). */
if (!p)
__builtin_abort ();
if (__builtin_object_size (p, 0) != n)
__builtin_abort ();
sink (p);
}
void test_calloc (void)
{
unsigned m = size (19);
unsigned n = size (23);
void *p = __builtin_calloc (m, n);
if (__builtin_object_size (p, 0) != m * n)
__builtin_abort ();
sink (p);
}
void test_malloc (void)
{
unsigned n = size (17);
void *p = __builtin_malloc (n);
if (__builtin_object_size (p, 0) != n)
__builtin_abort ();
sink (p);
}
void test_realloc (void *p)
{
unsigned n = size (31);
p = __builtin_realloc (p, n);
if (__builtin_object_size (p, 0) != n)
__builtin_abort ();
sink (p);
}
/* { dg-final { scan-tree-dump-not "abort" "optimized" } } */
|
