From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753511Ab1HBKhC (ORCPT ); Tue, 2 Aug 2011 06:37:02 -0400 Received: from mgw2.diku.dk ([130.225.96.92]:59129 "EHLO mgw2.diku.dk" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753245Ab1HBKfR (ORCPT ); Tue, 2 Aug 2011 06:35:17 -0400 From: Julia Lawall To: Chris Metcalf , trivial@kernel.org Cc: kernel-janitors@vger.kernel.org, Andrew Morton , Peter Zijlstra , linux-kernel@vger.kernel.org Subject: [PATCH 11/11] arch/tile/mm/init.c: trivial: use BUG_ON Date: Tue, 2 Aug 2011 12:35:04 +0200 Message-Id: <1312281304-11847-12-git-send-email-julia@diku.dk> X-Mailer: git-send-email 1.7.1 In-Reply-To: <1312281304-11847-1-git-send-email-julia@diku.dk> References: <1312281304-11847-1-git-send-email-julia@diku.dk> Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org From: Julia Lawall Use BUG_ON(x) rather than if(x) BUG(); The semantic patch that fixes this problem is as follows: (http://coccinelle.lip6.fr/) // @@ identifier x; @@ -if (x) BUG(); +BUG_ON(x); @@ identifier x; @@ -if (!x) BUG(); +BUG_ON(!x); // Signed-off-by: Julia Lawall --- arch/tile/mm/init.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff -u -p a/arch/tile/mm/init.c b/arch/tile/mm/init.c --- a/arch/tile/mm/init.c +++ b/arch/tile/mm/init.c @@ -836,8 +836,7 @@ void __init mem_init(void) #endif #ifdef CONFIG_FLATMEM - if (!mem_map) - BUG(); + BUG_ON(!mem_map); #endif #ifdef CONFIG_HIGHMEM