{
  "finding_id": "DF-4198",
  "file": "sys/dev/drm/amd/display/dc/dml/dml1_display_rq_dlg_calc.c",
  "title": "get_bytes_per_element()==0 for dm_444_8/dm_mono_8 and unhandled enums -> integer #DE at :641 (linear) / dead-code #DE at :745 + dml_log2(0)=-127 UB-shift family",
  "verdict": "inconclusive (hardware+mapping-gated; #DE proven exactly by compiling and running the REAL source with crafted inputs)",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "./build.sh   (pulls the REAL dml1/dcn_calc_math/dml_common_defs + headers from /usr/src, builds baseline + fixed)",
    "run": "./run.sh",
    "expected": "baseline mono8_linear: 'Floating point exception' rc=136 (3/3); fixed: all modes rc=0 with sane bpe=1 outputs; baseline normal/mono8 run clean (mono8 with wrong values)"
  },
  "kernel_refs": ["sys/dev/drm/amd/display/dc/dml/dml1_display_rq_dlg_calc.c:40", "sys/dev/drm/amd/display/dc/dml/dml1_display_rq_dlg_calc.c:641", "sys/dev/drm/amd/display/dc/dml/dml1_display_rq_dlg_calc.c:745", "sys/dev/drm/amd/display/dc/calcs/dcn_calc_math.c:112", "sys/dev/drm/amd/display/dc/calcs/dcn_calcs.c:353"],
  "artifacts": ["README.md", "VERDICT.md", "dml1_harness.c", "dm_services.h", "dml1_display_rq_dlg_calc.fixed.c", "build.sh", "run.sh", "build.log", "run.log", "run.2.log", "run.3.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}