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 kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id A170ECDB47E for ; Wed, 18 Oct 2023 12:12:39 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 168EC8E0010; Wed, 18 Oct 2023 08:12:39 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 118798D0016; Wed, 18 Oct 2023 08:12:39 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 006878E0010; Wed, 18 Oct 2023 08:12:38 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0013.hostedemail.com [216.40.44.13]) by kanga.kvack.org (Postfix) with ESMTP id E02C48D0016 for ; Wed, 18 Oct 2023 08:12:38 -0400 (EDT) Received: from smtpin19.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id B9AF4B67CA for ; Wed, 18 Oct 2023 12:12:38 +0000 (UTC) X-FDA: 81358470396.19.81C7457 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by imf24.hostedemail.com (Postfix) with ESMTP id DFBA818002C for ; Wed, 18 Oct 2023 12:12:36 +0000 (UTC) Authentication-Results: imf24.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=hxKHUH7D; dmarc=pass (policy=none) header.from=redhat.com; spf=pass (imf24.hostedemail.com: domain of bhe@redhat.com designates 170.10.129.124 as permitted sender) smtp.mailfrom=bhe@redhat.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1697631156; a=rsa-sha256; cv=none; b=VDrL0CjQZZ/fuL0ZA8OmJDmFUwnKW9eQ8/VLp0e/hr3SxuDxwN/8lryhsIoxOeVIbbnAen HnDwhGI39no57CJidpEBklLHr43Gsde1kEzCi3tljwY69XC/muLP6wB2F5iX+2aJBjp3KA IIDyNTVU0IcguQRizbn+x333Hdviwkc= ARC-Authentication-Results: i=1; imf24.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=hxKHUH7D; dmarc=pass (policy=none) header.from=redhat.com; spf=pass (imf24.hostedemail.com: domain of bhe@redhat.com designates 170.10.129.124 as permitted sender) smtp.mailfrom=bhe@redhat.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1697631156; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=PE/mHe/CAbrLfzX0O2jV2/dAhOsU7rUS7AFT41iKams=; b=tYU114VddJYWdxK1gcXH/RVvGObIbeNIDPSt1F6EH2PdqJZZR65+49Qds+/dQ7ro/Zg50q VEQzT4KVIsj7CCY7MCQgiOhW0x19dXWHSaR2Ej11K1mrx3pz+Z9tYnvHox2YhsYeNtF9tY B1mNZi35XszdL7qETSEp9hcU4pevWsM= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1697631156; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=PE/mHe/CAbrLfzX0O2jV2/dAhOsU7rUS7AFT41iKams=; b=hxKHUH7Dw3WH1LX1Kp9mvt4Tww2oJxHDCG5zLyOI/fNOLBqu4G5q+10YwBNlvqZE9WDFlk /ebQyD6A/3UBAhgwcrejJmjnMGbb2kvOHMpYEPJgbiDs8VGuV6TAQFJ7TyCWvNkqpN527+ AjeczTTd56e6Y5crxBVe/atGOYKZfk8= Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-383-yQuChPbGOM6sbMwZL2EhpA-1; Wed, 18 Oct 2023 08:12:34 -0400 X-MC-Unique: yQuChPbGOM6sbMwZL2EhpA-1 Received: from smtp.corp.redhat.com (int-mx04.intmail.prod.int.rdu2.redhat.com [10.11.54.4]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 4660688B7A7; Wed, 18 Oct 2023 12:12:34 +0000 (UTC) Received: from localhost (unknown [10.72.112.83]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 8ECD720268CB; Wed, 18 Oct 2023 12:12:33 +0000 (UTC) Date: Wed, 18 Oct 2023 20:12:30 +0800 From: Baoquan He To: Dan Carpenter Cc: oe-kbuild@lists.linux.dev, Lorenzo Stoakes , lkp@intel.com, oe-kbuild-all@lists.linux.dev, linux-kernel@vger.kernel.org, Andrew Morton , Linux Memory Management List Subject: Re: mm/vmalloc.c:3689 vread_iter() error: we previously assumed 'vm' could be null (see line 3667) Message-ID: References: <89caf59a-d3b9-409d-b1ae-9e370cb9ee7d@kadam.mountain> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <89caf59a-d3b9-409d-b1ae-9e370cb9ee7d@kadam.mountain> X-Scanned-By: MIMEDefang 3.4.1 on 10.11.54.4 X-Rspam-User: X-Rspamd-Server: rspam06 X-Rspamd-Queue-Id: DFBA818002C X-Stat-Signature: erqyrkce8kopj4sndzweeyu351d65fpa X-HE-Tag: 1697631156-708096 X-HE-Meta: U2FsdGVkX1/xlvM7cfQ6XwBsqsUiU4YNSSAwNs+idRxe16QLU8XVeNIYqkTlcJbgiPhDik5n05y43OBSJB5Lw46nnEmBxMlG/c0zbv8aN7+8jsMTzN9CnYBoWorRFzRu3sMUUcpzw0Hf6FDtFUfw/tVOB3X3MVeLwjzF6KHCh0DhL5r2rlVSHGkjZmYqDAVk30cq6qgeGR5phqaYaqUGFueh+UVkq/qnUztnW9GwkSlrJ6XibGBMQepS1zCVRA5QrmdCqghSh8Cr9KpcjbI2RfsA1456B/TwI6/rztjhaatxlLCxzWYrY02dKbmKCbOZREGjWriRXD+bpNtSSdWYt6bUlFGe52lKyeZuE89JknDKgsmH4f4xz3AhM8WyT7tH7SYOoeOPQhex1LWGXYvBUmZm5NoMa28roO/+oLWsfcmbMyHVvV4gpxLr6+8t5ssBpBF5JUfcxARgS6/xYJGdIpZzxJAdjXO3LbjPUmocakapVgQKT9rqIlXtaBxGEkwboz1SOyeQcVDPl8QlQWW9cVzqvZfwUu6+lvXviG00noOOLcVfG/z4oqU4oSL+1M/Osli8+vcCbG1zUg6LGlidIcTPK/hjTKrRNM4WVHhR3rhUke8Q0Q5MaU97wsnuLg18zZTMRNEJPC1onzfKAYpBcaLs8RlmNR275tBuXcjSbjA9LJRIn81tEZyvdJ9fSjtVZ2UXzwMYqxnphtFQejdVq6oT/OosGT6h8Ba2MKD3Uf7637rinKnko9lsirx9baYnomf7gpfYD3j4Tx2QoJYDARHNj0JS2CwWyxEmuC3v/6Fs9NdP+M9L0duU+e5b2vJYB18RByZTKd0WAz1+s9mlwkIXz2G8/ffXowvloOiooKqsuU2nSz1agOTpjXlZdQTIt4hWo2ImKI9hzE8+M+LX8x4LsP5H1+gagvAWg01bYkEsIXyM59yWOdaYokWYMpMaWY7WgZnxJh0GGKtWyIp KJVkMGGp tbjm0fyzrO9X17dx08r4E4f34Wc0o50AIWGz/Pr3lYbBFUlPRNtfGAZzjGXoQ2SK1RVg3a0V6qnebZ6Fc16HYbznOG7U6cjc0Y/2+6FWCOB64yUpb3srHX/ZzwtUfwZvruoIcdoPdU8qQEksLunhi7TwIGJRCBP3Q0Z2+g/WhySiSw18zgeb2sn882e42QVy4AMnzDCCkUuao8TevJO9WZfq8cdNW7TX036Jl0kwq5yP5fYMjJ20tVIZRJMbO60elk+qdsKJ08IdJe8KzpBXQF3EcQLdSgysG4LswJs0wmBL4wJUS+ZLb2MPDMd/QIOcOC3P3Upoc5NW80+y5xBaQeV5N29leurLS+7RX6jSrYdCz6DSm1plCUxWOIWGr3IJimfe3opk62kBj8WZzccGVCUUs9qOAdky4pnLkgrEIg+8C/QTXZY1sbujssPCfKqsBYt9/X0peZaqdJat5nZY+dS5eKiZ+YQ8UaHeN/cYv9U2o50i0lNWQ19bVWw== X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: Hi Dan, On 10/18/23 at 01:32pm, Dan Carpenter wrote: > On Wed, Oct 18, 2023 at 04:54:33PM +0800, Baoquan He wrote: > > Hi, > > > > On 10/17/23 at 05:26pm, Dan Carpenter wrote: > > > tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master > > > head: 213f891525c222e8ed145ce1ce7ae1f47921cb9c > > > commit: 4c91c07c93bbbdd7f2d9de2beb7ee5c2a48ad8e7 mm: vmalloc: convert vread() to vread_iter() > > > config: x86_64-allnoconfig (https://download.01.org/0day-ci/archive/20231017/202310171600.WCrsOwFj-lkp@intel.com/config) > > > compiler: gcc-12 (Debian 12.2.0-14) 12.2.0 > > > reproduce: (https://download.01.org/0day-ci/archive/20231017/202310171600.WCrsOwFj-lkp@intel.com/reproduce) > > > > > > If you fix the issue in a separate patch/commit (i.e. not just a new version of > > > the same patch/commit), kindly add following tags > > > | Reported-by: kernel test robot > > > | Reported-by: Dan Carpenter > > > | Closes: https://lore.kernel.org/r/202310171600.WCrsOwFj-lkp@intel.com/ > > > > > > smatch warnings: > > > mm/vmalloc.c:3689 vread_iter() error: we previously assumed 'vm' could be null (see line 3667) > > > > I see the code deficit, while the reproduce link seems to be unavilable. > > Could you double check the link and provide a good one so that I can > > verify the code fix? > > Here's a link. :) > > https://repo.or.cz/smatch.git/blob/HEAD:/Documentation/smatch.txt > > Just build it and run: > > ~/smatch/smatch_scripts/kchecker drivers/whatever/file.c I don't know smatch and lkp well, and have no idea on how to use above smatch.txt to build the target file.c. I meant in this lkp report, the config file is available, however, the reproduce file is empty. Could you help add an available reproduce file link? or give a little more detail guiding me how to make use of above smatch file to build .c file? Thanks a lot in advance. config: x86_64-allnoconfig (https://download.01.org/0day-ci/archive/20231017/202310171600.WCrsOwFj-lkp@intel.com/config) reproduce: (https://download.01.org/0day-ci/archive/20231017/202310171600.WCrsOwFj-lkp@intel.com/reproduce) Thanks Baoquan