From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1751127AbeAAJgR (ORCPT <rfc822;ralf@linux-mips.org> + 1 other);
        Mon, 1 Jan 2018 04:36:17 -0500
Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:13561 "EHLO
        mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK)
        by vger.kernel.org with ESMTP id S1750819AbeAAJgQ (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Mon, 1 Jan 2018 04:36:16 -0500
X-IronPort-AV: E=Sophos;i="5.45,490,1508796000"; 
   d="scan'208";a="307305676"
Date: Mon, 1 Jan 2018 10:36:14 +0100 (CET)
From: Julia Lawall <julia.lawall@lip6.fr>
X-X-Sender: jll@hadrien
To: Masahiro Yamada <yamada.masahiro@socionext.com>
cc: =?ISO-8859-15?Q?J=E9r=E9my_Lefaure?= <jeremy.lefaure@lse.epita.fr>,
        Gilles Muller <Gilles.Muller@lip6.fr>,
        Nicolas Palix <nicolas.palix@imag.fr>,
        Michal Marek <michal.lkml@markovi.net>, cocci@systeme.lip6.fr,
        Linux Kernel Mailing List <linux-kernel@vger.kernel.org>
Subject: Re: [RESEND PATCH 1/1] Coccinelle: array_size: report even if include
 is missing
In-Reply-To: <CAK7LNAR6jAEgiGEQd+wuZng-MhXgbhuALuRTQpAGoMEP-bGxJQ@mail.gmail.com>
Message-ID: <alpine.DEB.2.20.1801011036010.2700@hadrien>
References: <20171229181423.23263-1-jeremy.lefaure@lse.epita.fr> <CAK7LNAR6jAEgiGEQd+wuZng-MhXgbhuALuRTQpAGoMEP-bGxJQ@mail.gmail.com>
User-Agent: Alpine 2.20 (DEB 67 2015-01-07)
MIME-Version: 1.0
Content-Type: multipart/mixed; BOUNDARY="8323329-1726572522-1514799374=:2700"
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
Return-Path: <linux-kernel-owner@vger.kernel.org>

--8323329-1726572522-1514799374=:2700
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT



On Mon, 1 Jan 2018, Masahiro Yamada wrote:

> 2017-12-30 3:14 GMT+09:00 Jérémy Lefaure <jeremy.lefaure@lse.epita.fr>:
> > Rule r does not depend on rule i (which is the include of
> > linux/kernel.h) so the output should not depend on i in
> > org and report mode.
> >
> > Signed-off-by: Jérémy Lefaure <jeremy.lefaure@lse.epita.fr>
> > Acked-by: Julia Lawall <julia.lawall@lip6.fr>
> > ---
>
>
> Applied to linux-kbuild/misc.  Thanks!

Thanks, and happy new year!

julia
--8323329-1726572522-1514799374=:2700--