{
  "finding_id": "DF-5159",
  "title": "WARN-only (ASSERT) range guards: silent 64-bit wrap in bw_int_to_fixed_nonconst / bw_frc_to_fixed / bw_mul in release builds",
  "verdict": "untested (no AMD DC GPU / drm module on the audit guest; code behavior certain by inspection)",
  "impact": "none demonstrated; theoretical: corrupted DML watermark values + WARN splats — no kernel memory unsafety possible (pure arithmetic file)",
  "reproduce": {
    "build": "n/a — no runtime entry on this guest",
    "run": "n/a",
    "expected": "on AMD DCE hardware with pathological mode timings: WARN_ON splats from bw_fixed.c and mis-programmed watermarks; no panic, no corruption"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/calcs/bw_fixed.c:53",
    "sys/dev/drm/amd/display/dc/calcs/bw_fixed.c:161",
    "sys/dev/drm/amd/display/dc/calcs/bw_fixed.c:86",
    "sys/dev/drm/amd/display/dc/os_types.h:76"
  ],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "verdict.json", "manifest.json"]
}