linux-kernel - drivers/media/platform/qcom/venus/helpers.c:627 venus_helper_get_bufreq() error: we previously assumed 'req' could be null (see line 623)

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [day] [month] [year] [list]

Date:   Tue, 15 Mar 2022 12:09:05 +0300
From:   Dan Carpenter <dan.carpenter@...cle.com>
To:     kbuild@...ts.01.org, Dikshita Agarwal <dikshita@...eaurora.org>
Cc:     lkp@...el.com, kbuild-all@...ts.01.org,
        linux-kernel@...r.kernel.org,
        Mauro Carvalho Chehab <mchehab@...nel.org>,
        linux-media@...r.kernel.org,
        Stanimir Varbanov <stanimir.varbanov@...aro.org>
Subject: drivers/media/platform/qcom/venus/helpers.c:627
 venus_helper_get_bufreq() error: we previously assumed 'req' could be null
 (see line 623)

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   09688c0166e76ce2fb85e86b9d99be8b0084cdf9
commit: 16545aa3dee5a01f3f42aa566a051096c87f4b6f media: venus: Set buffer to FW based on FW min count requirement.
config: microblaze-randconfig-m031-20220314 (https://download.01.org/0day-ci/archive/20220315/202203151010.lrgnt9Tm-lkp@intel.com/config)
compiler: microblaze-linux-gcc (GCC) 11.2.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@...el.com>
Reported-by: Dan Carpenter <dan.carpenter@...cle.com>

smatch warnings:
drivers/media/platform/qcom/venus/helpers.c:627 venus_helper_get_bufreq() error: we previously assumed 'req' could be null (see line 623)

vim +/req +627 drivers/media/platform/qcom/venus/helpers.c

af2c3834c8ca7c Stanimir Varbanov 2017-06-15  615  int venus_helper_get_bufreq(struct venus_inst *inst, u32 type,
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  616  			    struct hfi_buffer_requirements *req)
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  617  {
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  618  	u32 ptype = HFI_PROPERTY_CONFIG_BUFFER_REQUIREMENTS;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  619  	union hfi_get_property hprop;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  620  	unsigned int i;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  621  	int ret;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  622  
af2c3834c8ca7c Stanimir Varbanov 2017-06-15 @623  	if (req)

Hopefully we can delete this check?

af2c3834c8ca7c Stanimir Varbanov 2017-06-15  624  		memset(req, 0, sizeof(*req));
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  625  
16545aa3dee5a0 Dikshita Agarwal  2021-08-10  626  	if (type == HFI_BUFFER_OUTPUT || type == HFI_BUFFER_OUTPUT2)
16545aa3dee5a0 Dikshita Agarwal  2021-08-10 @627  		req->count_min = inst->fw_min_cnt;
16545aa3dee5a0 Dikshita Agarwal  2021-08-10  628  
7371093f983d35 Stanimir Varbanov 2020-08-26  629  	ret = platform_get_bufreq(inst, type, req);

Because "req" will be dereferenced inside platform_get_bufreq()

16545aa3dee5a0 Dikshita Agarwal  2021-08-10  630  	if (!ret) {
16545aa3dee5a0 Dikshita Agarwal  2021-08-10  631  		if (type == HFI_BUFFER_OUTPUT || type == HFI_BUFFER_OUTPUT2)
16545aa3dee5a0 Dikshita Agarwal  2021-08-10  632  			inst->fw_min_cnt = req->count_min;
7371093f983d35 Stanimir Varbanov 2020-08-26  633  		return 0;
16545aa3dee5a0 Dikshita Agarwal  2021-08-10  634  	}
7371093f983d35 Stanimir Varbanov 2020-08-26  635  
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  636  	ret = hfi_session_get_property(inst, ptype, &hprop);
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  637  	if (ret)
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  638  		return ret;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  639  
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  640  	ret = -EINVAL;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  641  
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  642  	for (i = 0; i < HFI_BUFFER_TYPE_MAX; i++) {
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  643  		if (hprop.bufreq[i].type != type)
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  644  			continue;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  645  
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  646  		if (req)

Delete this as well?

af2c3834c8ca7c Stanimir Varbanov 2017-06-15  647  			memcpy(req, &hprop.bufreq[i], sizeof(*req));
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  648  		ret = 0;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  649  		break;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  650  	}
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  651  
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  652  	return ret;
af2c3834c8ca7c Stanimir Varbanov 2017-06-15  653  }

---
0-DAY CI Kernel Test Service
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org