From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (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 8B92D43147; Fri, 5 Sep 2025 09:43:25 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=192.134.164.83 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1757065408; cv=none; b=rZOlJkZku9wdLWwBs2ksTFcijV+zdZ+ocCLa+FT/Xka7jAT8HSHlQ4ShYFu22W0nz1qFECUDYjTxtF7JXiKpRwHRKCZ23jZ610ymvZEefCvBnBixKUXF0ERtAa09hwNQvuH8ycly4gal9qOGlpUYtu9T4BPcpYo4mR+ebNHikEc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1757065408; c=relaxed/simple; bh=EgNRae1Oxp08ek00sKNY6V7atdD+jKhycTMmppxqU0M=; h=Date:From:To:cc:Subject:In-Reply-To:Message-ID:References: MIME-Version:Content-Type; b=SKAMMF9RucrGQ+rkVmh/HLMNG0U4pWJ3X1Tct3sx+XP95ZAzCMgnK7mWQeiPwuZT3QpcQnPnwTEa2GEbZBtLiHdJSU/Zh00G6EXj3zWC2ngmwPTRocFQf2Tu9s/DG9JEfVmDeBexL427BLFqT1Fhkj9E0WTFRXcSTpoWhZUkzEg= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=inria.fr; spf=pass smtp.mailfrom=inria.fr; dkim=pass (1024-bit key) header.d=inria.fr header.i=@inria.fr header.b=fE3LFOOF; arc=none smtp.client-ip=192.134.164.83 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=inria.fr Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=inria.fr Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=inria.fr header.i=@inria.fr header.b="fE3LFOOF" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:subject:in-reply-to:message-id: references:mime-version; bh=qjDMlR820tFBEhIlW52LN6YMtOAXMSSbrvE9DaKH11M=; b=fE3LFOOFjvW8jmXGhS6mOvTib2UKaUl7Xyj09cauR0IuiRoa8xHgcFUX ZhsIRQSj/n/QGtFK83NTa5UvCMvuBlZPD4QRegTaoN2+FcBOFGKYsgkNE EOPAmxaQ7+UtYpTnpmrN9RjuA0nG8dhTlPHOo4zUK/ycTOssRB9Rkn5PU A=; X-CSE-ConnectionGUID: /WQY4bALRvepvsRnZZROKQ== X-CSE-MsgGUID: hkoij3PeRQGduZquHfoiIw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=julia.lawall@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.18,240,1751234400"; d="scan'208";a="237673286" Received: from dt-lawall.paris.inria.fr ([128.93.67.65]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Sep 2025 11:42:15 +0200 Date: Fri, 5 Sep 2025 11:42:14 +0200 (CEST) From: Julia Lawall To: Markus Elfring cc: cocci@inria.fr, kernel-janitors@vger.kernel.org, LKML Subject: Re: [cocci] [RFC] Sharing data processing resources for selected SmPL scripts? In-Reply-To: Message-ID: References: Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII On Fri, 5 Sep 2025, Markus Elfring wrote: > Hello, > > I became curious if further developers would like to try the following script out > for the semantic patch language. > > > @display@ > identifier action; > type t; > @@ > *t * action(...) > { > ... when any when any is not useful here. > } > > > I interpret such a search approach in the way that it should extract some data > from a lot of source code places. > Thus I imagine that it results also in special software run time characteristics > which matter especially for big codebases like Linux. I guess it would be quite fast, because it will just find the deader of each function. julia > How do you think about to clarify corresponding data collections > and computation resources? > > Related source code analysis concerns can eventually be also clarified. > > * Handling of function declarations in header files > > * Relevance of some preprocessor directives > > > Regards, > Markus >