Skip to content

Fix #5919: Only one possible (always entered) loop exit path is not detected #25480

Fix #5919: Only one possible (always entered) loop exit path is not detected

Fix #5919: Only one possible (always entered) loop exit path is not detected #25480

Job Run time
2m 19s
11s
12s
13s
0s
0s
0s
-1s
28s
30s
31s
37s
30s
27s
28s
42s
30s
37s
30s
33s
29s
26s
34s
31s
40s
34s
32s
27s
36s
37s
26s
30s
33s
29s
35s
35s
28s
28s
30s
29s
37s
38s
34s
28s
1m 3s
45s
37s
30s
37s
30s
27s
32s
36s
39s
43s
33s
31s
36s
35s
33s
28s
26s
29s
32s
27s
31s
28s
38s
34s
30s
29s
35s
42s
38s
30s
28s
37s
30s
31s
29s
29s
32s
29s
32s
1m 7s
30s
29s
31s
1m 24s
31s
31s
30s
35s
27s
40s
38s
35s
29s
27s
34s
28s
1m 19s
50s
54s
35s
44s
40s
48s
1m 13s
40s
48s
45s
6m 55s
49s
46s
1m 2s
47s
1m 49s
42s
46s
1m 17s
47s
1m 30s
58s
38s
51s
41s
41s
5m 21s
40s
40s
1m 58s
1m 36s
44s
48s
41s
50s
31s
42s
44s
45s
1m 41s
45s
41s
34s
39s
45s
36s
1m 28s
40s
1m 17s
44s
47s
34s
46s
37s
40s
29s
1m 1s
47s
34s
34s
52s
38s
44s
45s
34s
35s
52s
42s
45s
34s
38s
43s
32s
54s
37s
36s
43s
33s
34s
45s
56s
37s
35s
1m 33s
47s
37s
33s
1m 16s
32s
42s
35s
40s
37s
38s
49s
1m 42s
1m 18s
34s
36s
35s
37s
42s
33s
32s
55s
45s
57s
44s
35s
38s
40s
39s
37s
46s
1m 33s
38s
43s
43s
53s
1m 28s
49s
36s
43s
36s
35s
35s
46s
35s
35s
32s
40s
33s
44s
42s
33s
41s
38s
35s
34s
43s
1m 15s
34s
37s
34s
35s
48s
39s
35s
46s
36s
32s
43s
41s
46s
36s
48s
42s
51s
41s
39s
32s
38s
45s
50s
44s
37s
39s
44s
45s
43s
41s
41s
33s
37s
47s
44s
43s
33s
34s
46s
1m 18s
33s
53s
0s
3h 26m 13s