delta/ocaml.git/Changes, branch 4.05

Changes for 1330

2022-12-21T17:38:30+00:00

Update Changes

2022-01-17T11:15:41+00:00

Updated separately to allow the previous patch to be used for multiple
releases.

Define __USE_MINGW_ANSI_STDIO=0 for mingw-w64 (#9939)

2020-11-27T16:27:19+00:00

The latest mingw-w64 _mingw.h header now automatically sets __USE_MINGW_ANSI_STDIO=1 for C99 and later. mingw-w64 always defines snprintf but the inline definition when __USE_MINGW_ANSI_STDIO=0 temporarily #undef's any snprintf macro so works in harmony with ours. The other case does not do this so we get declaration errors.

Fixes: #9938 .
(cherry picked from commit a03b6035ebe4682950018e0e1337bab18771fd81)

Fix integer overflows when unmarshaling a bigarray

2019-07-22T13:54:04+00:00

Malicious or corrupted marshaled data can result in a bigarray
with impossibly large dimensions that cause overflow when computing
the in-memory size of the bigarray.  Disaster ensues when the data
is read in a too small memory area.  This commit checks for overflows
when computing the in-memory size of the bigarray.

This patch is based on one by Xavier Leroy and has been modified to
use caml_ba_multov instead of caml_umul_overflow which is unavailable
in OCaml 4.05.0.

The original commit hash is 85162eee9d4072fa9c2f498f03cd94e357033eec.

Origin: https://github.com/ocaml/ocaml/pull/1718
Bug: https://github.com/ocaml/ocaml/issues/7765
Bug-Debian: https://bugs.debian.org/895472
Bug-CVE: CVE-2018-9838

debugger: avoid off-by-one overflow in debugger socket path (#1753)

2019-07-19T14:39:37+00:00

Modern gcc have a `-Werror=stringop-truncation` warning that tells
us that the strncpy used to copy the CAML_DEBUG_SOCKET value from
the environment misses out the space for a terminating NUL.

Rather than silently truncate the path, this patch raises an
exception if the path is too long, and also fixes the off-by-one
in the strncpy invocation.

with feedback from Stephen Dolan

(cherry picked from commit 698f64825efd3c3f1344c69c2c75cf309bd9c428)

byterun: do not alias function arguments to sigprocmask

2019-07-19T14:10:55+00:00

Recent gcc versions (e.g. as found in Fedora 28) check that
restrict-qualified parameters do not alias each other in
function calls. One such example that triggers a compile
error is sigprocmask in the bytecode runtime.

The error this changeset fixes is:

```
signals.c: In function 'caml_execute_signal':
signals.c:152:33: error: passing argument 3 to restrict-qualified parameter aliases with argument 2 [-Werror=restrict]
   sigprocmask(SIG_BLOCK, &sigs, &sigs);
```

(cherry picked from commit ebcc2f8594138a5ba6b020083fc42d57a914433f)

Revised configuration test for int64 alignment (#1371)

2017-09-27T14:00:53+00:00

MacOS High Sierra balks at the redefinition of `int64_t`.

Revert "Merge pull request #1272 from garrigue/fix_mpr7601"

2017-09-06T12:43:01+00:00

This reverts commit a38350d5c02d021657c18a36b56d79ef669f7054, reversing
changes made to af92b8137538385734417d628dd2905232900791.

Fix MPR#7601

2017-08-29T00:39:52+00:00

Take PLT-clobbered registers into account at Ialloc (#1304)

2017-08-28T17:17:27+00:00

Mark PLT-clobbered registers as destroyed across the Ialloc instruction.

Currently only x86-64 is affected, in PIC mode only, and only with the glibc dynamic loader.

Cherry-pick of [trunk 70c585d]