blob: 2e9be1e78646fcab9627de5e0662c74d044bfdb0 (
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
|
/* PR middle-end/81871 - bogus attribute alloc_align accepted
Test exercising the problem with attribute alloc_size.
{ dg-do compile }
{ dg-options "-Wall" } */
#define ASIZE(...) __attribute__ ((alloc_size (__VA_ARGS__)))
#define SIZE_MAX __SIZE_MAX__
ASIZE (-1) void fvv_m1 (void); /* { dg-warning ".alloc_size. attribute ignored on a function returning .void." } */
ASIZE (1) int fiv_1 (void); /* { dg-warning ".alloc_size. attribute ignored on a function returning .int." } */
ASIZE (1, 2) int fiv_1_2 (void); /* { dg-warning ".alloc_size. attribute ignored on a function returning .int." } */
ASIZE (0) void* fpvv_0 (void); /* { dg-warning ".alloc_size. attribute argument value .0. does not refer to a function parameter" } */
ASIZE (1, 0) void*
fpvv_1_0 (int); /* { dg-warning ".alloc_size. attribute argument 2 value .0. does not refer to a function parameter" } */
ASIZE (1) void* fpvv_1 (void); /* { dg-warning ".alloc_size. attribute argument value .1. exceeds the number of function parameters 0" } */
ASIZE (1, 9) void*
fpvv_1_9 (int); /* { dg-warning ".alloc_size. attribute argument 2 value .9. exceeds the number of function parameters 1" } */
ASIZE (2) void* fii_2 (int); /* { dg-warning ".alloc_size. attribute argument value .2. exceeds the number of function parameters 1" } */
ASIZE (1) void fvi_1 (int); /* { dg-warning ".alloc_size. attribute ignored on a function returning .void." } */
/* Using alloc_size with a function returning a pointer to a function
should perhaps trigger a warning. */
typedef void (F)(void);
ASIZE (1) F* fpF_i_1 (int);
ASIZE (SIZE_MAX) void*
fpvi_szmax (int); /* { dg-warning ".alloc_size. attribute argument value .\[0-9\]+. exceeds the number of function parameters 1" } */
ASIZE ("12") void*
fpvi_str_1 (int); /* { dg-warning ".alloc_size. attribute argument has type .char\\\[3]." } */
ASIZE (1, "123") void*
fpvi_str_2 (int, int); /* { dg-warning ".alloc_size. attribute argument 2 has type .char\\\[4]." } */
ASIZE ((void*)0) void*
fpvi_pv0 (int); /* { dg-warning ".alloc_size. attribute argument has type .void \\\*." } */
ASIZE ((double*)sizeof (double)) void*
fpvi_pd1 (int); /* { dg-warning ".alloc_size. attribute argument has type .double \\\*." } */
ASIZE (1) void*
fpvi_pv_1 (void*); /* { dg-warning ".alloc_size. attribute argument value .1. refers to parameter type .void \\\*." } */
struct S { int i; };
ASIZE (2) void*
fpvi_S_2 (int, struct S); /* { dg-warning ".alloc_size. attribute argument value .2. refers to parameter type .struct S." } */
ASIZE ((struct S){ 1 }) void*
fpvi_S (int); /* { dg-warning ".alloc_size. attribute argument has type .struct S." } */
ASIZE (1, (struct S){ 1 }) void*
fpvi_1_S (int); /* { dg-warning ".alloc_size. attribute argument 2 has type .struct S." } */
|
