Subword division operations may produce incorrect results

{
  "affected": [
    {
      "database_specific": {
        "human_link": "https://github.com/haskell/security-advisories/tree/main/advisories/published/2025/HSEC-2025-0001.md",
        "osv": "https://raw.githubusercontent.com/haskell/security-advisories/refs/heads/generated/osv-export/2025/HSEC-2025-0001.json"
      },
      "package": {
        "ecosystem": "GHC",
        "name": "ghc"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "9.12.1"
            },
            {
              "fixed": "9.12.2"
            },
            {
              "introduced": "9.12.3"
            },
            {
              "fixed": "9.14"
            }
          ],
          "type": "ECOSYSTEM"
        }
      ],
      "severity": [
        {
          "score": "CVSS:3.1/AV:N/AC:H/PR:L/UI:N/S:U/C:N/I:H/A:H",
          "type": "CVSS_V3"
        }
      ]
    }
  ],
  "database_specific": {
    "home": "https://github.com/haskell/security-advisories",
    "osvs": "https://raw.githubusercontent.com/haskell/security-advisories/refs/heads/generated/osv-export",
    "repository": "https://github.com/haskell/security-advisories"
  },
  "details": "# Subword division operations may produce incorrect results\n\nArithmetic operations may produce incorrect results when compiled with optimizations.\nFor the most part, this bug only causes availability and data integrity issues.\nHowever, in some circumstances, it may result in other, more complicated security related flaws, such as buffer overflow conditions.\n",
  "id": "HSEC-2025-0001",
  "modified": "2025-11-14T14:45:34Z",
  "published": "2025-11-14T14:45:34Z",
  "references": [
    {
      "type": "REPORT",
      "url": "https://gitlab.haskell.org/ghc/ghc/-/issues/25653"
    },
    {
      "type": "REPORT",
      "url": "https://discourse.haskell.org/t/psa-correctness-issue-in-ghc-9-12/11204"
    },
    {
      "type": "REPORT",
      "url": "https://discourse.haskell.org/t/critical-code-generation-bug-with-ghc-9-12-3/13505/2"
    },
    {
      "type": "FIX",
      "url": "https://gitlab.haskell.org/ghc/ghc/-/merge_requests/13820"
    }
  ],
  "schema_version": "1.5.0",
  "summary": "Subword division operations may produce incorrect results"
}