#!/bin/sh
# DF-5034 evidence: print every cited line range for review.
R=/home/maxx/dfbsd/dfbsd
echo '== i2caux_dce110.c:92-112  (the finding: upper-bound-only check) =='
sed -n '92,112p' "$R/sys/dev/drm/amd/display/dc/i2caux/dce110/i2caux_dce110.c"
echo
echo '== gpio_types.h:206-220  (signed enum, UNKNOWN=-1, MIN/MAX exist) =='
sed -n '206,220p' "$R/sys/dev/drm/amd/display/include/gpio_types.h"
echo
echo '== i2caux.h:55-98  (struct layout: sw[8] precedes hw[8] -> [-1] lands on sw[7]=NULL) =='
sed -n '55,98p' "$R/sys/dev/drm/amd/display/dc/i2caux/i2caux.h"
echo
echo '== gpio_service.c:566-570  (dal_ddc_get_line -> pin enum) =='
sed -n '566,570p' "$R/sys/dev/drm/amd/display/dc/gpio/gpio_service.c"
echo
echo '== dce80 twin (DF-2089), i2caux_dce80.c:122-127 =='
sed -n '122,127p' "$R/sys/dev/drm/amd/display/dc/i2caux/dce80/i2caux_dce80.c"