From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id BA112C433EF for ; Wed, 17 Nov 2021 10:49:13 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 9118360E8E for ; Wed, 17 Nov 2021 10:49:13 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S236549AbhKQKwK (ORCPT ); Wed, 17 Nov 2021 05:52:10 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:34678 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231777AbhKQKwI (ORCPT ); Wed, 17 Nov 2021 05:52:08 -0500 Received: from bhuna.collabora.co.uk (bhuna.collabora.co.uk [IPv6:2a00:1098:0:82:1000:25:2eeb:e3e3]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 6EDE0C061570; Wed, 17 Nov 2021 02:49:10 -0800 (PST) Received: from [127.0.0.1] (localhost [127.0.0.1]) (Authenticated sender: andrzej.p) with ESMTPSA id CB5B71F45CA7 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=collabora.com; s=mail; t=1637146148; bh=VC/9/qBMbBFHqcqxE2zcEBRwUYFmTykXV2WwsjdvUN0=; h=Subject:To:Cc:References:From:Date:In-Reply-To:From; b=PeIXpG9CSmkw6VJ3YsKl4afDlYD05dHd3xUpRfc1JAmIEEYLPMNKwcuNge7igUA01 F2tLsoBPU0C/p5dh2mjZShHT5mK8sLLZCLPRJbZ3lvRWPf+5G8DCIcU56TwqAUfqag XHmsX+cWB56x6AnpWT012mA5j/FiPhWMhJfbOBah3iSdvXNRueJZJagvh+lQWNTULb ylA6QRsCbpGkB8zVyDL0e2HiKdzUEkxcTox511FvIZq55X/GFybz48Q5N23hmdJt/Q w+enpvIZP8ssBz6pnD++aCpl6c2u0DPemVXQB3aaDs3mqr6HoudIy/C3lODlQwL364 heqMU2+iNyRbQ== Subject: Re: [PATCH v7 00/11] VP9 codec V4L2 control interface To: Hans Verkuil , linux-media@vger.kernel.org, linux-arm-kernel@lists.infradead.org, linux-kernel@vger.kernel.org, linux-rockchip@lists.infradead.org, linux-staging@lists.linux.dev Cc: Benjamin Gaignard , Boris Brezillon , Ezequiel Garcia , Fabio Estevam , Greg Kroah-Hartman , Heiko Stuebner , Jernej Skrabec , Mauro Carvalho Chehab , Nicolas Dufresne , NXP Linux Team , Pengutronix Kernel Team , Philipp Zabel , Sascha Hauer , Shawn Guo , kernel@collabora.com References: <20210929160439.6601-1-andrzej.p@collabora.com> <9db47ebc-cb95-872d-feb4-d6432a74f2cb@xs4all.nl> <29f27bad-28ae-12ff-eed6-79902bd5b722@collabora.com> <4da113ef-7b12-3729-0186-f746901c892a@xs4all.nl> <69f16bb0-4b5a-18b3-e244-60deb029d239@collabora.com> <2cd7a7f0-72d6-1a0e-b5d2-87ff809c2acd@xs4all.nl> From: Andrzej Pietrasiewicz Message-ID: <63429780-9e39-f8ab-40c2-0f1b57553850@collabora.com> Date: Wed, 17 Nov 2021 11:49:05 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 MIME-Version: 1.0 In-Reply-To: <2cd7a7f0-72d6-1a0e-b5d2-87ff809c2acd@xs4all.nl> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi, W dniu 17.11.2021 o 10:59, Hans Verkuil pisze: > On 16/11/2021 14:14, Andrzej Pietrasiewicz wrote: >> Hi, >> >> W dniu 16.11.2021 o 09:21, Hans Verkuil pisze: >>> On 16/11/2021 09:09, Andrzej Pietrasiewicz wrote: >>>> Hi Hans, >>>> >>>> W dniu 15.11.2021 o 22:16, Hans Verkuil pisze: >>>>> On 15/11/2021 18:14, Andrzej Pietrasiewicz wrote: >>>>>> Hi Hans, >>>>>> >>>>>> W dniu 15.11.2021 o 16:07, Hans Verkuil pisze: >>>>>>> Andrzej, >>>>>>> >>>>>>> Can you rebase this series on top of the master branch of >>>>>>> https://git.linuxtv.org/media_stage.git/ ? Unfortunately this v7 no longer >>>>>>> applies. Specifically "rkvdec: Add the VP9 backend" failed in a non-trivial >>>>>>> manner. >>>>>> >>>>>> This is a branch for you: >>>>>> >>>>>> https://gitlab.collabora.com/linux/for-upstream/-/tree/vp9-uapi >>>>> >>>>> I'm getting a bunch of sparse/smatch warnings: >>>>> >>>> >>>> Thanks for finding this, I will re-create the branch and let you know on irc. >>>> Some of the below are "false positives, namely: >>>> >>>> drivers/media/platform/omap3isp/omap3isp.h >>>> drivers/media/platform/qcom/venus/core.h >>> >>> Ah, sorry, I though I had filtered those out. Obviously you can ignore those. >>> >>> Please post a v8. That way the series is archived on lore. And it works better >>> with patchwork. >> >> Sure, no problem. Also please see below. >> >>> >>> Regards, >>> >>> Hans >>> >>>> >>>> which are not touched by the series. >>>> >>>> Regards, >>>> >>>> Andrzej >>>> >>>>> sparse: >>>>> rkvdec/rkvdec-vp9.c:190:43: warning: variable 'dec_params' set but not used [-Wunused-but-set-variable] >>>>> rkvdec/rkvdec-vp9.c:245:43: warning: variable 'dec_params' set but not used [-Wunused-but-set-variable] >>>>> SPARSE:hantro/hantro_postproc.c hantro/hantro_postproc.c:37:35: warning: symbol 'hantro_g1_postproc_regs' was not declared. Should it be static? >>>>> >>>>> smatch: >>>>> rkvdec/rkvdec-vp9.c:190:43: warning: variable 'dec_params' set but not used [-Wunused-but-set-variable] >>>>> rkvdec/rkvdec-vp9.c:245:43: warning: variable 'dec_params' set but not used [-Wunused-but-set-variable] >>>>> rkvdec/rkvdec-vp9.c: rkvdec/rkvdec-vp9.c:236 init_intra_only_probs() error: buffer overflow 'ptr' 90 <= 91 >> >> this looks a false positive. >> >> A portion of memory pointed to by ptr is indexed with i * 23 + m, >> where i ranges from 0 to 3, inclusive, and m ranges from 0 to 22, >> inclusive if i < 3, otherwise m ranges from 0 to 20, inclusive. >> So the largest index value we compute equals 89 (3 * 23 + 20). >> Because ptr points to something that is at least 90 bytes large, >> 89 is a valid index and no greater index will be ever computed. > > But we do need to get rid of this smatch warning, otherwise it will pollute the > list of smatch warnings. > > I was looking at the code and wonder if it wouldn't make more sense to > move writing to rkprobs->intra_mode[i].uv_mode[] into a separate for loop: > > for (i = 0; i < ARRAY_SIZE(v4l2_vp9_kf_uv_mode_prob); i++) > rkprobs->intra_mode[i / 23].uv_mode[i % 23] = v4l2_vp9_kf_uv_mode_prob[i]; > > Wouldn't that do the same as the current code? It looks simpler as well. > I think it would, but I would slightly change the loop: for (i = 0; i < ARRAY_SIZE(v4l2_vp9_kf_uv_mode_prob); i++) { const u8 *ptr = (const u8 *)v4l2_vp9_kf_uv_mode_prob; rkprobs->intra_mode[i / 23].uv_mode[i % 23] = ptr[i]; } because v4l2_vp9_kf_uv_mode_prob is actually a u8[10][9]. I will make such a change locally and test whether it causes regressions. Once I confirm it works (and I expect I will) would you like me to post a v9, only reply to the changed patch with its updated version or do you want to make this change yourself? Andrzej