From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 2314B4192E1 for ; Wed, 10 Jun 2026 15:04:14 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781103855; cv=none; b=fXoVWAEZjRQH0UbgENkMcfl7uXU4jBt++vRO4Yqh8SxolWVtaqFAKyKLWfNZYR+CoyodEBkq6NraSULr9lkMsa8s1Yp4FABpB8urXwPUobKuy+IaKSiaNARvEQF3J9euZMUEQyLAJ6/KR439l7XnJw8vNbvgP964KpWsV9dWJ28= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781103855; c=relaxed/simple; bh=zEGei+1octJ/5faqtzj3TixGq6wfkFVyGs4Gckx9pgo=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=AdvyqyxjbSwQNAQQrmy6021qtsgHBCiR+XHxtgjma3bz6qlT5AwBzEwnevtyyw8ZsKB5RgPbnyWL4LMLqkipyY/y4ya3hNkq0kkqE0XaTj448sMyj4Yv2eEa/muCThPe7ArvaRp+5+CffX6hFr5W3CM7IJLiqLq6T1EtbKjgaoY= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=Xt/4hMiv; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=Owqb4dCJ; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="Xt/4hMiv"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="Owqb4dCJ" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1781103853; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=zEGei+1octJ/5faqtzj3TixGq6wfkFVyGs4Gckx9pgo=; b=Xt/4hMivQUkJOiV3hsX9zCuJEvuhU0l0Xsj6q9k6lHrzIhSneZtGE9x+FtV3eo/qAQEw6j HfiEzLbPMud/c0trDwyZR/ffkb4vLUwCxV55o4YOhblyXkH8l2t7OEkzbxc1wzX9sDnoPM 8nRpGOu/m+iMOpMvrC2GbMJlbjvmhNc= Received: from mail-ej1-f69.google.com (mail-ej1-f69.google.com [209.85.218.69]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-384-AP0_duWFPsqBvuq5EgGTqg-1; Wed, 10 Jun 2026 11:04:11 -0400 X-MC-Unique: AP0_duWFPsqBvuq5EgGTqg-1 X-Mimecast-MFC-AGG-ID: AP0_duWFPsqBvuq5EgGTqg_1781103850 Received: by mail-ej1-f69.google.com with SMTP id a640c23a62f3a-beddb45de58so598959766b.1 for ; Wed, 10 Jun 2026 08:04:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1781103850; x=1781708650; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=zEGei+1octJ/5faqtzj3TixGq6wfkFVyGs4Gckx9pgo=; b=Owqb4dCJcmxEE2by+SBQFIxca8xtkZ0N1U2pDoHfz/h7TGNKvkNSlggotbzZ6YwEqF nzgl4HD4cEpEl2q8WzXZmcCawfsiQK8+3IpZFQaxzSK949EnYT2ni554Zdc7/4+A1iJX 04FbzHx6GKpn1IV8NRATdaXFpONaK7P/mdHjYSzHsc3oiBjFZLRgWbwcIvah5NmykX4g n0aqrvLIEC48GNwa6n4Zdso5YhC+OLbLMphl4gHi1fHm2+D8FiS9AtH5d0U5usjE3Z0H b24pccD8OwkVKJFintK+3+oNenvB+p2opGj1iIBq8w0FIkrQlbKZJC9IjFrRlrgCAk70 g43g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781103850; x=1781708650; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=zEGei+1octJ/5faqtzj3TixGq6wfkFVyGs4Gckx9pgo=; b=J1FSDp4GGSTImY4/JWo4UH5zDe+n8s+yq5CPJhJfUcTJ1ifXzHrL+OM4YpXq4BinH5 0xsOpjKyVxbw6aGWLirXA7JH4YBn3ShYftEuXlB5aPSvogQbGzNGRSS9snOIg/zUCp3E LhL7x9s8+qUPTizU2OFEf3OUiaKCA5GRCmVgVqT3B4crZPS3crTwUe+nER+mEsRwI0Vu G7ygHD4y/i/l703CK2DbiyhVEJD17VoDaYNUuf1iFW3InYr34PTYziOvpPt/LQCObHsp OYhjZXHp3TOtYKqOVPMq3ILJXcrUs/VshUWKFOwV57W4A0MZZv/ee3gMzULNu8IP2Zc9 lE5g== X-Forwarded-Encrypted: i=1; AFNElJ/lmpclt53GMkjCSf8DQzuinkRXEiYqgshFgycdc3a2Lka5zztYcFpD4UITc0gqj0MVVH5dznDQts+GcpQ=@vger.kernel.org X-Gm-Message-State: AOJu0YxhQYS1dq3dBZiN8GGyd26qqoDGOtVxIzJre54xxWTP6JY6zmd5 +jQdP7eM/IYR2EO0aA36Dv3PdNlVNzzuSYvncdvCfkFkv3mKjaXikVbJCc/nIsYN13cYHHeBQ8P sxrmgeU7xpkySlxNgyESjYIAwuh1qeHkGZz4Gbmi1x6WzwL14WMimjsCFeJ/P7dkdGQ== X-Gm-Gg: Acq92OEnom8xwzSBW4t2KKAnaiHM3J5zSaJnSDqls+FasZtgOybynKWTfaG8MQcmo8c vohSitnQ63HbAuD42qWqoqMmgkWZZugY5NLBIck/mNq3+6T1O9s9NMfR8xT4N7+pgwz3Ewu0Wm4 aT9BkJbMWZIrP28yq+4i9x47E6Pcl2Yx0HBTof6R4jlN1PyurSNp4zei1wi3gabZHqXimp8TjQ2 Xh8GzpU1tywoZnKhkNVCChW+HriUifcBBtNQ3pUnwxVPX8leKirlwpS/buWW1ODgebTBOFR0tCq DfviUuOMvr7asSxk+SnJFwfISVTsWvtIhUmjCSUDmQLPTYBYrV0+8aoDMY9vNSwj0Gq95w3M5Ei Cd9xLLUZfPj2PDtNDTysDyencZLYws0kWRz1e X-Received: by 2002:a17:907:3d16:b0:bd4:8b66:c374 with SMTP id a640c23a62f3a-bf36ff8e279mr1278855466b.9.1781103850235; Wed, 10 Jun 2026 08:04:10 -0700 (PDT) X-Received: by 2002:a17:907:3d16:b0:bd4:8b66:c374 with SMTP id a640c23a62f3a-bf36ff8e279mr1278851666b.9.1781103849638; Wed, 10 Jun 2026 08:04:09 -0700 (PDT) Received: from [192.168.1.167] ([185.168.96.228]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-4601f2e4b18sm56936769f8f.10.2026.06.10.08.04.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 10 Jun 2026 08:04:09 -0700 (PDT) Message-ID: Subject: Re: [PATCH v3 09/13] verification/rvgen: Delete __parse_constraint() From: Gabriele Monaco To: Nam Cao Cc: Steven Rostedt , Wander Lairson Costa , linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org Date: Wed, 10 Jun 2026 17:04:08 +0200 In-Reply-To: <8d9b9068a5dde8256edd7debe7aab33e15a7fc51.1780908661.git.namcao@linutronix.de> References: <8d9b9068a5dde8256edd7debe7aab33e15a7fc51.1780908661.git.namcao@linutronix.de> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.60.2 (3.60.2-1.fc44) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 T24gTW9uLCAyMDI2LTA2LTA4IGF0IDEwOjU3ICswMjAwLCBOYW0gQ2FvIHdyb3RlOgo+IC3CoMKg wqAgZGVmIF9fdmFsaWRhdGVfY29uc3RyYWludChzZWxmLCBrZXk6IHR1cGxlW2ludCwgaW50XSB8 IGludCwKPiBjb25zdHI6IHN0ciwKPiAtwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBydWxlLCByZXNldCkgLT4gTm9uZToKPiAtwqDCoMKg wqDCoMKgwqAgIyBldmVudCBjb25zdHJhaW5zIGFyZSB0dXBsZXMgYW5kIGFsbG93IGJvdGggcnVs ZXMgYW5kIHJlc2V0Cj4gLcKgwqDCoMKgwqDCoMKgICMgc3RhdGUgY29uc3RyYWludHMgYXJlIG9u bHkgdXNlZCBmb3IgZXhwaXJhdGlvbnMgKGUuZy4KPiBjbGs8TikKPiAtwqDCoMKgwqDCoMKgwqAg aWYgc2VsZi5pc19ldmVudF9jb25zdHJhaW50KGtleSk6Cj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKg wqAgaWYgbm90IHJ1bGUgYW5kIG5vdCByZXNldDoKPiAtwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgIHJhaXNlIEF1dG9tYXRhRXJyb3IoIlVucmVjb2duaXNlZCBldmVudCBjb25zdHJhaW50 ICIKPiAtwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoAo+IGYiKHtzZWxmLnN0YXRlc1trZXlbMF1dfS97c2VsZi5ldmVu dHNba2V5WzFdXX06IHtjb25zdHJ9KSIpCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaWYgcnVs ZSBhbmQgKHJ1bGVbImVudiJdIGluIHNlbGYuZW52X3R5cGVzIGFuZAo+IC3CoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgcnVsZVsiZW52Il0gbm90IGluIHNl bGYuZW52X3N0b3JlZCk6Cj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCByYWlzZSBB dXRvbWF0YUVycm9yKCJDbG9ja3MgaW4gaHlicmlkIGF1dG9tYXRhCj4gYWx3YXlzIHJlcXVpcmUg YSBzdG9yYWdlIgo+IC3CoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGYiICh7cnVsZVsiZW52Il19KSIpCj4gLcKgwqDC oMKgwqDCoMKgIGVsc2U6Cj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaWYgbm90IHJ1bGU6Cj4g LcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCByYWlzZSBBdXRvbWF0YUVycm9yKCJVbnJl Y29nbmlzZWQgc3RhdGUgY29uc3RyYWludCAiCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgZiIoe3NlbGYuc3Rh dGVzW2tleV19Ogo+IHtjb25zdHJ9KSIpCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaWYgcnVs ZVsiZW52Il0gbm90IGluIHNlbGYuZW52X3N0b3JlZDoKPiAtwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgIHJhaXNlIEF1dG9tYXRhRXJyb3IoIlN0YXRlIGNvbnN0cmFpbnRzIGFsd2F5cwo+ IHJlcXVpcmUgYSBzdG9yYWdlICIKPiAtwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBmIih7cnVsZVsiZW52Il19KSIp CgpUaGlzIGZ1bmN0aW9uIHVzZWQgdG8gdmFsaWRhdGUgdGhpbmdzIHdlIGFyZSBubyBsb25nZXIg dmFsaWRhdGluZywgbm93IGl0J3MKYWxyaWdodCB0byBjcmVhdGUgYSBtb2RlbCB3aGVyZSBhIGNs b2NrIGlzIG5ldmVyIHJlc2V0LCB3aGljaCBkb2Vzbid0IGZ1bGx5Cm1ha2Ugc2Vuc2UuIFNob3Vs ZCB3ZSBhZGQgdGhhdCBjaGVjayBzb21ld2hlcmUgZWxzZT8KClRoYW5rcywKR2FicmllbGUKCj4g LcKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaWYgcnVsZVsib3AiXSBub3QgaW4gWyI8IiwgIjw9Il06 Cj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCByYWlzZSBBdXRvbWF0YUVycm9yKCJT dGF0ZSBjb25zdHJhaW50cyBtdXN0IGJlIGNsb2NrCj4gZXhwaXJhdGlvbnMgbGlrZSIKPiAtwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoCBmIiBjbGs8TiAoe3J1bGUuc3RyaW5nfSkiKQo+IC0K