blob: 48d4023946a027f1d986081de2b748c683b49f1e (
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
|
/* { dg-additional-options "-Wno-analyzer-double-free" } */
#define DOUBLE_FREE() \
do { \
void *p = __builtin_malloc (1024); \
__builtin_free (p); \
__builtin_free (p); \
} while (0)
#define DOUBLE_FREE_x_10() \
do { \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
DOUBLE_FREE(); \
} while (0)
#define DOUBLE_FREE_x_100() \
do { \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
DOUBLE_FREE_x_10(); \
} while (0)
#define DOUBLE_FREE_x_1000() \
do { \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
DOUBLE_FREE_x_100(); \
} while (0)
void test_1 (void)
{
DOUBLE_FREE_x_1000 ();
}
|
