From mboxrd@z Thu Jan  1 00:00:00 1970
From: mmarek@suse.com (Michal Marek)
Date: Thu, 19 May 2016 09:57:34 +0200
Subject: [Cocci] [PATCH] coccicheck: Fix missing 0 index in kill loop
In-Reply-To: <alpine.DEB.2.10.1605171633460.3068@hadrien>
References: <20160516125558.GA352@www.outflux.net> <573B2B89.7060004@imag.fr>
 <alpine.DEB.2.10.1605171633460.3068@hadrien>
Message-ID: <573D71EE.9000604@suse.com>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

Dne 17.5.2016 v 16:33 Julia Lawall napsal(a):
> 
> 
> On Tue, 17 May 2016, Nicolas Palix (LIG) wrote:
> 
>> Le 16/05/16 14:55, Kees Cook a ?crit :
>>> By default, "seq" counts from 1, but processes were starting counting
>>> from 0, so when interrupted, coccicheck would leave the 0th process
>>> running.
>>>
>>> Signed-off-by: Kees Cook <keescook@chromium.org>
>>
>> Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
> 
> Acked-by: Julia Lawall <julia.lawall@lip6.fr>

Applied to kbuild.git#misc.

Michal

From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1754019AbcESH5j (ORCPT <rfc822;w@1wt.eu>);
	Thu, 19 May 2016 03:57:39 -0400
Received: from mx2.suse.de ([195.135.220.15]:37807 "EHLO mx2.suse.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1753936AbcESH5h (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Thu, 19 May 2016 03:57:37 -0400
Subject: Re: [PATCH] coccicheck: Fix missing 0 index in kill loop
To: Julia Lawall <julia.lawall@lip6.fr>,
        "Nicolas Palix (LIG)" <Nicolas.Palix@imag.fr>
References: <20160516125558.GA352@www.outflux.net> <573B2B89.7060004@imag.fr>
 <alpine.DEB.2.10.1605171633460.3068@hadrien>
Cc: Kees Cook <keescook@chromium.org>, linux-kernel@vger.kernel.org,
        Gilles Muller <Gilles.Muller@lip6.fr>, cocci@systeme.lip6.fr
From: Michal Marek <mmarek@suse.com>
Message-ID: <573D71EE.9000604@suse.com>
Date: Thu, 19 May 2016 09:57:34 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.10.1605171633460.3068@hadrien>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

Dne 17.5.2016 v 16:33 Julia Lawall napsal(a):
> 
> 
> On Tue, 17 May 2016, Nicolas Palix (LIG) wrote:
> 
>> Le 16/05/16 14:55, Kees Cook a écrit :
>>> By default, "seq" counts from 1, but processes were starting counting
>>> from 0, so when interrupted, coccicheck would leave the 0th process
>>> running.
>>>
>>> Signed-off-by: Kees Cook <keescook@chromium.org>
>>
>> Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
> 
> Acked-by: Julia Lawall <julia.lawall@lip6.fr>

Applied to kbuild.git#misc.

Michal