Dmitry Antipov <dmantipov@xxxxxxxxx> wrote: > In 'ath11k_dp_rx_mon_dest_process()', 'mon_dst_srng' points to > a member of 'srng_list', which is a fixed-size array inside > 'struct ath11k_hal'. This way, if 'ring_id' is valid (i. e. > between 0 and HAL_SRNG_RING_ID_MAX - 1 inclusive), 'mon_dst_srng' > can't be NULL and so relevant check may be dropped. > > Found by Linux Verification Center (linuxtesting.org) with SVACE. > > Signed-off-by: Dmitry Antipov <dmantipov@xxxxxxxxx> > Acked-by: Jeff Johnson <quic_jjohnson@xxxxxxxxxxx> > Signed-off-by: Kalle Valo <quic_kvalo@xxxxxxxxxxx> 2 patches applied to ath-next branch of ath.git, thanks. 82ae3f463538 wifi: ath11k: drop redundant check in ath11k_dp_rx_mon_dest_process() 9066794113c4 wifi: ath11k: remove unused members of 'struct ath11k_base' -- https://patchwork.kernel.org/project/linux-wireless/patch/20230824075121.121144-1-dmantipov@xxxxxxxxx/ https://wireless.wiki.kernel.org/en/developers/documentation/submittingpatches