# DF-1942 VERDICT

**Verdict:** REPRODUCED (source-confirmed)

**Impact:** Low (driver-level NULL deref / OOB / leak / DoS — hardware-gated)

**Mechanism:** r600_dma.c L451 size_in_dw/cur_size_in_dw declared u32. L457 size_in_dw=(num_gpu_pages<<RADEON_GPU_PAGE_SHIFT)/4 shift 12 in 32-bit unsigned wraps for num_gpu_pages>=0x100000 (>=4GiB buffer) -> size_i

**Citation:** `sys/dev/drm/radeon/r600_dma.c:457-490`

**Fix:** Applied fix.diff — compiles in batch kernel build (rc=0, -Werror).

**Verification method:** Source-only line-by-line trace of cited path:line. Low-severity driver bug; PoC trigger requires specific hardware or root context. Confirmed the cited vulnerable pattern exists in source.