Line | Branch | Exec | Source |
---|---|---|---|
1 | /* | ||
2 | * This file is part of FFmpeg. | ||
3 | * | ||
4 | * FFmpeg is free software; you can redistribute it and/or | ||
5 | * modify it under the terms of the GNU Lesser General Public | ||
6 | * License as published by the Free Software Foundation; either | ||
7 | * version 2.1 of the License, or (at your option) any later version. | ||
8 | * | ||
9 | * FFmpeg is distributed in the hope that it will be useful, | ||
10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | ||
12 | * Lesser General Public License for more details. | ||
13 | * | ||
14 | * You should have received a copy of the GNU Lesser General Public | ||
15 | * License along with FFmpeg; if not, write to the Free Software | ||
16 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA | ||
17 | */ | ||
18 | |||
19 | #include "libavutil/tree.c" | ||
20 | |||
21 | #include <stdint.h> | ||
22 | |||
23 | #include "libavutil/common.h" | ||
24 | #include "libavutil/lfg.h" | ||
25 | #include "libavutil/log.h" | ||
26 | #include "libavutil/mem.h" | ||
27 | |||
28 | 92932756 | static int check(AVTreeNode *t) | |
29 | { | ||
30 |
2/2✓ Branch 0 taken 46461378 times.
✓ Branch 1 taken 46471378 times.
|
92932756 | if (t) { |
31 | 46461378 | int left = check(t->child[0]); | |
32 | 46461378 | int right = check(t->child[1]); | |
33 | |||
34 |
2/4✓ Branch 0 taken 46461378 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 46461378 times.
|
46461378 | if (left > 999 || right > 999) |
35 | ✗ | return 1000; | |
36 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 46461378 times.
|
46461378 | if (right - left != t->state) |
37 | ✗ | return 1000; | |
38 |
2/4✓ Branch 0 taken 46461378 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 46461378 times.
|
46461378 | if (t->state > 1 || t->state < -1) |
39 | ✗ | return 1000; | |
40 | 46461378 | return FFMAX(left, right) + 1; | |
41 | } | ||
42 | 46471378 | return 0; | |
43 | } | ||
44 | |||
45 | ✗ | static void print(AVTreeNode *t, int depth) | |
46 | { | ||
47 | int i; | ||
48 | ✗ | for (i = 0; i < depth * 4; i++) | |
49 | ✗ | av_log(NULL, AV_LOG_ERROR, " "); | |
50 | ✗ | if (t) { | |
51 | ✗ | av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem); | |
52 | ✗ | print(t->child[0], depth + 1); | |
53 | ✗ | print(t->child[1], depth + 1); | |
54 | } else | ||
55 | ✗ | av_log(NULL, AV_LOG_ERROR, "NULL\n"); | |
56 | ✗ | } | |
57 | |||
58 | 360426 | static int cmp(const void *a, const void *b) | |
59 | { | ||
60 | 360426 | return (const uint8_t *) a - (const uint8_t *) b; | |
61 | } | ||
62 | |||
63 | 1 | int main(int argc, char **argv) | |
64 | { | ||
65 | int i; | ||
66 | void *k; | ||
67 | 1 | AVTreeNode *root = NULL, *node = NULL; | |
68 | AVLFG prng; | ||
69 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | int log_level = argc <= 1 ? AV_LOG_INFO : atoi(argv[1]); |
70 | |||
71 | 1 | av_log_set_level(log_level); | |
72 | |||
73 | 1 | av_lfg_init(&prng, 1); | |
74 | |||
75 |
2/2✓ Branch 0 taken 10000 times.
✓ Branch 1 taken 1 times.
|
10001 | for (i = 0; i < 10000; i++) { |
76 | 10000 | intptr_t j = av_lfg_get(&prng) % 86294; | |
77 | |||
78 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 10000 times.
|
10000 | if (check(root) > 999) { |
79 | ✗ | av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i); | |
80 | ✗ | print(root, 0); | |
81 | ✗ | return 1; | |
82 | } | ||
83 | 10000 | av_log(NULL, AV_LOG_DEBUG, "inserting %4d\n", (int)j); | |
84 | |||
85 |
2/2✓ Branch 0 taken 9513 times.
✓ Branch 1 taken 487 times.
|
10000 | if (!node) |
86 | 9513 | node = av_tree_node_alloc(); | |
87 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 10000 times.
|
10000 | if (!node) { |
88 | ✗ | av_log(NULL, AV_LOG_ERROR, "Memory allocation failure.\n"); | |
89 | ✗ | return 1; | |
90 | } | ||
91 | 10000 | av_tree_insert(&root, (void *)(j + 1), cmp, &node); | |
92 | |||
93 | 10000 | j = av_lfg_get(&prng) % 86294; | |
94 | { | ||
95 | 10000 | AVTreeNode *node2 = NULL; | |
96 | 10000 | av_log(NULL, AV_LOG_DEBUG, "removing %4d\n", (int)j); | |
97 | 10000 | av_tree_insert(&root, (void *)(j + 1), cmp, &node2); | |
98 | 10000 | k = av_tree_find(root, (void *)(j + 1), cmp, NULL); | |
99 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 10000 times.
|
10000 | if (k) |
100 | ✗ | av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i); | |
101 | 10000 | av_free(node2); | |
102 | } | ||
103 | } | ||
104 | 1 | av_free(node); | |
105 | |||
106 | 1 | av_tree_destroy(root); | |
107 | |||
108 | 1 | return 0; | |
109 | } | ||
110 |