Received: by 2002:a17:90a:37e8:0:0:0:0 with SMTP id v95csp236927pjb; Thu, 3 Oct 2019 05:24:03 -0700 (PDT) X-Google-Smtp-Source: APXvYqwakMyvhmSzs8PVgDO9FUh61M1LTX+dMm02K9exdfnRTdbKHm/M2ksyf4SoGLJd9bBUCFR5 X-Received: by 2002:a50:b6aa:: with SMTP id d39mr8977320ede.16.1570105443552; Thu, 03 Oct 2019 05:24:03 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1570105443; cv=none; d=google.com; s=arc-20160816; b=H+XQIo4MnxEsmwDgsw3zLJ+3XJWZRbTtvrqtjTmsE7BhES9pYv4e8iRSEQvSzCTGEG 1AFnZadFiXmzS0ahtG7otfm3pYUkIfIEHYCKruILNxS9Ol8cGc9SiQZ4JC0Uyh/CvuuB b7O2aCzOhoCWr4gf+aAGtAVcY8DGzL9+J4x/43i7fSMfTSPNWvOoMBhcBsAdcZKSw1pa sUJd6RvMhMfH+o8+TvtbumsSyIYSTXP/9J1Paw0yTMd2dDLBp8Tv+n9h326TP844a9uA jak77Uon6XWE4rSHezI+0P611sMFaNv7XibRHXUNbd8f+VQUbu6gp+lAx8oiPxhIJSkP 2QRw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:mime-version:user-agent:references :message-id:in-reply-to:subject:cc:to:from:date; bh=anWmOD6DN6cjiC6clOn5X2xOmLLvRchsV4yR/sGkLHk=; b=btmpFsvA2md27LPKIAAw87cc+rGN0vA/YHdnrASg/mRpCHjmgkrXcgaQDAz0jrHQW8 VFQzw6H6o4uTsYxCyZqsPvXqS7FpkfkRNZIEy0YVTptOe2C9u8rkx9eMVCD9wOuDhnqS awxuu9r9ZUrZXwymyjxXnaoXAkD/RpXjQ2AaHJ/7TXyaOF6NyO7iEgQ4pA5wMS8gKbK5 YN6juxshtIt4dL4KyeKpmSz7H3XqWpzt0fYCWpAqCckgwXWHYmCEVIWoIYX11adZymah 9msdV73OLh/SsJ7aBPm6CFRKGqvvFATipdIJa7iJreBs9Xu3RJH8GfoAGuWjUo1w2QU/ l4bg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id n14si1215272edv.377.2019.10.03.05.23.39; Thu, 03 Oct 2019 05:24:03 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728999AbfJCMXB (ORCPT + 99 others); Thu, 3 Oct 2019 08:23:01 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:35884 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725827AbfJCMXA (ORCPT ); Thu, 3 Oct 2019 08:23:00 -0400 X-IronPort-AV: E=Sophos;i="5.67,252,1566856800"; d="scan'208";a="404566184" Received: from portablejulia.rsr.lip6.fr ([132.227.76.63]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Oct 2019 14:22:58 +0200 Date: Thu, 3 Oct 2019 14:22:58 +0200 (CEST) From: Julia Lawall X-X-Sender: julia@hadrien To: Masahiro Yamada cc: Yuehaibing , Gilles Muller , Nicolas Palix , Michal Marek , Matthias Maennich , Greg Kroah-Hartman , Linux Kernel Mailing List , Coccinelle Subject: Re: [RFC PATCH] scripts: Fix coccicheck failed In-Reply-To: Message-ID: References: <20190928094245.45696-1-yuehaibing@huawei.com> <2c109d6b-45ad-b3ca-1951-bde4dac91d2a@huawei.com> User-Agent: Alpine 2.21 (DEB 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, 3 Oct 2019, Masahiro Yamada wrote: > On Tue, Oct 1, 2019 at 10:01 PM Julia Lawall wrote: > > > diff --git a/scripts/coccinelle/misc/add_namespace.cocci b/scripts/coccinelle/misc/add_namespace.cocci > > > index c832bb6445a8..99e93a6c2e24 100644 > > > --- a/scripts/coccinelle/misc/add_namespace.cocci > > > +++ b/scripts/coccinelle/misc/add_namespace.cocci > > > @@ -6,6 +6,8 @@ > > > /// add a missing namespace tag to a module source file. > > > /// > > > > > > +virtual report > > > + > > > @has_ns_import@ > > > declarer name MODULE_IMPORT_NS; > > > identifier virtual.ns; > > > > > > > > > > > > Adding virtual report make the coccicheck go ahead smoothly. > > > > Acked-by: Julia Lawall > > > > > Was this patch posted somewhere? It was probably waiting for moderation in the cocci mailing list. Do you have it now (or in a few minutes)? julia