/*
 * DF-4445 optional helper — NOT a runtime reproducer.
 * The bug is an uninitialized-stack use inside radeon_router_select_ddc_port()
 * (sys/dev/drm/radeon/radeon_i2c.c:1108-1133). It only manifests on radeon
 * hardware with a DDC router whose i2c read fails. The audit guest has no
 * radeon GPU (virtio-gpu only), so this stub exists solely to document the
 * call path: any DRM client connector probe on a router-equipped connector
 * ends in radeon_ddc_probe() -> radeon_router_select_ddc_port() ->
 * radeon_i2c_get_byte() (leaves *val untouched on failure) ->
 * radeon_i2c_put_byte(0x1, garbage | ddc_mux_state).
 */
#include <stdio.h>
int main(void) {
	puts("DF-4445: static finding; requires radeon hw + failing router read;"
	     " see VERDICT.md for the line-cited trace");
	return (0);
}