From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-7.0 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, UNPARSEABLE_RELAY,URIBL_BLOCKED,USER_AGENT_GIT autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 9D290C433E7 for ; Thu, 16 Jul 2020 13:02:17 +0000 (UTC) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 2560B20739 for ; Thu, 16 Jul 2020 13:02:16 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 2560B20739 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=collabora.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=cocci-bounces@systeme.lip6.fr Received: from systeme.lip6.fr (systeme.lip6.fr [132.227.104.7]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 06GD1gSN025085; Thu, 16 Jul 2020 15:01:42 +0200 (CEST) Received: from systeme.lip6.fr (systeme.lip6.fr [127.0.0.1]) by systeme.lip6.fr (Postfix) with ESMTP id CEFA53F6C; Thu, 16 Jul 2020 15:01:42 +0200 (CEST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by systeme.lip6.fr (Postfix) with ESMTPS id B94913F6C for ; Thu, 16 Jul 2020 15:01:40 +0200 (CEST) Received: from bhuna.collabora.co.uk (bhuna.collabora.co.uk [46.235.227.227]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTPS id 06GD1dIj004933 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Thu, 16 Jul 2020 15:01:40 +0200 (CEST) Received: from [127.0.0.1] (localhost [127.0.0.1]) (Authenticated sender: jaskaran_singh) with ESMTPSA id 945942A570D From: Jaskaran Singh To: cocci@systeme.lip6.fr Date: Thu, 16 Jul 2020 18:29:51 +0530 Message-Id: <20200716130016.23729-1-jaskaran.singh@collabora.com> X-Mailer: git-send-email 2.21.3 MIME-Version: 1.0 X-Greylist: Sender IP whitelisted, Sender e-mail whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Thu, 16 Jul 2020 15:01:43 +0200 (CEST) X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Thu, 16 Jul 2020 15:01:40 +0200 (CEST) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 Subject: [Cocci] [PATCH 00/24] parsing_cocci: Add attributefn to the SmPL AST0 visitor X-BeenThere: cocci@systeme.lip6.fr X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: cocci-bounces@systeme.lip6.fr Errors-To: cocci-bounces@systeme.lip6.fr This patch series aims to add a public function for visiting attributes to the SmPL AST0 visitor. This is needed to support meta attributes. An AttributeTag constructor is also added due to dependencies, as well as to maintain consistency with the codebase. Jaskaran Singh (24): parsing_cocci: visitor_ast0: Add attributefn to SmPL AST0 visitor parsing_cocci: ast0toast: Reflect attributefn in AST0 visitor parsing_cocci: check_meta: Reflect attributefn in AST0 visitor parsing_cocci: function_prototypes: Reflect attributefn in AST0 visitor parsing_cocci: iso_compile: Reflect attributefn in AST0 visitor parsing_cocci: iso_pattern: Reflect attributefn in AST0 visitor parsing_cocci: parse_cocci: Reflect attributefn in AST0 visitor parsing_cocci: single_statement: Reflect attributefn in AST0 visitor parsing_cocci: unitary_ast0: Reflect attributefn in AST0 visitor parsing_cocci: ast0_cocci: Add AttributeTag to SmPL AST0 parsing_cocci: visitor_ast0: Reflect AttributeTag in SmPL AST0 parsing_cocci: iso_pattern: Reflect AttributeTag in SmPL AST0 parsing_cocci: unparse_ast0: Reflect AttributeTag in SmPL AST0 parsing_cocci: context_neg: Reflect AttributeTag in SmPL AST0 parsing_cocci: insert_plus: Reflect AttributeTag in SmPL AST0 parsing_cocci: ast_cocci: Add AttributeTag to the SmPL AST parsing_cocci: pretty_print_cocci: Reflect AttributeTag in SmPL AST parsing_c: unparse_cocci: Reflect AttributeTag in SmPL AST parsing_cocci: visitor_ast: Reflect AttributeTag in SmPL AST parsing_cocci: ast0toast: Reflect AttributeTag in the SmPL ASTs ocaml: coccilib: Reflect AttributeTag in the SmPL ASTs parsing_cocci: context_neg: Reflect attributefn in AST0 visitor parsing_cocci: insert_plus: Reflect attributefn in AST0 visitor tools: spgen: Reflect attributefn in AST0 visitor ocaml/coccilib.mli | 2 ++ parsing_c/unparse_cocci.ml | 1 + parsing_cocci/ast0_cocci.ml | 2 ++ parsing_cocci/ast0_cocci.mli | 2 ++ parsing_cocci/ast0toast.ml | 5 +++-- parsing_cocci/ast0toast.mli | 1 + parsing_cocci/ast_cocci.ml | 2 ++ parsing_cocci/ast_cocci.mli | 1 + parsing_cocci/check_meta.ml | 4 ++-- parsing_cocci/context_neg.ml | 23 +++++++++++++++++------ parsing_cocci/function_prototypes.ml | 6 +++--- parsing_cocci/insert_plus.ml | 18 ++++++++++++++---- parsing_cocci/iso_compile.ml | 2 +- parsing_cocci/iso_pattern.ml | 17 +++++++++++------ parsing_cocci/parse_cocci.ml | 2 +- parsing_cocci/pretty_print_cocci.ml | 1 + parsing_cocci/single_statement.ml | 2 +- parsing_cocci/unitary_ast0.ml | 2 +- parsing_cocci/unparse_ast0.ml | 1 + parsing_cocci/visitor_ast.ml | 2 ++ parsing_cocci/visitor_ast0.ml | 24 ++++++++++++++++++++---- parsing_cocci/visitor_ast0.mli | 2 ++ parsing_cocci/visitor_ast0_types.ml | 6 ++++++ parsing_cocci/visitor_ast0_types.mli | 6 ++++++ tools/spgen/source/detect_patch.ml | 3 ++- tools/spgen/source/meta_variable.ml | 3 ++- tools/spgen/source/rule_body.ml | 3 ++- 27 files changed, 109 insertions(+), 34 deletions(-) _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci