[lvc-project] [PATCH] drm/amd/display: Remove unused-but-set variable hubp from

[Марков Глеб Игоревич]

Вторник, Июнь 30, 2026 11:58 MSK, Fedor Pchelkin <pchelkin at ispras.ru> писал(а):

> On Tue, 30. Jun 11:29, Марков Глеб Игоревич wrote:
> > Предложение об удалении *hubp1 и *hubp2 вижу нецелесообразным, поскольку вызов 
> > container_of() предполагает наличие уже валидного, переданного в качестве аргумента в метод
> > hubp1_is_flip_pending(), то именно наличие макроса TO_DCN10_HUBP() делает проверку на NULL
> > нелогичной.
> > В таком случае необходимо избавиться от 2-х проверок на NULL вместо одной (по логике отработки).
> > Если вы согласны, то патч с предлагаемым исправлением будет отправлен после вашего ответа.
> 
> Хотелось бы увидеть патч в lvc-patches at linuxtesting.org.

Столкнулся с крайне странной ситуацией. Ранее размеченное срабатывание с версией v6.1.164-lvc47
содержало в себе избыточную проверку, однако, в репозитории она отсутствует, как отсутствовала
ранее для версий v6.0, v6.1, v6.2-rc1 компонента.
Предлагаемые изменения были приняты? Если так, то смущает статус и ответ системы о конфликтующих
патчах, а также отсутствие информации о последнем изменении в репозитории (прошлое было 9 лет назад).
На момент подготовки исправлений проверка существовала, в противном случае ранее отправленный
вам патч на обсуждение его бы не содержал.

Ссылка на срабатывание: https://lvc-svacer.ispras.ru/r/d91pas1r8jqfi96ogf70
Ссылка на v6.0: https://github.com/torvalds/linux/blob/4fe89d07dcc2804c8b562f6c7896a45643d34b2f/drivers/gpu/drm/amd/display/dc/dcn10/dcn10_hubp.c#L752
Ссылка на v6.1: https://github.com/torvalds/linux/blob/830b3c68c1fb1e9176028d02ef86f3cf76aa2476/drivers/gpu/drm/amd/display/dc/dcn10/dcn10_hubp.c#L752
Ссылка на v6.2-rc1: https://github.com/torvalds/linux/blob/1b929c02afd37871d5afb9d498426f83432e71c2/drivers/gpu/drm/amd/display/dc/dcn10/dcn10_hubp.c#L752

Содержание прошлых писем:

>From: Gleb Markov <markov.gi at npc-ksb.ru>
>
>The final check of hubp for NULL covers all remaining lines of code,
>since the value of hubp does not change until the end of the method.
>
>If the *hubp1 pointer was NULL, then the program crash even at the
>moment of accessing macros, otherwise the check is redundant.
>
>Remove the left part of the expression with the logical "&&".
>
>Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
>Fixes: be1fb44389ca ("drm/amd/display: Check null pointers before used").
>Signed-off-by: Gleb Markov <markov.gi at npc-ksb.ru>
>---
> drivers/gpu/drm/amd/display/dc/hubp/dcn10/dcn10_hubp.c | 3 +--
> 1 file changed, 1 insertion(+), 2 deletions(-)
>
>diff --git a/drivers/gpu/drm/amd/display/dc/hubp/dcn10/dcn10_hubp.c b/drivers/gpu/drm/amd/display/dc/hubp/dcn10/dcn10_hubp.c
>index 7c97a774141f..d8eb5996b577 100644
>--- a/drivers/gpu/drm/amd/display/dc/hubp/dcn10/dcn10_hubp.c
>+++ b/drivers/gpu/drm/amd/display/dc/hubp/dcn10/dcn10_hubp.c
>@@ -772,8 +772,7 @@ bool hubp1_is_flip_pending(struct hubp *hubp)
> 	if (flip_pending)
> 		return true;
> 
>-	if (hubp &&
>-	    earliest_inuse_address.grph.addr.quad_part != hubp->request_address.grph.addr.quad_part)
>+	if (earliest_inuse_address.grph.addr.quad_part != hubp->request_address.grph.addr.quad_part)
> 		return true;
> 
> 	return false;
>-- 
>2.43.0

а также

>Весьма абстрактное название патча, делайте его пожалуйста чуть более
>конкретизированным.  Да, это иногда бывает непросто, но придумывание
>точного и чёткого названия для коммита в больших опенсорс проектах того
>стоит.
>
>On Mon, 25. May 15:43, Markov Gleb wrote:
> > From: Gleb Markov <markov.gi at npc-ksb.ru>
> > 
> > The final check of hubp for NULL covers all remaining lines of code,
> > since the value of hubp does not change until the end of the method.
> > 
> > If the *hubp1 pointer was NULL, then the program crash even at the
> > moment of accessing macros, otherwise the check is redundant.
> > 
> > Remove the left part of the expression with the logical "&&".
> > 
> > Found by Linux Verification Center (linuxtesting.org) with SVACE.
> > 
> > Fixes: be1fb44389ca ("drm/amd/display: Check null pointers before used").
> > Signed-off-by: Gleb Markov <markov.gi at npc-ksb.ru>
>
> Возможно более подходящим решением будет удаление unused-but-set variable
>struct dcn10_hubp *hubp1 и struct dcn10_hubp *hubp2 из функций
>hubp1_is_flip_pending() и hubp2_is_flip_pending() соответственно.

Прошу прощения если чего-то очевидного не понимаю, но пока разобраться не могу.