{
  "finding_id": "DF-5235",
  "verdict": "reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cd /root/df5235 && make   (kernel source at /usr/src; Makefile pulls KCFLAGS from sys/dev/drm/drm/Makefile conventions; linux_completion.c + linux_wait.c copied verbatim from /usr/src/sys/dev/drm)",
    "run": "kldload ./compbug.ko && sleep 13 && dmesg | grep compbug | tail",
    "expected": "compbug[1] interruptible: ret=0 elapsed=1 ticks (completer due at 500): BUG: returned before completion / compbug[2] wait_for_completion: elapsed=1 ticks ... BUG / compbug[3] control timeout=10: ret=0 elapsed=~10 ticks: OK / compbug: hz=100, LONG_MAX=9223372036854775807 -> int timo=-1"
  },
  "kernel_refs": [
    "sys/dev/drm/include/linux/completion.h:79",
    "sys/dev/drm/include/linux/completion.h:90",
    "sys/dev/drm/linux_completion.c:33",
    "sys/dev/drm/linux_completion.c:40",
    "sys/dev/drm/include/linux/sched.h:78",
    "sys/dev/drm/include/linux/sched.h:130",
    "sys/sys/systm.h:414",
    "sys/kern/kern_synch.c:692",
    "sys/kern/kern_timeout.c:971",
    "sys/dev/drm/drm_atomic_helper.c:2627",
    "sys/dev/drm/i915/intel_psr.c:869"
  ],
  "artifacts": [
    "compbug.c", "Makefile", "fix.diff", "capture.sh",
    "build.log", "build-fixed.log",
    "run.log", "run.2.log", "run-fixed.log",
    "console.txt", "env.txt", "SHA256SUMS",
    "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}