Le 29.05.2019 22:26, Timur Tabi a écrit :
On Wed, May 29, 2019 at 2:33 PM Timur Tabi <[email protected]> wrote:
minus: parse error:
File "/home/ttabi/boardobj.cocci", line 14, column 1, charpos = 135
around = '|',
whole content = |
I did some reading of the documentation and came up with this. I
think it's in improvement, but it still doesn't work.
@@
identifier func;
fresh identifier label = func ## "_exit";
type T;
expression x;
statement S;
@@
func(...) {
<+...
x =
(
(T)
\(MACRO1\|MACRO2\|MACRO3\)
|
\(MACRO1\|MACRO2\|MACRO3\)
)
(...);
(
if (x == NULL) S
|
+if (x == NULL)
+{
+ status = ERROR;
+ goto label;
+}
)
...+>
}
This gives me:
21: no available token to attach to
So it looks like the "\(MACRO1\|MACRO2\|MACRO3\)" isn't correct, but I
don't see what's wrong with it.
The + code has to be adjacent to some - or context code. So you may
need to duplicate some code in the different branches of the
disjunction.
Juĺia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
