[Cocci] Finding unstored return values with SmPL

[elfring@users.sourceforge.net (SF Markus Elfring)]

> You can use arguments like --show-trying and --debug to see
> where it is getting stuck, if that is the case.

How do you think about to try another analysis out with one
of your test systems?

"source file"|duration|comment|function
udev-rules.c|234.2|EXN:Common.Timeout|add_rule
udev-builtin-usb_id.c|234.4|EXN:Common.Timeout|builtin_usb_id
udev-builtin-net_id.c|13.0||
udev-builtin-input_id.c|45.1||
udevadm-monitor.c|168.5||
udevadm-control.c|240.0|EXN:Common.Timeout|adm_control
collect/collect.c|27.1||
cdrom_id/cdrom_id.c|234.4|EXN:Common.Timeout|main
ata_id/ata_id.c|252.5|EXN:Common.Timeout|main


I extended the corresponding SmPL script also with the
following specifications.

@show_unstored_return_values@
binary operator bo;
expression express;
?
statement es, is;
?
|
  if (allocation(...) bo express) is else es;
|
?


But I got the impression that this pattern extension is not matched
in my use case.
How should I improve my approach here?

Regards,
Markus