File tree
40 files changed
+149
-92
lines changed- api_docgen
- asmcomp
- arm
- lambda
- middle_end
- closure
- flambda
- runtime
- caml
- stdlib
- testsuite
- tests
- asmcomp
- backtrace
- callback
- effects
- gc-roots
- parallel
- weak-ephe-final
- tools
- tools
- utils
40 files changed
+149
-92
lines changedDiff for: api_docgen/Makefile.docfiles
+2-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
39 |
| - | |
| 38 | + | |
| 39 | + | |
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
|
Diff for: asmcomp/afl_instrument.ml
+9-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
45 |
| - | |
46 |
| - | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
47 | 51 |
| |
48 | 52 |
| |
49 | 53 |
| |
50 | 54 |
| |
51 |
| - | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
52 | 58 |
| |
53 | 59 |
| |
54 | 60 |
| |
|
Diff for: asmcomp/arm/selection.ml
+3-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
270 | 270 |
| |
271 | 271 |
| |
272 | 272 |
| |
273 |
| - | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
274 | 276 |
| |
275 | 277 |
| |
276 | 278 |
| |
|
Diff for: asmcomp/strmatch.ml
+3-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
79 |
| - | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
80 | 82 |
| |
81 | 83 |
| |
82 | 84 |
| |
|
Diff for: lambda/translmod.ml
+10-5
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
966 | 966 |
| |
967 | 967 |
| |
968 | 968 |
| |
969 |
| - | |
| 969 | + | |
| 970 | + | |
970 | 971 |
| |
971 | 972 |
| |
972 | 973 |
| |
| |||
1250 | 1251 |
| |
1251 | 1252 |
| |
1252 | 1253 |
| |
1253 |
| - | |
| 1254 | + | |
| 1255 | + | |
1254 | 1256 |
| |
1255 | 1257 |
| |
1256 | 1258 |
| |
| |||
1521 | 1523 |
| |
1522 | 1524 |
| |
1523 | 1525 |
| |
1524 |
| - | |
| 1526 | + | |
| 1527 | + | |
1525 | 1528 |
| |
1526 | 1529 |
| |
1527 | 1530 |
| |
| |||
1544 | 1547 |
| |
1545 | 1548 |
| |
1546 | 1549 |
| |
1547 |
| - | |
| 1550 | + | |
| 1551 | + | |
1548 | 1552 |
| |
1549 | 1553 |
| |
1550 | 1554 |
| |
| |||
1647 | 1651 |
| |
1648 | 1652 |
| |
1649 | 1653 |
| |
1650 |
| - | |
| 1654 | + | |
| 1655 | + | |
1651 | 1656 |
| |
1652 | 1657 |
| |
1653 | 1658 |
| |
|
Diff for: middle_end/closure/closure.ml
+4-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
57 |
| - | |
| 57 | + | |
| 58 | + | |
58 | 59 |
| |
59 | 60 |
| |
60 | 61 |
| |
| |||
483 | 484 |
| |
484 | 485 |
| |
485 | 486 |
| |
486 |
| - | |
| 487 | + | |
| 488 | + | |
487 | 489 |
| |
488 | 490 |
| |
489 | 491 |
| |
|
+4-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
91 | 91 |
| |
92 | 92 |
| |
93 | 93 |
| |
94 |
| - | |
| 94 | + | |
| 95 | + | |
95 | 96 |
| |
96 | 97 |
| |
97 | 98 |
| |
| |||
698 | 699 |
| |
699 | 700 |
| |
700 | 701 |
| |
701 |
| - | |
| 702 | + | |
| 703 | + | |
702 | 704 |
| |
703 | 705 |
| |
704 | 706 |
| |
|
Diff for: runtime/arm64.S
+26-13
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
175 | 175 |
| |
176 | 176 |
| |
177 | 177 |
| |
178 |
| - | |
| 178 | + | |
| 179 | + | |
179 | 180 |
| |
180 | 181 |
| |
181 | 182 |
| |
182 |
| - | |
| 183 | + | |
| 184 | + | |
183 | 185 |
| |
184 | 186 |
| |
185 | 187 |
| |
186 | 188 |
| |
187 | 189 |
| |
188 | 190 |
| |
189 |
| - | |
| 191 | + | |
| 192 | + | |
190 | 193 |
| |
191 | 194 |
| |
192 | 195 |
| |
| |||
220 | 223 |
| |
221 | 224 |
| |
222 | 225 |
| |
223 |
| - | |
| 226 | + | |
| 227 | + | |
224 | 228 |
| |
225 | 229 |
| |
226 | 230 |
| |
227 |
| - | |
| 231 | + | |
| 232 | + | |
228 | 233 |
| |
229 | 234 |
| |
230 | 235 |
| |
| |||
312 | 317 |
| |
313 | 318 |
| |
314 | 319 |
| |
315 |
| - | |
| 320 | + | |
| 321 | + | |
316 | 322 |
| |
317 | 323 |
| |
318 | 324 |
| |
| |||
690 | 696 |
| |
691 | 697 |
| |
692 | 698 |
| |
693 |
| - | |
| 699 | + | |
| 700 | + | |
694 | 701 |
| |
695 | 702 |
| |
696 | 703 |
| |
| |||
715 | 722 |
| |
716 | 723 |
| |
717 | 724 |
| |
718 |
| - | |
| 725 | + | |
| 726 | + | |
719 | 727 |
| |
720 | 728 |
| |
721 | 729 |
| |
| |||
744 | 752 |
| |
745 | 753 |
| |
746 | 754 |
| |
747 |
| - | |
| 755 | + | |
| 756 | + | |
748 | 757 |
| |
749 | 758 |
| |
750 | 759 |
| |
| |||
769 | 778 |
| |
770 | 779 |
| |
771 | 780 |
| |
772 |
| - | |
773 |
| - | |
| 781 | + | |
| 782 | + | |
| 783 | + | |
| 784 | + | |
774 | 785 |
| |
775 | 786 |
| |
776 | 787 |
| |
| |||
837 | 848 |
| |
838 | 849 |
| |
839 | 850 |
| |
840 |
| - | |
| 851 | + | |
| 852 | + | |
841 | 853 |
| |
842 | 854 |
| |
843 | 855 |
| |
844 |
| - | |
| 856 | + | |
| 857 | + | |
845 | 858 |
| |
846 | 859 |
| |
847 | 860 |
| |
|
Diff for: runtime/backtrace.c
+6-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
| 38 | + | |
| 39 | + | |
39 | 40 |
| |
40 | 41 |
| |
41 | 42 |
| |
| |||
182 | 183 |
| |
183 | 184 |
| |
184 | 185 |
| |
185 |
| - | |
| 186 | + | |
| 187 | + | |
186 | 188 |
| |
187 | 189 |
| |
188 | 190 |
| |
| |||
214 | 216 |
| |
215 | 217 |
| |
216 | 218 |
| |
217 |
| - | |
| 219 | + | |
| 220 | + | |
218 | 221 |
| |
219 | 222 |
| |
220 | 223 |
| |
|
Diff for: runtime/caml/custom.h
+2-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
67 |
| - | |
| 67 | + | |
| 68 | + | |
68 | 69 |
| |
69 | 70 |
| |
70 | 71 |
| |
|
Diff for: runtime/caml/finalise.h
+2-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
66 |
| - | |
| 66 | + | |
| 67 | + | |
67 | 68 |
| |
68 | 69 |
| |
69 | 70 |
| |
|
Diff for: runtime/caml/globroots.h
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 |
| - | |
| 35 | + |
Diff for: runtime/caml/memory.h
+2-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
56 |
| - | |
| 56 | + | |
| 57 | + | |
57 | 58 |
| |
58 | 59 |
| |
59 | 60 |
| |
|
Diff for: runtime/caml/roots.h
+5-4
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 |
| - | |
| 25 | + | |
| 26 | + | |
26 | 27 |
| |
27 | 28 |
| |
28 | 29 |
| |
29 | 30 |
| |
30 |
| - | |
31 |
| - | |
32 |
| - | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
33 | 34 |
| |
34 | 35 |
| |
35 | 36 |
| |
|
Diff for: runtime/caml/stack.h
+2-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
61 | 61 |
| |
62 | 62 |
| |
63 | 63 |
| |
64 |
| - | |
| 64 | + | |
| 65 | + | |
65 | 66 |
| |
66 | 67 |
| |
67 | 68 |
| |
|
Diff for: runtime/custom.c
+6-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
59 |
| - | |
| 59 | + | |
| 60 | + | |
60 | 61 |
| |
61 | 62 |
| |
62 | 63 |
| |
| |||
116 | 117 |
| |
117 | 118 |
| |
118 | 119 |
| |
119 |
| - | |
| 120 | + | |
| 121 | + | |
120 | 122 |
| |
121 | 123 |
| |
122 | 124 |
| |
| |||
131 | 133 |
| |
132 | 134 |
| |
133 | 135 |
| |
134 |
| - | |
| 136 | + | |
| 137 | + | |
135 | 138 |
| |
136 | 139 |
| |
137 | 140 |
| |
|
0 commit comments