[PATCH 4/11] arch/x86/kvm/vmx.c: trivial: use BUG_ON

2011-08-02 Thread Julia Lawall
From: Julia Lawall ju...@diku.dk Use BUG_ON(x) rather than if(x) BUG(); The semantic patch that fixes this problem is as follows: (http://coccinelle.lip6.fr/) // smpl @@ identifier x; @@ -if (x) BUG(); +BUG_ON(x); @@ identifier x; @@ -if (!x) BUG(); +BUG_ON(!x); // /smpl Signed-off-by: Julia

Re: [PATCH 4/11] arch/x86/kvm/vmx.c: trivial: use BUG_ON

2011-08-02 Thread Marcelo Tosatti
On Tue, Aug 02, 2011 at 12:34:57PM +0200, Julia Lawall wrote: From: Julia Lawall ju...@diku.dk Use BUG_ON(x) rather than if(x) BUG(); The semantic patch that fixes this problem is as follows: (http://coccinelle.lip6.fr/) // smpl @@ identifier x; @@ -if (x) BUG(); +BUG_ON(x); @@