Received: by 2002:a25:e74b:0:0:0:0:0 with SMTP id e72csp2445288ybh; Fri, 24 Jul 2020 13:03:13 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxexNH/6EgRtqcXB8Sfjp1u7lYcqSdg1wRMoYZeCYRCmSPuA0KZgLRJ82GJ7Ect8b82U9dA X-Received: by 2002:a17:907:94c9:: with SMTP id dn9mr10447751ejc.355.1595620993056; Fri, 24 Jul 2020 13:03:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1595620993; cv=none; d=google.com; s=arc-20160816; b=igzgq/JSwAKe3PUO8GiCpMUKleasKGBKUm/pXfi6r9l5NoPoDRy/+b+udVvz9upPK4 lUXme34/QsXJ5B/N3tE57JXPB0IB50shljRZ/t6HxA0EO/B1YQ7ZZmHBFaVzaH7ZtZZC NtXQL4cygOpeLfP9m0prw8ASkb67h4//kh3pbn0CfVXGigTf0COrEeXGiucZZZrXiqnM OPma8yoickr5j59NbptVfp86lX6Kqckungi+zoqxQ4cZEBBM8EyirI05JzgILf6FqaOy uMVq2QBWYrg726lEA1O+L8YoL5shrwSWKhBO+zKkjTV7WCz+Vh+7esZBDyc1GZBGcHa8 cUHw== 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=uXRJlV22qxzxKyp6+XHATaeLbp/+WFMcMU9oHNwzflo=; b=hZ7E4y0caAAlFU6k2BLjm1EhaE8+Q31O4NX4JhbWwzuZhG+1Vm7VJuU0Og3fFwSAWJ omTTk22ZWckx271QiByMepD7UKZfSycD36h07ZdWzpwD4qBJNZB/x1kg2S33yWrMcaIk GxMljXtq94yOesK2gRauGgaak4xbfwS6j22tmI/EbMvZBX3jEf/j8pCPmTan7SMSjV74 eeAoCtleI1dboAWeHXVclNTZgyCZ0u3KjsDJGfgd0l9iblXAcGS53v27rdZ5PUG2IMxv G44E52tSAtz0s8o+RDd48Xi6c7ZzkXj3A+5dVTSqK7AW6aBr0zUuuw0FiivYufapEscd 1New== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id i2si1099436edn.115.2020.07.24.13.02.51; Fri, 24 Jul 2020 13:03:13 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726711AbgGXUC0 (ORCPT + 99 others); Fri, 24 Jul 2020 16:02:26 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:16289 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726411AbgGXUCZ (ORCPT ); Fri, 24 Jul 2020 16:02:25 -0400 X-IronPort-AV: E=Sophos;i="5.75,391,1589234400"; d="scan'208";a="355246789" Received: from abo-173-121-68.mrs.modulonet.fr (HELO hadrien) ([85.68.121.173]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jul 2020 22:02:08 +0200 Date: Fri, 24 Jul 2020 22:02:07 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: Denis Efremov cc: cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org Subject: Re: [PATCH v3 0/3] Update memdup_user.cocci In-Reply-To: <20200720162216.13248-1-efremov@linux.com> Message-ID: References: <20200720162216.13248-1-efremov@linux.com> User-Agent: Alpine 2.22 (DEB 394 2020-01-19) 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 Mon, 20 Jul 2020, Denis Efremov wrote: > Add GFP_USER to the allocation flags and handle vmemdup_user(). > > Changes in v2: > - memdup_user/vmemdup_user matching suppressed > - PoC for selfcheck virtual rule > Changes in v3: > - add missing '-' for patch rule in kmalloc/kzalloc call args > - selfcheck rule dropped from patchset > > Denis Efremov (3): > coccinelle: api: extend memdup_user transformation with GFP_USER > coccinelle: api: extend memdup_user rule with vmemdup_user() > coccinelle: api: filter out memdup_user definitions All three applied. Thanks. julia > > scripts/coccinelle/api/memdup_user.cocci | 64 ++++++++++++++++++++++-- > 1 file changed, 61 insertions(+), 3 deletions(-) > > -- > 2.26.2 > >