PackWord64Big.update is nondeterministic

[Skyb0rg007]

Version

110.99.4 (Latest)

Operating System

• [ ] Any
• [X] Linux
• [ ] macOS
• [ ] Windows
• [ ] Other Unix

OS Version

Ubuntu 22.04.4 LTS on Windows 10 x86_64

Processor

• [ ] Any
• [ ] Arm (using Rosetta)
• [ ] PowerPC
• [ ] Sparc
• [ ] x86 (32-bit)
• [X] x86-64 (64-bit)
• [ ] Other

System Component

Basis Library

Severity

Major

Description

Repeated calls to PackWord64Real.update from outside the current module sometimes return different results.

Transcript

See transcript in the README here: https://github.com/Skyb0rg007/smlnj-bug

Expected Behavior

Execution of PackWord64Big.update is deterministic.

Steps to Reproduce

See files here: https://github.com/Skyb0rg007/smlnj-bug

Additional Information

This bug does not seem to be the issue with PackWord64[Big,Little].update being swapped, since either way they should not be nondeterministic.

Email address

[email protected]