Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/attr-alloc_size-6.c @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* PR c/78284 - warn on malloc with very large arguments
2 Test exercising the ability of the built-in allocation functions
3 to detect and diagnose, without optimization, calls that attemnpt
4 to allocate objects in excess of the number of bytes specified by
5 -Walloc-larger-than=maximum. */
6 /* { dg-do compile } */
7 /* { dg-require-effective-target alloca } */
8 /* { dg-options "-O0 -Wall -Walloc-size-larger-than=12345" } */
9
10 #define MAXOBJSZ 12345
11
12 typedef __SIZE_TYPE__ size_t;
13
14 void sink (void*);
15
16
17 void test_lit (char *p, char *q)
18 {
19 sink (__builtin_aligned_alloc (1, MAXOBJSZ));
20 sink (__builtin_aligned_alloc (1, MAXOBJSZ + 1)); /* { dg-warning "argument 2 value .12346\[lu\]*. exceeds maximum object size 12345" } */
21
22 sink (__builtin_alloca (MAXOBJSZ));
23 sink (__builtin_alloca (MAXOBJSZ + 2)); /* { dg-warning "argument 1 value .12347\[lu\]*. exceeds maximum object size 12345" } */
24
25 sink (__builtin_calloc (MAXOBJSZ, 1));
26 sink (__builtin_calloc (1, MAXOBJSZ));
27
28 /* Verify that the signed to unsigned conversion below doesn't cause
29 a warning. */
30 sink (__builtin_calloc (p - q, 1));
31 sink (__builtin_calloc (1, q - p));
32 sink (__builtin_calloc (p - q, MAXOBJSZ));
33 sink (__builtin_calloc (MAXOBJSZ, q - p));
34
35 sink (__builtin_calloc (MAXOBJSZ / 2, 3)); /* { dg-warning "product .6172\[lu\]* \\* 3\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
36 sink (__builtin_calloc (4, MAXOBJSZ / 3)); /* { dg-warning "product .4\[lu\]* \\* 4115\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
37
38 sink (__builtin_malloc (MAXOBJSZ));
39 sink (__builtin_malloc (MAXOBJSZ + 3)); /* { dg-warning "argument 1 value .12348\[lu\]*. exceeds maximum object size 12345" } */
40
41 sink (__builtin_realloc (p, MAXOBJSZ));
42 sink (__builtin_realloc (p, MAXOBJSZ + 4)); /* { dg-warning "argument 2 value .12349\[lu\]*. exceeds maximum object size 12345" } */
43 }
44
45
46 enum { max = MAXOBJSZ };
47
48 void test_cst (char *p, char *q)
49 {
50 sink (__builtin_aligned_alloc (1, max));
51 sink (__builtin_aligned_alloc (1, max + 1)); /* { dg-warning "argument 2 value .12346\[lu\]*. exceeds maximum object size 12345" } */
52
53 sink (__builtin_alloca (max));
54 sink (__builtin_alloca (max + 2)); /* { dg-warning "argument 1 value .12347\[lu\]*. exceeds maximum object size 12345" } */
55
56 sink (__builtin_calloc (max, 1));
57 sink (__builtin_calloc (1, max));
58
59 /* Verify that the signed to unsigned conversion below doesn't cause
60 a warning. */
61 sink (__builtin_calloc (p - q, 1));
62 sink (__builtin_calloc (1, q - p));
63 sink (__builtin_calloc (p - q, max));
64 sink (__builtin_calloc (max, q - p));
65
66 sink (__builtin_calloc (max / 2, 3)); /* { dg-warning "product .6172\[lu\]* \\* 3\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
67 sink (__builtin_calloc (4, max / 3)); /* { dg-warning "product .4\[lu\]* \\* 4115\[lu\]*. of arguments 1 and 2 exceeds maximum object size 12345" } */
68
69 sink (__builtin_malloc (max));
70 sink (__builtin_malloc (max + 3)); /* { dg-warning "argument 1 value .12348\[lu\]*. exceeds maximum object size 12345" } */
71
72 sink (__builtin_realloc (p, max));
73 sink (__builtin_realloc (p, max + 4)); /* { dg-warning "argument 2 value .12349\[lu\]*. exceeds maximum object size 12345" } */
74 }