> Unfortunately, the software version “1.0.6-00186-g0acd38ee” does not like this
> SmPL specification.
I overlooked to add parentheses in my evolving SmPL script.
@duplicated_code@
identifier work;
statement s1, s2;
statement list sl;
type T;
@@
T work(...)
{
... when any
(
*if ((...) < 0) {
* s1
* s2
...
*}
&{
sl
}
)
...
(
*if ((...) < 0) {
* s1
* s2
...
*}
&{
sl
}
)
...
}
The following command does not show the expected source code analysis results
at the moment.
elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch.opt
show_same_statements2.cocci ../Probe/hdsp-excerpt1.c
Is there any more clarification needed for the use of SmPL conjunctions?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
