{
  "finding_id": "DF-5131",
  "file": "sys/dev/drm/radeon/radeon_sync.c",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "summary": "Seven remaining call sites discard radeon_sync_resv()/radeon_sync_rings() returns and submit GPU work without the cross-ring dependency on failure (DF-4871/DF-5089 family completion)",
  "reproduce": {
    "build": "none (static analysis): ./check_static.sh /home/maxx/dfbsd/dfbsd",
    "run": "./check_static.sh /home/maxx/dfbsd/dfbsd",
    "expected": "16 BARE call lines: 13 lines = the 7 unfiled defect sites (cik.c:3695-3696, cik_sdma.c:601-602, evergreen_dma.c:130-131, r600.c:2997-2998, rv770_dma.c:66-67, radeon_vm.c:705, radeon_vm.c:833); the other 3... remaining lines = already-filed DF-4871 (r600_dma.c:466-467) and DF-5089 (si_dma.c:255-256); radeon_ib.c:149 and radeon_cs.c:256 CHECKED"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_sync.c:89-125",
    "sys/dev/drm/radeon/radeon_sync.c:137-201",
    "sys/dev/drm/radeon/r600.c:2997-2998",
    "sys/dev/drm/radeon/cik.c:3695-3696",
    "sys/dev/drm/radeon/evergreen_dma.c:130-131",
    "sys/dev/drm/radeon/rv770_dma.c:66-67",
    "sys/dev/drm/radeon/cik_sdma.c:601-602",
    "sys/dev/drm/radeon/radeon_vm.c:705",
    "sys/dev/drm/radeon/radeon_vm.c:833",
    "sys/dev/drm/radeon/radeon_ib.c:149-155"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "check_static.sh", "check_static.log",
    "fix.diff", "manifest.json", "verdict.json"
  ]
}