From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on gnuweeb.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS, URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from mail-ed1-f49.google.com (mail-ed1-f49.google.com [209.85.208.49]) by gnuweeb.org (Postfix) with ESMTPS id 516F28321E for ; Wed, 1 Mar 2023 05:00:39 +0000 (UTC) Authentication-Results: gnuweeb.org; dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20210112 header.b=H+L6jwMS; dkim-atps=neutral Received: by mail-ed1-f49.google.com with SMTP id h16so48999147edz.10 for ; Tue, 28 Feb 2023 21:00:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1677646837; h=in-reply-to:content-transfer-encoding:content-disposition :mime-version:references:message-id:subject:cc:to:from:date:from:to :cc:subject:date:message-id:reply-to; bh=u6tN4t92Y4qGgMiu8AHY6Saz3I11oSn1OtStmVFvLag=; b=H+L6jwMS9o3dpRn+pHTCZBiVPFosZP8sF4htkBp6F7ZlXMJn67HNMI9BWRaloaKvRy F/aA8ZwqZghSyj1Q7gNysvLGNtQgjCv0CLS6RjGVGPwGjbabYR+tgvTqvPOqmb0nq48J nJ1aLD1jaB3EErHHnnY5BDtq+NvPEgmZHj1mAL2IaUbushceJ0SIai/XIF2Mv5jPTBVG iLXiy2sKpyDDlZc51ZutzuUl9ALtjDYixs9LHSrBPZrr5TjVbmqajrYMm+t1rlmsrUhK MiHaXV3YDYhwPmcWtuIYJGUxsHG3gOBQt7C2d30/0RhTsr810PCvA9nPcj9IWhtuBx6j my3Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1677646837; h=in-reply-to:content-transfer-encoding:content-disposition :mime-version:references:message-id:subject:cc:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=u6tN4t92Y4qGgMiu8AHY6Saz3I11oSn1OtStmVFvLag=; b=u+R0WTDoomMfkTkio68xdRwDv0deRuYLQfWC0lVtSq06cb6KJwWNTPoJYs24hqhuWf d+8v/Uulfe6rYMQRgio2GktpiA/fXiAQZZcaVMt3kLzv+QHdDcUOfqt9f7yy5Uzq7BK6 +97nhnEEDQVyqrynMMX+pDxFzpZL/N2xWeDhl0hIwZpJuNmW6M4c5Qs5saUtSwMHqzf4 NFcncLNmw/aT1ne+Xa7fxVcfCbn834AQEtsAG5a5hbD9R/M+Jjg4VsQxCm3VBcj/0L6Y qqaPJ0dpS79VPucN968z0CEDW0qR5cRm5lIF6Y1XB04wIc2K00OGUNsB7tvoyRi/9EOz YWSQ== X-Gm-Message-State: AO0yUKUJe0EmyoMkLTUKofVht64DPZ0lrmmBmZCsT7k3iB0HeMqdteHy Zwv7MZ+V4ojMReONYkdnuAU= X-Google-Smtp-Source: AK7set/kvCrA4tvNCNl0azoKo9wM48fBCa9n1J6HCUveUyJIRze73/W2wisqy+KW4ozadASFmLtDzQ== X-Received: by 2002:a17:906:d84:b0:88d:619:15fc with SMTP id m4-20020a1709060d8400b0088d061915fcmr3573692eji.21.1677646837640; Tue, 28 Feb 2023 21:00:37 -0800 (PST) Received: from localhost ([102.36.222.112]) by smtp.gmail.com with ESMTPSA id qx27-20020a170906fcdb00b008bda61ff999sm5296248ejb.130.2023.02.28.21.00.36 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Feb 2023 21:00:37 -0800 (PST) Date: Wed, 1 Mar 2023 08:00:33 +0300 From: Dan Carpenter To: Suren Baghdasaryan Cc: oe-kbuild@lists.linux.dev, lkp@intel.com, oe-kbuild-all@lists.linux.dev, Ammar Faizi , GNU/Weeb Mailing List , Andrew Morton , Linux Memory Management List Subject: Re: [ammarfaizi2-block:akpm/mm/mm-unstable 82/99] mm/mmap.c:516 vma_prepare() error: we previously assumed 'vp->vma' could be null (see line 505) Message-ID: References: <202302281802.J93Nma7q-lkp@intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: List-Id: On Tue, Feb 28, 2023 at 06:28:36PM -0800, Suren Baghdasaryan wrote: > On Tue, Feb 28, 2023 at 10:04 AM Suren Baghdasaryan wrote: > > > > On Tue, Feb 28, 2023 at 6:24 AM Dan Carpenter wrote: > > > > > > tree: https://github.com/ammarfaizi2/linux-block akpm/mm/mm-unstable > > > head: 61edd3b68c3185673c9b05dfe48038692964c73b > > > commit: f517f7ae341d933856cdf4d9d773027681ed5dff [82/99] mm/mmap: write-lock VMAs in vma_prepare before modifying them > > > config: i386-randconfig-m021 (https://download.01.org/0day-ci/archive/20230228/202302281802.J93Nma7q-lkp@intel.com/config) > > > compiler: gcc-11 (Debian 11.3.0-8) 11.3.0 > > > > > > If you fix the issue, kindly add following tag where applicable > > > | Reported-by: kernel test robot > > > | Reported-by: Dan Carpenter > > > | Link: https://lore.kernel.org/r/202302281802.J93Nma7q-lkp@intel.com/ > > > > Thanks for reporting! > > > > > > > > smatch warnings: > > > mm/mmap.c:516 vma_prepare() error: we previously assumed 'vp->vma' could be null (see line 505) > > > > > > vim +516 mm/mmap.c > > > > > > 440703e082b9c7 Liam R. Howlett 2023-01-20 503 static inline void vma_prepare(struct vma_prepare *vp) > > > 440703e082b9c7 Liam R. Howlett 2023-01-20 504 { > > > f517f7ae341d93 Suren Baghdasaryan 2023-02-27 @505 if (vp->vma) > > > > > > Check presumes that vp->vma can be NULL. On my other system (with > > > yesterday's linux-next code) vp->vma can never be NULL. > > > > I think the check here is not needed since vp->vma should always be > > non-NULL. I'll double-check and will remove it if that is confirmed. > > Fix is posted at > https://lore.kernel.org/all/20230301022720.1380780-1-surenb@google.com/ Thanks! regards, dan carpenter