[cocci] Test case consequences for a special SmPL disjunction

Hello,

I got into the mood to try another source code transformation out which
should be achievable also by the means of the semantic patch language.

@replacements@
expression adev, fwnode, x_name;
@@
(
-is_acpi_data_node(fwnode) ? (!strcmp(to_acpi_data_node(fwnode)->name, x_name)) : false
+acpi_data_node_match(fwnode, x_name)
|
- &adev->fwnode
+acpi_fwnode_handle(adev)
)


Questionable test result (according to the software combination “Coccinelle 1.3.0”):
Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> /usr/bin/spatch --parse-cocci use_selected_acpi_functions2.cocci
…
minus: parse error: 
  File "use_selected_acpi_functions2.cocci", line 8, column 9, charpos = 190
  around = 'fwnode',
  whole content = - &adev->fwnode


But I know that the elements from the affected SmPL disjunction would be accepted
if their SmPL code would be parsed separately.
https://elixir.bootlin.com/linux/v6.18-rc4/source/include/acpi/acpi_bus.h#L549-L559

Under which circumstances will data processing become better supported here?

Regards,
Markus