#!/bin/sh
# DF-1346 runtime probe. On the audit guest this demonstrates the code path is UNREACHABLE
# (no AMD GPU / no audio device => amdgpu driver never attaches). On real hardware it would
# exercise the bug; see VERDICT.md "Live trigger conditions".
echo "== DF-1346: probing reachability on guest =="
pciconf -lv 2>/dev/null | grep -iE "class=0x03|class=0x04|display|audio" || true
kldstat 2>/dev/null | grep -iE "radeon|amdgpu|drm|snd" || echo "(no amdgpu module loaded)"
ls /dev/dri 2>&1; ls /dev/dsp* 2>&1
echo "DF-1346: bug CONFIRMED in source (sys/dev/drm/amd/powerplay/smumgr/polaris10_smumgr.c:1298 and 1404) but NOT runtime-reachable on this guest (no hardware)."