GCC Code Coverage Report

Directory: avs_core/
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 100.0% 4 / 0 / 4
Functions: -% 0 / 0 / 0
Branches: 26.3% 277 / 0 / 1054
include/avs/minmax.h
Line Branch Exec Source
1 // This program is free software; you can redistribute it and/or modify
2 // it under the terms of the GNU General Public License as published by
3 // the Free Software Foundation; either version 2 of the License, or
4 // (at your option) any later version.
5 //
6 // This program is distributed in the hope that it will be useful,
7 // but WITHOUT ANY WARRANTY; without even the implied warranty of
8 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 // GNU General Public License for more details.
10 //
11 // You should have received a copy of the GNU General Public License
12 // along with this program; if not, write to the Free Software
13 // Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA, or visit
14 // http://www.gnu.org/copyleft/gpl.html .
15 //
16 // Linking Avisynth statically or dynamically with other modules is making a
17 // combined work based on Avisynth. Thus, the terms and conditions of the GNU
18 // General Public License cover the whole combination.
19 //
20 // As a special exception, the copyright holders of Avisynth give you
21 // permission to link Avisynth with independent modules that communicate with
22 // Avisynth solely through the interfaces defined in avisynth.h, regardless of the license
23 // terms of these independent modules, and to copy and distribute the
24 // resulting combined work under terms of your choice, provided that
25 // every copy of the combined work is accompanied by a complete copy of
26 // the source code of Avisynth (the version of Avisynth used to produce the
27 // combined work), being distributed under the terms of the GNU General
28 // Public License plus this exception. An independent module is a module
29 // which is not derived from or based on Avisynth, such as 3rd-party filters,
30 // import and export plugins, or graphical user interfaces.
31
32 #ifndef AVSCORE_MINMAX_H
33 #define AVSCORE_MINMAX_H
34
35 #include "config.h"
36
37 // Anonymous namespace: this header is included from files built with different per file compiler flags.
38 // AVS_FORCEINLINE: otherwise MSVC does not inline these functions.
39 namespace {
40
41 template<typename T>
42 AVS_FORCEINLINE T min(T v1, T v2)
43 {
44
40/226
✗ Branch 2 → 3 not taken.
✗ Branch 2 → 4 not taken.
✗ Branch 3 → 4 not taken.
✓ Branch 3 → 5 taken 80 times.
✓ Branch 4 → 5 taken 642 times.
✓ Branch 4 → 6 taken 65536 times.
✓ Branch 5 → 6 taken 3 times.
✓ Branch 5 → 7 taken 1 time.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 9 taken 1 time.
✗ Branch 8 → 9 not taken.
✓ Branch 8 → 10 taken 4 times.
✗ Branch 9 → 10 not taken.
✓ Branch 9 → 11 taken 80 times.
✓ Branch 10 → 11 taken 4 times.
✗ Branch 10 → 12 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 13 not taken.
✗ Branch 12 → 13 not taken.
✗ Branch 12 → 14 not taken.
✓ Branch 13 → 14 taken 9 times.
✓ Branch 13 → 15 taken 12 times.
✓ Branch 14 → 15 taken 6 times.
✓ Branch 14 → 16 taken 3 times.
✓ Branch 15 → 16 taken 4 times.
✗ Branch 15 → 17 not taken.
✓ Branch 16 → 17 taken 135 times.
✓ Branch 16 → 18 taken 45 times.
✗ Branch 17 → 18 not taken.
✗ Branch 17 → 19 not taken.
✗ Branch 18 → 19 not taken.
✓ Branch 18 → 20 taken 4 times.
✗ Branch 20 → 21 not taken.
✗ Branch 20 → 22 not taken.
✗ Branch 21 → 22 not taken.
✗ Branch 21 → 23 not taken.
✗ Branch 24 → 25 not taken.
✓ Branch 24 → 26 taken 12 times.
✓ Branch 26 → 27 taken 8 times.
✓ Branch 26 → 28 taken 1 time.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 29 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 30 not taken.
✓ Branch 29 → 30 taken 4 times.
✓ Branch 29 → 31 taken 8 times.
✓ Branch 30 → 31 taken 3 times.
✓ Branch 30 → 32 taken 3 times.
✗ Branch 31 → 32 not taken.
✗ Branch 31 → 33 not taken.
✗ Branch 33 → 34 not taken.
✗ Branch 33 → 35 not taken.
✓ Branch 34 → 35 taken 4 times.
✓ Branch 34 → 36 taken 8 times.
✓ Branch 35 → 36 taken 4 times.
✗ Branch 35 → 37 not taken.
✗ Branch 36 → 37 not taken.
✗ Branch 36 → 38 not taken.
✗ Branch 37 → 38 not taken.
✗ Branch 37 → 39 not taken.
✓ Branch 39 → 40 taken 8 times.
✓ Branch 39 → 41 taken 4 times.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 44 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 47 not taken.
✓ Branch 46 → 47 taken 642 times.
✗ Branch 46 → 48 not taken.
✗ Branch 51 → 52 not taken.
✗ Branch 51 → 53 not taken.
✗ Branch 55 → 56 not taken.
✗ Branch 55 → 57 not taken.
✗ Branch 57 → 58 not taken.
✗ Branch 57 → 59 not taken.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 60 not taken.
✗ Branch 65 → 66 not taken.
✗ Branch 65 → 67 not taken.
✗ Branch 66 → 67 not taken.
✗ Branch 66 → 68 not taken.
✗ Branch 70 → 71 not taken.
✗ Branch 70 → 72 not taken.
✗ Branch 71 → 72 not taken.
✗ Branch 71 → 73 not taken.
✗ Branch 73 → 74 not taken.
✗ Branch 73 → 75 not taken.
✗ Branch 74 → 75 not taken.
✗ Branch 74 → 76 not taken.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 77 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 80 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 81 not taken.
✓ Branch 80 → 81 taken 76 times.
✗ Branch 80 → 82 not taken.
✗ Branch 81 → 82 not taken.
✗ Branch 81 → 83 not taken.
✗ Branch 82 → 83 not taken.
✗ Branch 82 → 84 not taken.
✗ Branch 85 → 86 not taken.
✗ Branch 85 → 87 not taken.
✗ Branch 86 → 87 not taken.
✗ Branch 86 → 88 not taken.
✗ Branch 87 → 88 not taken.
✗ Branch 87 → 89 not taken.
✗ Branch 88 → 89 not taken.
✗ Branch 88 → 90 not taken.
✗ Branch 89 → 90 not taken.
✗ Branch 89 → 91 not taken.
✓ Branch 91 → 92 taken 72 times.
✓ Branch 91 → 93 taken 4 times.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 94 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 95 not taken.
✓ Branch 94 → 95 taken 7 times.
✓ Branch 94 → 96 taken 1 time.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 97 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 98 not taken.
✗ Branch 98 → 99 not taken.
✗ Branch 98 → 100 not taken.
✗ Branch 101 → 102 not taken.
✗ Branch 101 → 103 not taken.
✗ Branch 102 → 103 not taken.
✗ Branch 102 → 104 not taken.
✗ Branch 103 → 104 not taken.
✗ Branch 103 → 105 not taken.
✗ Branch 104 → 105 not taken.
✓ Branch 104 → 106 taken 1 time.
✗ Branch 106 → 107 not taken.
✗ Branch 106 → 108 not taken.
✗ Branch 108 → 109 not taken.
✗ Branch 108 → 110 not taken.
✗ Branch 114 → 115 not taken.
✗ Branch 114 → 116 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 117 not taken.
✗ Branch 117 → 118 not taken.
✗ Branch 117 → 119 not taken.
✗ Branch 118 → 119 not taken.
✗ Branch 118 → 120 not taken.
✗ Branch 125 → 126 not taken.
✗ Branch 125 → 127 not taken.
✗ Branch 126 → 127 not taken.
✗ Branch 126 → 128 not taken.
✗ Branch 137 → 138 not taken.
✗ Branch 137 → 139 not taken.
✗ Branch 138 → 139 not taken.
✗ Branch 138 → 140 not taken.
✗ Branch 141 → 142 not taken.
✗ Branch 141 → 143 not taken.
✗ Branch 145 → 146 not taken.
✗ Branch 145 → 147 not taken.
✗ Branch 148 → 149 not taken.
✗ Branch 148 → 150 not taken.
✗ Branch 151 → 152 not taken.
✗ Branch 151 → 153 not taken.
✗ Branch 153 → 154 not taken.
✗ Branch 153 → 155 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 163 not taken.
✗ Branch 162 → 163 not taken.
✗ Branch 162 → 164 not taken.
✗ Branch 169 → 170 not taken.
✗ Branch 169 → 171 not taken.
✗ Branch 171 → 172 not taken.
✗ Branch 171 → 173 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 180 not taken.
✗ Branch 181 → 182 not taken.
✓ Branch 181 → 183 taken 1536 times.
✗ Branch 185 → 186 not taken.
✗ Branch 185 → 187 not taken.
✗ Branch 192 → 193 not taken.
✗ Branch 192 → 194 not taken.
✗ Branch 199 → 200 not taken.
✗ Branch 199 → 201 not taken.
✗ Branch 202 → 203 not taken.
✗ Branch 202 → 204 not taken.
✗ Branch 207 → 208 not taken.
✓ Branch 207 → 209 taken 2 times.
✗ Branch 261 → 262 not taken.
✗ Branch 261 → 263 not taken.
✗ Branch 280 → 281 not taken.
✗ Branch 280 → 282 not taken.
✗ Branch 288 → 289 not taken.
✗ Branch 288 → 290 not taken.
✗ Branch 294 → 295 not taken.
✗ Branch 294 → 296 not taken.
✗ Branch 302 → 303 not taken.
✗ Branch 302 → 304 not taken.
✗ Branch 307 → 308 not taken.
✗ Branch 307 → 309 not taken.
✗ Branch 308 → 309 not taken.
✗ Branch 308 → 310 not taken.
✗ Branch 315 → 316 not taken.
✗ Branch 315 → 317 not taken.
✗ Branch 319 → 320 not taken.
✗ Branch 319 → 321 not taken.
✗ Branch 321 → 322 not taken.
✗ Branch 321 → 323 not taken.
✗ Branch 330 → 331 not taken.
✗ Branch 330 → 332 not taken.
✗ Branch 331 → 332 not taken.
✗ Branch 331 → 333 not taken.
✗ Branch 337 → 338 not taken.
✗ Branch 337 → 339 not taken.
✗ Branch 370 → 371 not taken.
✗ Branch 370 → 372 not taken.
✓ Branch 622 → 623 taken 765 times.
✓ Branch 622 → 624 taken 3 times.
✗ Branch 4824 → 4825 not taken.
✗ Branch 4824 → 4826 not taken.
✗ Branch 4891 → 4892 not taken.
✗ Branch 4891 → 4893 not taken.
✗ Branch 12940 → 12941 not taken.
✗ Branch 12940 → 12942 not taken.
✗ Branch 13007 → 13008 not taken.
✗ Branch 13007 → 13009 not taken.
✗ Branch 21028 → 21029 not taken.
✗ Branch 21028 → 21030 not taken.
✗ Branch 25356 → 25357 not taken.
✗ Branch 25356 → 25358 not taken.
 69701 return v1 < v2 ? v1 : v2;
45 }
46
47 template<typename T>
48 AVS_FORCEINLINE T max(T v1, T v2)
49 {
50
47/180
✓ Branch 2 → 3 taken 711 times.
✓ Branch 2 → 4 taken 10 times.
✓ Branch 3 → 4 taken 642 times.
✗ Branch 3 → 5 not taken.
✓ Branch 4 → 5 taken 8 times.
✓ Branch 4 → 6 taken 4 times.
✗ Branch 5 → 6 not taken.
✓ Branch 5 → 7 taken 6 times.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 9 taken 1487 times.
✓ Branch 9 → 10 taken 4 times.
✓ Branch 9 → 11 taken 8 times.
✗ Branch 10 → 11 not taken.
✓ Branch 10 → 12 taken 6 times.
✓ Branch 11 → 12 taken 141 times.
✓ Branch 11 → 13 taken 39 times.
✗ Branch 12 → 13 not taken.
✗ Branch 12 → 14 not taken.
✓ Branch 13 → 14 taken 12 times.
✓ Branch 13 → 15 taken 14 times.
✓ Branch 14 → 15 taken 16397 times.
✓ Branch 14 → 16 taken 36 times.
✗ Branch 15 → 16 not taken.
✓ Branch 15 → 17 taken 6 times.
✗ Branch 16 → 17 not taken.
✓ Branch 16 → 18 taken 4 times.
✗ Branch 17 → 18 not taken.
✓ Branch 17 → 19 taken 8 times.
✗ Branch 18 → 19 not taken.
✓ Branch 18 → 20 taken 1 time.
✗ Branch 19 → 20 not taken.
✓ Branch 19 → 21 taken 12 times.
✗ Branch 20 → 21 not taken.
✓ Branch 20 → 22 taken 6 times.
✓ Branch 21 → 22 taken 3838 times.
✓ Branch 21 → 23 taken 3 times.
✗ Branch 22 → 23 not taken.
✗ Branch 22 → 24 not taken.
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 25 taken 15 times.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 27 not taken.
✗ Branch 26 → 27 not taken.
✓ Branch 26 → 28 taken 3 times.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 29 not taken.
✗ Branch 29 → 30 not taken.
✗ Branch 29 → 31 not taken.
✓ Branch 30 → 31 taken 4 times.
✓ Branch 30 → 32 taken 9 times.
✗ Branch 32 → 33 not taken.
✗ Branch 32 → 34 not taken.
✗ Branch 33 → 34 not taken.
✗ Branch 33 → 35 not taken.
✗ Branch 34 → 35 not taken.
✗ Branch 34 → 36 not taken.
✗ Branch 35 → 36 not taken.
✗ Branch 35 → 37 not taken.
✗ Branch 38 → 39 not taken.
✗ Branch 38 → 40 not taken.
✗ Branch 39 → 40 not taken.
✗ Branch 39 → 41 not taken.
✗ Branch 40 → 41 not taken.
✗ Branch 40 → 42 not taken.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 43 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 44 not taken.
✓ Branch 44 → 45 taken 6 times.
✓ Branch 44 → 46 taken 1 time.
✗ Branch 47 → 48 not taken.
✗ Branch 47 → 49 not taken.
✓ Branch 48 → 49 taken 1 time.
✓ Branch 48 → 50 taken 2 times.
✗ Branch 50 → 51 not taken.
✗ Branch 50 → 52 not taken.
✗ Branch 51 → 52 not taken.
✗ Branch 51 → 53 not taken.
✓ Branch 55 → 56 taken 2 times.
✗ Branch 55 → 57 not taken.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 60 not taken.
✗ Branch 60 → 61 not taken.
✓ Branch 60 → 62 taken 3 times.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 63 not taken.
✗ Branch 63 → 64 not taken.
✗ Branch 63 → 65 not taken.
✗ Branch 64 → 65 not taken.
✗ Branch 64 → 66 not taken.
✗ Branch 66 → 67 not taken.
✗ Branch 66 → 68 not taken.
✗ Branch 70 → 71 not taken.
✗ Branch 70 → 72 not taken.
✗ Branch 71 → 72 not taken.
✗ Branch 71 → 73 not taken.
✗ Branch 74 → 75 not taken.
✗ Branch 74 → 76 not taken.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 77 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 78 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 81 not taken.
✗ Branch 83 → 84 not taken.
✗ Branch 83 → 85 not taken.
✗ Branch 84 → 85 not taken.
✗ Branch 84 → 86 not taken.
✓ Branch 85 → 86 taken 19 times.
✓ Branch 85 → 87 taken 57 times.
✗ Branch 86 → 87 not taken.
✓ Branch 86 → 88 taken 1 time.
✗ Branch 87 → 88 not taken.
✗ Branch 87 → 89 not taken.
✗ Branch 90 → 91 not taken.
✗ Branch 90 → 92 not taken.
✗ Branch 91 → 92 not taken.
✗ Branch 91 → 93 not taken.
✓ Branch 92 → 93 taken 82 times.
✓ Branch 92 → 94 taken 38 times.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 95 not taken.
✗ Branch 96 → 97 not taken.
✓ Branch 96 → 98 taken 76 times.
✓ Branch 97 → 98 taken 80 times.
✓ Branch 97 → 99 taken 40 times.
✗ Branch 98 → 99 not taken.
✗ Branch 98 → 100 not taken.
✗ Branch 99 → 100 not taken.
✓ Branch 99 → 101 taken 1 time.
✗ Branch 100 → 101 not taken.
✗ Branch 100 → 102 not taken.
✗ Branch 101 → 102 not taken.
✗ Branch 101 → 103 not taken.
✗ Branch 103 → 104 not taken.
✗ Branch 103 → 105 not taken.
✓ Branch 105 → 106 taken 1 time.
✗ Branch 105 → 107 not taken.
✗ Branch 106 → 107 not taken.
✗ Branch 106 → 108 not taken.
✗ Branch 107 → 108 not taken.
✗ Branch 107 → 109 not taken.
✗ Branch 108 → 109 not taken.
✗ Branch 108 → 110 not taken.
✗ Branch 109 → 110 not taken.
✗ Branch 109 → 111 not taken.
✓ Branch 110 → 111 taken 1 time.
✗ Branch 110 → 112 not taken.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 115 not taken.
✗ Branch 119 → 120 not taken.
✗ Branch 119 → 121 not taken.
✗ Branch 120 → 121 not taken.
✗ Branch 120 → 122 not taken.
✗ Branch 123 → 124 not taken.
✗ Branch 123 → 125 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 132 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 133 not taken.
✗ Branch 142 → 143 not taken.
✗ Branch 142 → 144 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 148 not taken.
✗ Branch 154 → 155 not taken.
✗ Branch 154 → 156 not taken.
✗ Branch 156 → 157 not taken.
✗ Branch 156 → 158 not taken.
✗ Branch 166 → 167 not taken.
✗ Branch 166 → 168 not taken.
✗ Branch 176 → 177 not taken.
✗ Branch 176 → 178 not taken.
✗ Branch 190 → 191 not taken.
✗ Branch 190 → 192 not taken.
✗ Branch 210 → 211 not taken.
✗ Branch 210 → 212 not taken.
✗ Branch 229 → 230 not taken.
✗ Branch 229 → 231 not taken.
✓ Branch 592 → 593 taken 5 times.
✓ Branch 592 → 594 taken 763 times.
 24438 return v1 > v2 ? v1 : v2;
51 }
52
53 template<typename T>
54 AVS_FORCEINLINE T clamp(T n, T min, T max)
55 {
56
96/324
✗ Branch 2 → 3 not taken.
✓ Branch 2 → 4 taken 115509 times.
✗ Branch 3 → 4 not taken.
✓ Branch 3 → 5 taken 63 times.
✓ Branch 4 → 5 taken 1222 times.
✓ Branch 4 → 6 taken 201112 times.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 7 not taken.
✓ Branch 6 → 7 taken 6 times.
✓ Branch 6 → 8 taken 8 times.
✗ Branch 8 → 9 not taken.
✓ Branch 8 → 10 taken 2 times.
✓ Branch 9 → 10 taken 149 times.
✓ Branch 9 → 11 taken 38893 times.
✓ Branch 10 → 11 taken 15 times.
✓ Branch 10 → 12 taken 211 times.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 13 not taken.
✓ Branch 12 → 13 taken 10 times.
✓ Branch 12 → 14 taken 96 times.
✓ Branch 13 → 14 taken 1 time.
✗ Branch 13 → 15 not taken.
✗ Branch 14 → 15 not taken.
✗ Branch 14 → 16 not taken.
✓ Branch 15 → 16 taken 14243 times.
✓ Branch 15 → 17 taken 444509 times.
✗ Branch 16 → 17 not taken.
✓ Branch 16 → 18 taken 12 times.
✓ Branch 17 → 18 taken 151 times.
✓ Branch 17 → 19 taken 38270 times.
✓ Branch 19 → 20 taken 1 time.
✓ Branch 19 → 21 taken 10939 times.
✓ Branch 20 → 21 taken 13 times.
✓ Branch 20 → 22 taken 139 times.
✗ Branch 21 → 22 not taken.
✗ Branch 21 → 23 not taken.
✗ Branch 22 → 23 not taken.
✗ Branch 22 → 24 not taken.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 26 not taken.
✓ Branch 25 → 26 taken 150 times.
✓ Branch 25 → 27 taken 38250 times.
✗ Branch 26 → 27 not taken.
✗ Branch 26 → 28 not taken.
✗ Branch 27 → 28 not taken.
✓ Branch 27 → 29 taken 107 times.
✓ Branch 28 → 29 taken 6 times.
✓ Branch 28 → 30 taken 44 times.
✗ Branch 29 → 30 not taken.
✓ Branch 29 → 31 taken 8 times.
✗ Branch 30 → 31 not taken.
✓ Branch 30 → 32 taken 8 times.
✗ Branch 33 → 34 not taken.
✓ Branch 33 → 35 taken 15 times.
✗ Branch 34 → 35 not taken.
✗ Branch 34 → 36 not taken.
✓ Branch 35 → 36 taken 3 times.
✓ Branch 35 → 37 taken 104 times.
✓ Branch 36 → 37 taken 3 times.
✓ Branch 36 → 38 taken 47 times.
✓ Branch 37 → 38 taken 5 times.
✓ Branch 37 → 39 taken 46 times.
✗ Branch 38 → 39 not taken.
✓ Branch 38 → 40 taken 8 times.
✗ Branch 39 → 40 not taken.
✓ Branch 39 → 41 taken 8 times.
✗ Branch 41 → 42 not taken.
✓ Branch 41 → 43 taken 15 times.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 44 not taken.
✓ Branch 44 → 45 taken 6 times.
✓ Branch 44 → 46 taken 44 times.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 47 not taken.
✗ Branch 46 → 47 not taken.
✗ Branch 46 → 48 not taken.
✗ Branch 47 → 48 not taken.
✓ Branch 47 → 49 taken 8 times.
✗ Branch 48 → 49 not taken.
✓ Branch 48 → 50 taken 30 times.
✗ Branch 50 → 51 not taken.
✗ Branch 50 → 52 not taken.
✗ Branch 51 → 52 not taken.
✓ Branch 51 → 53 taken 16 times.
✓ Branch 52 → 53 taken 7 times.
✓ Branch 52 → 54 taken 98 times.
✗ Branch 53 → 54 not taken.
✓ Branch 53 → 55 taken 1 time.
✗ Branch 54 → 55 not taken.
✓ Branch 54 → 56 taken 2 times.
✗ Branch 55 → 56 not taken.
✓ Branch 55 → 57 taken 12 times.
✗ Branch 56 → 57 not taken.
✓ Branch 56 → 58 taken 30 times.
✗ Branch 57 → 58 not taken.
✗ Branch 57 → 59 not taken.
✗ Branch 59 → 60 not taken.
✓ Branch 59 → 61 taken 16 times.
✓ Branch 64 → 65 taken 8249 times.
✓ Branch 64 → 66 taken 57799 times.
✗ Branch 65 → 66 not taken.
✗ Branch 65 → 67 not taken.
✗ Branch 66 → 67 not taken.
✗ Branch 66 → 68 not taken.
✗ Branch 68 → 69 not taken.
✗ Branch 68 → 70 not taken.
✗ Branch 73 → 74 not taken.
✓ Branch 73 → 75 taken 256 times.
✓ Branch 74 → 75 taken 7 times.
✓ Branch 74 → 76 taken 18 times.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 78 not taken.
✗ Branch 77 → 78 not taken.
✓ Branch 77 → 79 taken 18 times.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 80 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 81 not taken.
✗ Branch 82 → 83 not taken.
✓ Branch 82 → 84 taken 65792 times.
✓ Branch 83 → 84 taken 116 times.
✓ Branch 83 → 85 taken 1676 times.
✗ Branch 88 → 89 not taken.
✗ Branch 88 → 90 not taken.
✗ Branch 91 → 92 not taken.
✓ Branch 91 → 93 taken 3 times.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 94 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 95 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 97 not taken.
✓ Branch 96 → 97 taken 31 times.
✓ Branch 96 → 98 taken 225 times.
✗ Branch 97 → 98 not taken.
✓ Branch 97 → 99 taken 512 times.
✗ Branch 100 → 101 not taken.
✗ Branch 100 → 102 not taken.
✗ Branch 101 → 102 not taken.
✗ Branch 101 → 103 not taken.
✓ Branch 105 → 106 taken 4681 times.
✓ Branch 105 → 107 taken 60855 times.
✓ Branch 106 → 107 taken 268 times.
✓ Branch 106 → 108 taken 756 times.
✗ Branch 132 → 133 not taken.
✗ Branch 132 → 134 not taken.
✗ Branch 140 → 141 not taken.
✗ Branch 140 → 142 not taken.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 145 not taken.
✗ Branch 151 → 152 not taken.
✗ Branch 151 → 153 not taken.
✗ Branch 153 → 154 not taken.
✗ Branch 153 → 155 not taken.
✗ Branch 161 → 162 not taken.
✓ Branch 161 → 163 taken 14 times.
✗ Branch 163 → 164 not taken.
✗ Branch 163 → 165 not taken.
✗ Branch 169 → 170 not taken.
✓ Branch 169 → 171 taken 14 times.
✗ Branch 171 → 172 not taken.
✗ Branch 171 → 173 not taken.
✗ Branch 180 → 181 not taken.
✗ Branch 180 → 182 not taken.
✗ Branch 184 → 185 not taken.
✗ Branch 184 → 186 not taken.
✗ Branch 188 → 189 not taken.
✗ Branch 188 → 190 not taken.
✗ Branch 195 → 196 not taken.
✗ Branch 195 → 197 not taken.
✗ Branch 201 → 202 not taken.
✗ Branch 201 → 203 not taken.
✓ Branch 204 → 205 taken 5 times.
✓ Branch 204 → 206 taken 97 times.
✗ Branch 206 → 207 not taken.
✗ Branch 206 → 208 not taken.
✗ Branch 208 → 209 not taken.
✓ Branch 208 → 210 taken 90 times.
✓ Branch 211 → 212 taken 155648 times.
✓ Branch 211 → 213 taken 964898 times.
✓ Branch 214 → 215 taken 1 time.
✓ Branch 214 → 216 taken 159 times.
✗ Branch 215 → 216 not taken.
✗ Branch 215 → 217 not taken.
✗ Branch 216 → 217 not taken.
✓ Branch 216 → 218 taken 34 times.
✓ Branch 219 → 220 taken 155648 times.
✓ Branch 219 → 221 taken 964898 times.
✗ Branch 220 → 221 not taken.
✓ Branch 220 → 222 taken 17 times.
✗ Branch 226 → 227 not taken.
✓ Branch 226 → 228 taken 17 times.
✗ Branch 227 → 228 not taken.
✓ Branch 227 → 229 taken 1 time.
✗ Branch 231 → 232 not taken.
✓ Branch 231 → 233 taken 59102 times.
✗ Branch 239 → 240 not taken.
✓ Branch 239 → 241 taken 59102 times.
✗ Branch 240 → 241 not taken.
✗ Branch 240 → 242 not taken.
✗ Branch 247 → 248 not taken.
✗ Branch 247 → 249 not taken.
✗ Branch 248 → 249 not taken.
✗ Branch 248 → 250 not taken.
✗ Branch 249 → 250 not taken.
✗ Branch 249 → 251 not taken.
✗ Branch 255 → 256 not taken.
✗ Branch 255 → 257 not taken.
✗ Branch 256 → 257 not taken.
✗ Branch 256 → 258 not taken.
✗ Branch 258 → 259 not taken.
✗ Branch 258 → 260 not taken.
✗ Branch 277 → 278 not taken.
✗ Branch 277 → 279 not taken.
✗ Branch 280 → 281 not taken.
✗ Branch 280 → 282 not taken.
✗ Branch 288 → 289 not taken.
✗ Branch 288 → 290 not taken.
✗ Branch 289 → 290 not taken.
✗ Branch 289 → 291 not taken.
✗ Branch 293 → 294 not taken.
✗ Branch 293 → 295 not taken.
✗ Branch 299 → 300 not taken.
✗ Branch 299 → 301 not taken.
✗ Branch 319 → 320 not taken.
✗ Branch 319 → 321 not taken.
✗ Branch 324 → 325 not taken.
✗ Branch 324 → 326 not taken.
✗ Branch 328 → 329 not taken.
✗ Branch 328 → 330 not taken.
✓ Branch 330 → 331 taken 1 time.
✓ Branch 330 → 332 taken 33 times.
✗ Branch 336 → 337 not taken.
✗ Branch 336 → 338 not taken.
✗ Branch 340 → 341 not taken.
✗ Branch 340 → 342 not taken.
✗ Branch 341 → 342 not taken.
✗ Branch 341 → 343 not taken.
✗ Branch 342 → 343 not taken.
✓ Branch 342 → 344 taken 17 times.
✗ Branch 348 → 349 not taken.
✗ Branch 348 → 350 not taken.
✗ Branch 349 → 350 not taken.
✗ Branch 349 → 351 not taken.
✗ Branch 360 → 361 not taken.
✗ Branch 360 → 362 not taken.
✗ Branch 386 → 387 not taken.
✗ Branch 386 → 388 not taken.
✗ Branch 395 → 396 not taken.
✗ Branch 395 → 397 not taken.
✗ Branch 404 → 405 not taken.
✗ Branch 404 → 406 not taken.
✗ Branch 418 → 419 not taken.
✗ Branch 418 → 420 not taken.
✗ Branch 427 → 428 not taken.
✗ Branch 427 → 429 not taken.
✗ Branch 436 → 437 not taken.
✗ Branch 436 → 438 not taken.
✗ Branch 450 → 451 not taken.
✗ Branch 450 → 452 not taken.
✗ Branch 459 → 460 not taken.
✗ Branch 459 → 461 not taken.
✗ Branch 468 → 469 not taken.
✗ Branch 468 → 470 not taken.
✗ Branch 490 → 491 not taken.
✗ Branch 490 → 492 not taken.
✗ Branch 499 → 500 not taken.
✗ Branch 499 → 501 not taken.
✗ Branch 514 → 515 not taken.
✗ Branch 514 → 516 not taken.
✗ Branch 523 → 524 not taken.
✗ Branch 523 → 525 not taken.
✗ Branch 538 → 539 not taken.
✗ Branch 538 → 540 not taken.
✗ Branch 547 → 548 not taken.
✗ Branch 547 → 549 not taken.
✗ Branch 576 → 577 not taken.
✓ Branch 576 → 578 taken 10 times.
✗ Branch 585 → 586 not taken.
✗ Branch 585 → 587 not taken.
✗ Branch 594 → 595 not taken.
✓ Branch 594 → 596 taken 10 times.
✗ Branch 616 → 617 not taken.
✗ Branch 616 → 618 not taken.
✗ Branch 625 → 626 not taken.
✗ Branch 625 → 627 not taken.
✗ Branch 655 → 656 not taken.
✗ Branch 655 → 657 not taken.
✓ Branch 664 → 665 taken 2 times.
✓ Branch 664 → 666 taken 8 times.
✗ Branch 676 → 677 not taken.
✗ Branch 676 → 678 not taken.
✓ Branch 685 → 686 taken 2 times.
✓ Branch 685 → 687 taken 8 times.
✗ Branch 722 → 723 not taken.
✗ Branch 722 → 724 not taken.
✗ Branch 731 → 732 not taken.
✗ Branch 731 → 733 not taken.
✗ Branch 740 → 741 not taken.
✗ Branch 740 → 742 not taken.
✗ Branch 754 → 755 not taken.
✗ Branch 754 → 756 not taken.
✗ Branch 763 → 764 not taken.
✗ Branch 763 → 765 not taken.
✗ Branch 772 → 773 not taken.
✗ Branch 772 → 774 not taken.
✗ Branch 786 → 787 not taken.
✗ Branch 786 → 788 not taken.
✗ Branch 795 → 796 not taken.
✗ Branch 795 → 797 not taken.
✗ Branch 804 → 805 not taken.
✗ Branch 804 → 806 not taken.
✗ Branch 826 → 827 not taken.
✗ Branch 826 → 828 not taken.
✗ Branch 835 → 836 not taken.
✗ Branch 835 → 837 not taken.
✗ Branch 850 → 851 not taken.
✗ Branch 850 → 852 not taken.
✗ Branch 859 → 860 not taken.
✗ Branch 859 → 861 not taken.
✗ Branch 874 → 875 not taken.
✗ Branch 874 → 876 not taken.
✗ Branch 883 → 884 not taken.
✗ Branch 883 → 885 not taken.
 3465770 n = n > max ? max : n;
57
94/324
✗ Branch 5 → 6 not taken.
✓ Branch 5 → 7 taken 115509 times.
✗ Branch 6 → 7 not taken.
✓ Branch 6 → 8 taken 63 times.
✓ Branch 7 → 8 taken 13 times.
✓ Branch 7 → 9 taken 202321 times.
✓ Branch 8 → 9 taken 1 time.
✗ Branch 8 → 10 not taken.
✓ Branch 9 → 10 taken 2 times.
✓ Branch 9 → 11 taken 12 times.
✗ Branch 11 → 12 not taken.
✓ Branch 11 → 13 taken 2 times.
✗ Branch 12 → 13 not taken.
✓ Branch 12 → 14 taken 39042 times.
✓ Branch 13 → 14 taken 7 times.
✓ Branch 13 → 15 taken 219 times.
✗ Branch 14 → 15 not taken.
✗ Branch 14 → 16 not taken.
✓ Branch 15 → 16 taken 8 times.
✓ Branch 15 → 17 taken 98 times.
✓ Branch 16 → 17 taken 1 time.
✗ Branch 16 → 18 not taken.
✗ Branch 17 → 18 not taken.
✗ Branch 17 → 19 not taken.
✓ Branch 18 → 19 taken 2638 times.
✓ Branch 18 → 20 taken 456114 times.
✗ Branch 19 → 20 not taken.
✓ Branch 19 → 21 taken 12 times.
✓ Branch 20 → 21 taken 1 time.
✓ Branch 20 → 22 taken 38420 times.
✓ Branch 22 → 23 taken 692 times.
✓ Branch 22 → 24 taken 10248 times.
✓ Branch 23 → 24 taken 14 times.
✓ Branch 23 → 25 taken 138 times.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 26 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 27 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 29 not taken.
✗ Branch 28 → 29 not taken.
✓ Branch 28 → 30 taken 38400 times.
✗ Branch 29 → 30 not taken.
✗ Branch 29 → 31 not taken.
✗ Branch 30 → 31 not taken.
✓ Branch 30 → 32 taken 107 times.
✓ Branch 31 → 32 taken 3 times.
✓ Branch 31 → 33 taken 47 times.
✗ Branch 32 → 33 not taken.
✓ Branch 32 → 34 taken 8 times.
✗ Branch 33 → 34 not taken.
✓ Branch 33 → 35 taken 8 times.
✗ Branch 36 → 37 not taken.
✓ Branch 36 → 38 taken 15 times.
✗ Branch 37 → 38 not taken.
✗ Branch 37 → 39 not taken.
✗ Branch 38 → 39 not taken.
✓ Branch 38 → 40 taken 107 times.
✓ Branch 39 → 40 taken 6 times.
✓ Branch 39 → 41 taken 44 times.
✗ Branch 40 → 41 not taken.
✓ Branch 40 → 42 taken 51 times.
✗ Branch 41 → 42 not taken.
✓ Branch 41 → 43 taken 8 times.
✗ Branch 42 → 43 not taken.
✓ Branch 42 → 44 taken 8 times.
✗ Branch 44 → 45 not taken.
✓ Branch 44 → 46 taken 15 times.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 47 not taken.
✓ Branch 47 → 48 taken 3 times.
✓ Branch 47 → 49 taken 47 times.
✗ Branch 48 → 49 not taken.
✗ Branch 48 → 50 not taken.
✗ Branch 49 → 50 not taken.
✗ Branch 49 → 51 not taken.
✗ Branch 50 → 51 not taken.
✓ Branch 50 → 52 taken 8 times.
✗ Branch 51 → 52 not taken.
✓ Branch 51 → 53 taken 30 times.
✗ Branch 53 → 54 not taken.
✗ Branch 53 → 55 not taken.
✗ Branch 54 → 55 not taken.
✓ Branch 54 → 56 taken 16 times.
✗ Branch 55 → 56 not taken.
✓ Branch 55 → 57 taken 105 times.
✗ Branch 56 → 57 not taken.
✓ Branch 56 → 58 taken 1 time.
✓ Branch 57 → 58 taken 2 times.
✗ Branch 57 → 59 not taken.
✗ Branch 58 → 59 not taken.
✓ Branch 58 → 60 taken 12 times.
✗ Branch 59 → 60 not taken.
✓ Branch 59 → 61 taken 30 times.
✗ Branch 60 → 61 not taken.
✗ Branch 60 → 62 not taken.
✗ Branch 62 → 63 not taken.
✓ Branch 62 → 64 taken 16 times.
✓ Branch 67 → 68 taken 8238 times.
✓ Branch 67 → 69 taken 57810 times.
✗ Branch 68 → 69 not taken.
✗ Branch 68 → 70 not taken.
✗ Branch 69 → 70 not taken.
✗ Branch 69 → 71 not taken.
✗ Branch 71 → 72 not taken.
✗ Branch 71 → 73 not taken.
✗ Branch 76 → 77 not taken.
✓ Branch 76 → 78 taken 256 times.
✗ Branch 77 → 78 not taken.
✓ Branch 77 → 79 taken 25 times.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 81 not taken.
✗ Branch 80 → 81 not taken.
✓ Branch 80 → 82 taken 18 times.
✗ Branch 81 → 82 not taken.
✗ Branch 81 → 83 not taken.
✗ Branch 82 → 83 not taken.
✗ Branch 82 → 84 not taken.
✗ Branch 85 → 86 not taken.
✓ Branch 85 → 87 taken 65792 times.
✓ Branch 86 → 87 taken 45 times.
✓ Branch 86 → 88 taken 1747 times.
✗ Branch 91 → 92 not taken.
✗ Branch 91 → 93 not taken.
✗ Branch 94 → 95 not taken.
✓ Branch 94 → 96 taken 3 times.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 97 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 98 not taken.
✗ Branch 98 → 99 not taken.
✗ Branch 98 → 100 not taken.
✓ Branch 99 → 100 taken 32 times.
✓ Branch 99 → 101 taken 224 times.
✗ Branch 100 → 101 not taken.
✓ Branch 100 → 102 taken 512 times.
✗ Branch 103 → 104 not taken.
✗ Branch 103 → 105 not taken.
✗ Branch 104 → 105 not taken.
✗ Branch 104 → 106 not taken.
✓ Branch 108 → 109 taken 4680 times.
✓ Branch 108 → 110 taken 60856 times.
✓ Branch 109 → 110 taken 54 times.
✓ Branch 109 → 111 taken 970 times.
✗ Branch 135 → 136 not taken.
✗ Branch 135 → 137 not taken.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 145 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 148 not taken.
✗ Branch 154 → 155 not taken.
✗ Branch 154 → 156 not taken.
✗ Branch 156 → 157 not taken.
✗ Branch 156 → 158 not taken.
✓ Branch 164 → 165 taken 12 times.
✓ Branch 164 → 166 taken 2 times.
✗ Branch 166 → 167 not taken.
✗ Branch 166 → 168 not taken.
✓ Branch 172 → 173 taken 12 times.
✓ Branch 172 → 174 taken 2 times.
✗ Branch 174 → 175 not taken.
✗ Branch 174 → 176 not taken.
✗ Branch 183 → 184 not taken.
✗ Branch 183 → 185 not taken.
✗ Branch 187 → 188 not taken.
✗ Branch 187 → 189 not taken.
✗ Branch 191 → 192 not taken.
✗ Branch 191 → 193 not taken.
✗ Branch 198 → 199 not taken.
✗ Branch 198 → 200 not taken.
✗ Branch 204 → 205 not taken.
✗ Branch 204 → 206 not taken.
✓ Branch 207 → 208 taken 8 times.
✓ Branch 207 → 209 taken 94 times.
✗ Branch 209 → 210 not taken.
✗ Branch 209 → 211 not taken.
✗ Branch 211 → 212 not taken.
✓ Branch 211 → 213 taken 90 times.
✓ Branch 214 → 215 taken 157696 times.
✓ Branch 214 → 216 taken 962850 times.
✓ Branch 217 → 218 taken 1 time.
✓ Branch 217 → 219 taken 159 times.
✗ Branch 218 → 219 not taken.
✗ Branch 218 → 220 not taken.
✓ Branch 219 → 220 taken 3 times.
✓ Branch 219 → 221 taken 31 times.
✓ Branch 222 → 223 taken 160962 times.
✓ Branch 222 → 224 taken 959584 times.
✗ Branch 223 → 224 not taken.
✓ Branch 223 → 225 taken 17 times.
✓ Branch 229 → 230 taken 1 time.
✓ Branch 229 → 231 taken 16 times.
✗ Branch 230 → 231 not taken.
✓ Branch 230 → 232 taken 1 time.
✗ Branch 234 → 235 not taken.
✓ Branch 234 → 236 taken 59102 times.
✗ Branch 242 → 243 not taken.
✓ Branch 242 → 244 taken 59102 times.
✗ Branch 243 → 244 not taken.
✗ Branch 243 → 245 not taken.
✗ Branch 250 → 251 not taken.
✗ Branch 250 → 252 not taken.
✗ Branch 251 → 252 not taken.
✗ Branch 251 → 253 not taken.
✗ Branch 252 → 253 not taken.
✗ Branch 252 → 254 not taken.
✗ Branch 258 → 259 not taken.
✗ Branch 258 → 260 not taken.
✗ Branch 259 → 260 not taken.
✗ Branch 259 → 261 not taken.
✗ Branch 261 → 262 not taken.
✗ Branch 261 → 263 not taken.
✗ Branch 280 → 281 not taken.
✗ Branch 280 → 282 not taken.
✗ Branch 283 → 284 not taken.
✗ Branch 283 → 285 not taken.
✗ Branch 291 → 292 not taken.
✗ Branch 291 → 293 not taken.
✗ Branch 292 → 293 not taken.
✗ Branch 292 → 294 not taken.
✗ Branch 296 → 297 not taken.
✗ Branch 296 → 298 not taken.
✗ Branch 302 → 303 not taken.
✗ Branch 302 → 304 not taken.
✗ Branch 322 → 323 not taken.
✗ Branch 322 → 324 not taken.
✗ Branch 327 → 328 not taken.
✗ Branch 327 → 329 not taken.
✗ Branch 331 → 332 not taken.
✗ Branch 331 → 333 not taken.
✓ Branch 333 → 334 taken 3 times.
✓ Branch 333 → 335 taken 31 times.
✗ Branch 339 → 340 not taken.
✗ Branch 339 → 341 not taken.
✗ Branch 343 → 344 not taken.
✗ Branch 343 → 345 not taken.
✗ Branch 344 → 345 not taken.
✗ Branch 344 → 346 not taken.
✗ Branch 345 → 346 not taken.
✓ Branch 345 → 347 taken 17 times.
✗ Branch 351 → 352 not taken.
✗ Branch 351 → 353 not taken.
✗ Branch 352 → 353 not taken.
✗ Branch 352 → 354 not taken.
✗ Branch 363 → 364 not taken.
✗ Branch 363 → 365 not taken.
✗ Branch 389 → 390 not taken.
✗ Branch 389 → 391 not taken.
✗ Branch 398 → 399 not taken.
✗ Branch 398 → 400 not taken.
✗ Branch 407 → 408 not taken.
✗ Branch 407 → 409 not taken.
✗ Branch 421 → 422 not taken.
✗ Branch 421 → 423 not taken.
✗ Branch 430 → 431 not taken.
✗ Branch 430 → 432 not taken.
✗ Branch 439 → 440 not taken.
✗ Branch 439 → 441 not taken.
✗ Branch 453 → 454 not taken.
✗ Branch 453 → 455 not taken.
✗ Branch 462 → 463 not taken.
✗ Branch 462 → 464 not taken.
✗ Branch 471 → 472 not taken.
✗ Branch 471 → 473 not taken.
✗ Branch 493 → 494 not taken.
✗ Branch 493 → 495 not taken.
✗ Branch 502 → 503 not taken.
✗ Branch 502 → 504 not taken.
✗ Branch 517 → 518 not taken.
✗ Branch 517 → 519 not taken.
✗ Branch 526 → 527 not taken.
✗ Branch 526 → 528 not taken.
✗ Branch 541 → 542 not taken.
✗ Branch 541 → 543 not taken.
✗ Branch 550 → 551 not taken.
✗ Branch 550 → 552 not taken.
✗ Branch 579 → 580 not taken.
✓ Branch 579 → 581 taken 10 times.
✗ Branch 588 → 589 not taken.
✗ Branch 588 → 590 not taken.
✗ Branch 597 → 598 not taken.
✓ Branch 597 → 599 taken 10 times.
✗ Branch 619 → 620 not taken.
✗ Branch 619 → 621 not taken.
✗ Branch 628 → 629 not taken.
✗ Branch 628 → 630 not taken.
✗ Branch 658 → 659 not taken.
✗ Branch 658 → 660 not taken.
✓ Branch 667 → 668 taken 2 times.
✓ Branch 667 → 669 taken 8 times.
✗ Branch 679 → 680 not taken.
✗ Branch 679 → 681 not taken.
✓ Branch 688 → 689 taken 2 times.
✓ Branch 688 → 690 taken 8 times.
✗ Branch 725 → 726 not taken.
✗ Branch 725 → 727 not taken.
✗ Branch 734 → 735 not taken.
✗ Branch 734 → 736 not taken.
✗ Branch 743 → 744 not taken.
✗ Branch 743 → 745 not taken.
✗ Branch 757 → 758 not taken.
✗ Branch 757 → 759 not taken.
✗ Branch 766 → 767 not taken.
✗ Branch 766 → 768 not taken.
✗ Branch 775 → 776 not taken.
✗ Branch 775 → 777 not taken.
✗ Branch 789 → 790 not taken.
✗ Branch 789 → 791 not taken.
✗ Branch 798 → 799 not taken.
✗ Branch 798 → 800 not taken.
✗ Branch 807 → 808 not taken.
✗ Branch 807 → 809 not taken.
✗ Branch 829 → 830 not taken.
✗ Branch 829 → 831 not taken.
✗ Branch 838 → 839 not taken.
✗ Branch 838 → 840 not taken.
✗ Branch 853 → 854 not taken.
✗ Branch 853 → 855 not taken.
✗ Branch 862 → 863 not taken.
✗ Branch 862 → 864 not taken.
✗ Branch 877 → 878 not taken.
✗ Branch 877 → 879 not taken.
✗ Branch 886 → 887 not taken.
✗ Branch 886 → 888 not taken.
 3465770 return n < min ? min : n;
58 }
59
60 } // namespace
61
62 #endif // AVSCORE_MINMAX_H
63