From mboxrd@z Thu Jan 1 00:00:00 1970 Content-Type: multipart/mixed; boundary="===============8502874742732568453==" MIME-Version: 1.0 From: kernel test robot Subject: [PATCH] userfaultfd: fix bugon.cocci warnings Date: Tue, 21 Sep 2021 02:53:31 +0800 Message-ID: <20210920185331.GA8230@55b0367e9d4c> In-Reply-To: <202109210225.IyZXrfqV-lkp@intel.com> List-Id: To: kbuild@lists.01.org --===============8502874742732568453== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable CC: kbuild-all(a)lists.01.org CC: linux-kernel(a)vger.kernel.org TO: Andrea Arcangeli CC: Andrew Morton CC: Linux Memory Management List CC: linux-kernel(a)vger.kernel.org From: kernel test robot mm/userfaultfd.c:866:3-6: WARNING: Use BUG_ON instead of if condition follo= wed by BUG. Please make sure the condition has no side effects (see conditional BUG_ON = definition in include/asm-generic/bug.h) mm/userfaultfd.c:918:3-6: WARNING: Use BUG_ON instead of if condition follo= wed by BUG. Please make sure the condition has no side effects (see conditional BUG_ON = definition in include/asm-generic/bug.h) Use BUG_ON instead of a if condition followed by BUG. Semantic patch information: This makes an effort to find cases where BUG() follows an if condition on an expression and replaces the if condition and BUG() with a BUG_ON having the conditional expression of the if statement as argument. Generated by: scripts/coccinelle/misc/bugon.cocci Fixes: 9c170f87bcd5 ("userfaultfd: UFFDIO_REMAP uABI") Reported-by: kernel test robot Signed-off-by: kernel test robot --- tree: https://git.kernel.org/pub/scm/linux/kernel/git/andrea/aa.git main head: 594ac4d4703392f80b124eebc2e2816ded6b92cf commit: 9c170f87bcd588d29b1c0588f50d089041b0b1ef [34/39] userfaultfd: UFFDI= O_REMAP uABI :::::: branch date: 3 days ago :::::: commit date: 3 days ago Please take the patch only if it's a positive warning. Thanks! userfaultfd.c | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) --- a/mm/userfaultfd.c +++ b/mm/userfaultfd.c @@ -861,9 +861,7 @@ static int remap_pages_pte(struct mm_str WRITE_ONCE(src_page->index, linear_page_index(dst_vma, dst_addr)); = - if (!pte_same(ptep_clear_flush(src_vma, src_addr, src_pte), - orig_src_pte)) - BUG(); + BUG_ON(!pte_same(ptep_clear_flush(src_vma, src_addr, src_pte), orig_src_= pte)); = orig_dst_pte =3D mk_pte(src_page, dst_vma->vm_page_prot); orig_dst_pte =3D maybe_mkwrite(pte_mkdirty(orig_dst_pte), @@ -913,9 +911,7 @@ static int remap_pages_pte(struct mm_str return -EAGAIN; } = - if (pte_val(ptep_get_and_clear(src_mm, src_addr, src_pte)) !=3D - pte_val(orig_src_pte)) - BUG(); + BUG_ON(pte_val(ptep_get_and_clear(src_mm, src_addr, src_pte)) !=3D pte_v= al(orig_src_pte)); set_pte_at(dst_mm, dst_addr, dst_pte, orig_src_pte); = if (dst_mm !=3D src_mm) { --===============8502874742732568453==--