Received: by 2002:a05:6a10:8c0a:0:0:0:0 with SMTP id go10csp2614215pxb; Sun, 28 Feb 2021 07:12:04 -0800 (PST) X-Google-Smtp-Source: ABdhPJwY3PAFtZNjAeOe139XQmYsgyIY+9Et5LXfwORq6z38m4on1l9KHjdXDFoDgHSUteEIMz43 X-Received: by 2002:a17:906:4955:: with SMTP id f21mr12330162ejt.74.1614525123741; Sun, 28 Feb 2021 07:12:03 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1614525123; cv=none; d=google.com; s=arc-20160816; b=EOI6zDwEJQARQZLIFYSNwHi4MNs9BWlMuS43RQBoQ8EBEsKGZvhy8fA+193nOdHbw1 ZDzW0KGOs0PR0IVBeiW3Nt5vANr9Thm3qpTtPDK6jqXUS4gyV/w9e8jm5U4f5a70kQ6Z n7P2F8+kM17Co/xVA31btiLapVW4RsbOjLy4Y6ctbKr67j/SOtdW4uZCTXjr82pnuqF3 ohH2SPON6PNGfuUdEG1Pezu/JPtHeh9O1DTMZEey1F+KkTDFKAKr41kdLkzJAw6RTqsd Vokjix0RKrQDpo/qF65dH966MgTseTknguuZPnMF+nRDvGkigdQS7DmJFCYL1xifPjy4 EKCA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=782KU7FtcV9VAbOEc47VnKe1z6z5fBgcfhkg54o08c8=; b=FUG9Acwj1etXEXxndH2tYW4Vy34PDFgaEK3bkACGXwgfcvhgOv7RmrMPmjO/kdfyQk mT3mE+o1AhvlBRJPR3riCY9LWFhy4P3CiGuyb9XfU2yROj+0eTgv6blmHU0p2SnFEvA7 qbP+XLx1fqGVCDKiCJiV7yGmxuZ1HQrMqAjrpkrlfGfZqEM7BzKQY7iT/M57bJIvl4k0 3sVgMhJotA3Z32DyR5H8FfYRecwlI/9iIapsT6CoyTO9A093mcE2FL4qcc2UJsqNWqKf 8IJYbgksH0y0UrCOz7BM3AookGwHMweL0jIJmqtv6HaHkkZX/vBn/65GDGCOla2lkAQm xFEw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@messagingengine.com header.s=fm2 header.b=PgIxRFtE; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id gr12si5310107ejb.306.2021.02.28.07.11.41; Sun, 28 Feb 2021 07:12:03 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@messagingengine.com header.s=fm2 header.b=PgIxRFtE; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230480AbhB1PKz (ORCPT + 99 others); Sun, 28 Feb 2021 10:10:55 -0500 Received: from wforward2-smtp.messagingengine.com ([64.147.123.31]:50347 "EHLO wforward2-smtp.messagingengine.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230222AbhB1PG7 (ORCPT ); Sun, 28 Feb 2021 10:06:59 -0500 X-Greylist: delayed 555 seconds by postgrey-1.27 at vger.kernel.org; Sun, 28 Feb 2021 10:06:59 EST Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailforward.west.internal (Postfix) with ESMTP id 67A585A3; Sun, 28 Feb 2021 09:56:54 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Sun, 28 Feb 2021 09:56:54 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=782KU7 FtcV9VAbOEc47VnKe1z6z5fBgcfhkg54o08c8=; b=PgIxRFtENQopyi1W6OxA2Q KcOnwMdiZrG2aimNG0rMvwzNMExOQMjjgkRuwVSsT4FiwhFo5oB1/Kl3XLLmVTwm /YHdGPg4M+nhOY+KBXDxUllcKQ1zJ/XEdkvv//m/mOKpE7QicVW5LeA46eLVs/Ax psEee0H5RO/N6WTN6tfI5YHwqUf9MN9UVEq0LuG7PF46TZr3GVf6wGjg0EPig9Po PF+kKoix1nuVtQIOSIjWck6J9oC2H5AIg2A+eBmNXClmPtiqmHZiDzJu/rrBLMn4 opxCSCgWXrE3VT0PKEt9jJmDBFG7n0VuHt0MnhpIRB+KIkw9yt5NK/tDVsiWdZKg == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduledrleeigdejvdcutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpeffhffvuffkfhggtggujgesthdtredttddtvdenucfhrhhomheprfgvkhhkrgcu gfhnsggvrhhguceophgvnhgsvghrghesihhkihdrfhhiqeenucggtffrrghtthgvrhhnpe fgffegkeettedvjeeludefleelueduiefgvedvieelleduheeiudeghfelhedvueenucfk phepiedvrdejkedrudejledrudefudenucevlhhushhtvghrufhiiigvpedtnecurfgrrh grmhepmhgrihhlfhhrohhmpehpvghnsggvrhhgsehikhhirdhfih X-ME-Proxy: Received: from localhost (62-78-179-131.bb.dnainternet.fi [62.78.179.131]) by mail.messagingengine.com (Postfix) with ESMTPA id 95DA5240054; Sun, 28 Feb 2021 09:56:51 -0500 (EST) Date: Sun, 28 Feb 2021 16:56:49 +0200 From: Pekka Enberg To: Julia Lawall Cc: Guo Ren , Palmer Dabbelt , Patrick =?iso-8859-1?Q?St=E4hlin?= , Pekka Enberg , linux-kernel@vger.kernel.org, kbuild-all@lists.01.org Subject: Re: [PATCH] riscv: fix bugon.cocci warnings Message-ID: <20210228145649.GA453839@nero> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, Feb 28, 2021 at 12:10:22PM +0100, Julia Lawall wrote: > From: kernel test robot > > Use BUG_ON instead of a if condition followed by BUG. > > Generated by: scripts/coccinelle/misc/bugon.cocci > > Fixes: c22b0bcb1dd0 ("riscv: Add kprobes supported") > CC: Guo Ren > Reported-by: kernel test robot > Signed-off-by: kernel test robot > Signed-off-by: Julia Lawall Reviewed-by: Pekka Enberg