Re: [cocci] Searching for selected variable assignments (with SmPL)?

[Markus Elfring <Markus.Elfring@web.de>]

> We might not be able to continue a search directly after a known source code position.
> But I assume that it would be possible to direct a search repetition to the place
> which was determined before (according to a semicolon for example).

The initially mentioned SmPL script pointed the implementation of the function “arm_dt_init_cpu_maps”
(besides others) for further development considerations.
https://elixir.bootlin.com/linux/v6.17-rc4/source/arch/arm/kernel/devtree.c#L59-L165

I tried also the following SmPL script variant out.


@find@
expression e;
position place;
type t;
t * pointer;
@@
 pointer = e(...);@place

@display@
position find.place;
statement s;
type find.t;
t * find.pointer;
@@
*;@place
 if (!pointer)
    s
 ... when != pointer


Unfortunately, it does not present the known implementation details.

Questionable test result:
Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> /usr/bin/spatch --no-loops …/Projekte/Coccinelle/janitor/show_unused_addresses_from_variable_assignments.cocci arch/arm/kernel/devtree.c
…
[no diff output]


I would appreciate corresponding software improvements.

Regards,
Markus