From nobody Mon Feb 9 08:11:34 2026 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=fail; spf=none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org ARC-Seal: i=1; a=rsa-sha256; t=1568117181; cv=none; d=zoho.com; s=zohoarc; b=bpC6fXNxojEgYHtGgYsf8dkAXj8b3TB+QSvF/FavGCUn6fBKEl5mffZQzWS8tYLEbiKyAYiKcxLkYdhrLKSVuqAQj4V8807QTTnhjYRre1NdKUSwrKHomWxiIxUE2zu1VN7aNgoymDiynjUe0PPsQT0fuWsqHpnMiaTVwuvTmlM= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1568117181; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To:ARC-Authentication-Results; bh=IcqByV3LMCuwfCal7eI0YNlSYo3p7CrIo/y8jrluPRU=; b=Ast14/Fa/MOrzCWS7bwaVSGn+X018El9rSUvCKusUySrkkYVutLK/oXKXNXkJXxnWgTxSpME7G6u9GuEqM8Fc2UR88PLpjxuBEL8oj9JEna4oa7r7SJEGSCru9DPU4NlQPxfUlNVKrV6sAkHynNzk1/w/vEIkdEFuUEJ6nmMbQ8= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=fail; spf=none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1568117181850343.77000281950643; Tue, 10 Sep 2019 05:06:21 -0700 (PDT) Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1i7etC-0007ga-VS; Tue, 10 Sep 2019 12:04:54 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1i7etB-0007fm-G4 for xen-devel@lists.xenproject.org; Tue, 10 Sep 2019 12:04:53 +0000 Received: from esa6.hc3370-68.iphmx.com (unknown [216.71.155.175]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 31652ca8-d3c3-11e9-ac1c-12813bfff9fa; Tue, 10 Sep 2019 12:04:52 +0000 (UTC) X-Inumbo-ID: 31652ca8-d3c3-11e9-ac1c-12813bfff9fa DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1568117092; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version; bh=h/fM562KSuL0JIc6nYTX1M5txhX97wvqWpsaR1Idrg0=; b=gP+xzRSHAfMhl94LvD2l0H6tWMVPdgYfQ1odhFsd5nE1xFiK6RTsqrJe mm6qhjZwNmt8MxZz4WIOCVhZv1Cwpvr+ZA0pg1kX54I2cBys8xFLWHA2p f7KLlTQH+DWaK3kOTj5ZwivQlCyUgq7JlySLyeudA8Q+qGhSYy5B6Zc/k 0=; Authentication-Results: esa6.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none; spf=None smtp.pra=ian.jackson@eu.citrix.com; spf=Pass smtp.mailfrom=Ian.Jackson@citrix.com; spf=None smtp.helo=postmaster@mail.citrix.com Received-SPF: none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Received-SPF: None (esa6.hc3370-68.iphmx.com: no sender authenticity information available from domain of ian.jackson@eu.citrix.com) identity=pra; client-ip=162.221.158.21; receiver=esa6.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="ian.jackson@eu.citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa6.hc3370-68.iphmx.com: domain of Ian.Jackson@citrix.com designates 162.221.158.21 as permitted sender) identity=mailfrom; client-ip=162.221.158.21; receiver=esa6.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="Ian.Jackson@citrix.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:209.167.231.154 ip4:178.63.86.133 ip4:195.66.111.40/30 ip4:85.115.9.32/28 ip4:199.102.83.4 ip4:192.28.146.160 ip4:192.28.146.107 ip4:216.52.6.88 ip4:216.52.6.188 ip4:162.221.158.21 ip4:162.221.156.83 ~all" Received-SPF: None (esa6.hc3370-68.iphmx.com: no sender authenticity information available from domain of postmaster@mail.citrix.com) identity=helo; client-ip=162.221.158.21; receiver=esa6.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: zPN9RxdZYH9A8036UAd1ZldJJXJjq9gMiXm12pO1lYzBKMVTOaT1VXwL+Q35QLy0D0vw9UVJLe ZlzGiWSyvFzZEpSMrf14kQcTN3uhWtIgINUZxjlv6xGvdbUiurtBB2fLyKwC0GILYrbfLCvs6m x2UQ/oNAb9uiZGALvNdIVQlt5XEuJW7HpVLAUFg1Rsf/7GwqQOGW8e0h79vfbOzggvAiXt+27Z 12KBBxIJVM2W+Y2NwCq1ODXGFkAQXnCvDiz2CKQUfqZGEb1XG6g3I7uqgwuJM+1H9q3EC7WU+g 2Yk= X-SBRS: 2.7 X-MesageID: 5603664 X-Ironport-Server: esa6.hc3370-68.iphmx.com X-Remote-IP: 162.221.158.21 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.64,489,1559534400"; d="scan'208";a="5603664" From: Ian Jackson To: Date: Tue, 10 Sep 2019 13:02:03 +0100 Message-ID: <20190910120207.10358-9-ian.jackson@eu.citrix.com> X-Mailer: git-send-email 2.11.0 In-Reply-To: <20190910120207.10358-1-ian.jackson@eu.citrix.com> References: <20190910120207.10358-1-ian.jackson@eu.citrix.com> MIME-Version: 1.0 Subject: [Xen-devel] [PATCH v3 08/12] tools/ocaml: abi-check: Cope with multiple conversions of same type X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Andrew Cooper , Ian Jackson , Christian Lindig , Wei Liu , David Scott Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" X-ZohoMail-DKIM: fail (Header signature does not verify) Signed-off-by: Ian Jackson --- tools/ocaml/libs/xc/abi-check | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tools/ocaml/libs/xc/abi-check b/tools/ocaml/libs/xc/abi-check index 9450676429..abcd6ce6f1 100755 --- a/tools/ocaml/libs/xc/abi-check +++ b/tools/ocaml/libs/xc/abi-check @@ -27,6 +27,8 @@ our $ei; # followed by anotations of the following form: # /* ! OType OPrefix Mangle */ # /* ! CPrefix CFinal CFinalHow */ +# or, for subsequent invocations for the same OType, just +# /* ! OType */ # # The function definitions use /* ! */ which simply skips that instance. while () { @@ -42,6 +44,9 @@ while () { my @vals =3D split /\s+/, $1; if ($cline =3D=3D 1 && !@vals) { $cline =3D -1; + } elsif ($cline =3D=3D 1 && @vals =3D=3D 1) { + my ($otype) =3D @vals; + die "reference to undefined OType $otype" unless $enums{$otype= }; } elsif ($cline =3D=3D 1 && @vals =3D=3D 3) { $ei->{$_} =3D shift @vals foreach qw(OType OPrefix Mangle); } elsif ($cline =3D=3D 2 && @vals =3D=3D 3) { --=20 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel