HSEC-2025-0001
Subword division operations may produce incorrect results
Subword division operations may produce incorrect results
Arithmetic operations may produce incorrect results when compiled with optimizations. For the most part, this bug only causes availability and data integrity issues. However, in some circumstances, it may result in other, more complicated security related flaws, such as buffer overflow conditions.
What each source reports
OSV No score
Subword division operations may produce incorrect results
Subword division operations may produce incorrect results
Arithmetic operations may produce incorrect results when compiled with optimizations. For the most part, this bug only causes availability and data integrity issues. However, in some circumstances, it may result in other, more complicated security related flaws, such as buffer overflow conditions.
- Record
HSEC-2025-0001- Updated
- 2026-11-02
Affected packages
| Package | Affected | Fixed |
|---|---|---|
ghcGHC |
9.12.1 up to 9.12.2, 9.12.3 up to 9.12.4 | 9.12.29.12.4 |
History
| Recorded | Changed | Sources |
|---|---|---|
| first indexed | OSV |
Dates are when Every CVE recorded each change. Upstream dates may differ.
In short
HSEC-2025-0001 is a vulnerability with no CVSS score yet in ghc, published November 14, 2025. No source lists public exploit code. Fixed in ghc 9.12.2.
References
gitlab.haskell.org/ghc/ghc/-/issues/25653
discourse.haskell.org/t/psa-correctness-issue-in-ghc-9-12/11204