* [Cocci] [bug-cocci] Parse error
@ 2014-07-21 22:13 Riccardo Lucchese
2014-07-22 5:02 ` Julia Lawall
2014-07-22 15:22 ` Julia Lawall
0 siblings, 2 replies; 3+ messages in thread
From: Riccardo Lucchese @ 2014-07-21 22:13 UTC (permalink / raw)
To: cocci
Hello,
spatch fails to parse the following line
- if (!~e) S
in the attached .cocci test case.
Using
- if (!(~e)) S
instead, works fine.
Thanks,
riccardo
-------------- next part --------------
@@
identifier func;
expression e;
statement S;
@@
func(...) {
- if (!~e) S
}
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Cocci] [bug-cocci] Parse error
2014-07-21 22:13 [Cocci] [bug-cocci] Parse error Riccardo Lucchese
@ 2014-07-22 5:02 ` Julia Lawall
2014-07-22 15:22 ` Julia Lawall
1 sibling, 0 replies; 3+ messages in thread
From: Julia Lawall @ 2014-07-22 5:02 UTC (permalink / raw)
To: cocci
On Tue, 22 Jul 2014, Riccardo Lucchese wrote:
> Hello,
>
> spatch fails to parse the following line
>
> - if (!~e) S
>
> in the attached .cocci test case.
>
> Using
>
> - if (!(~e)) S
>
> instead, works fine.
Strange. I will look ino it.
julia
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Cocci] [bug-cocci] Parse error
2014-07-21 22:13 [Cocci] [bug-cocci] Parse error Riccardo Lucchese
2014-07-22 5:02 ` Julia Lawall
@ 2014-07-22 15:22 ` Julia Lawall
1 sibling, 0 replies; 3+ messages in thread
From: Julia Lawall @ 2014-07-22 15:22 UTC (permalink / raw)
To: cocci
On Tue, 22 Jul 2014, Riccardo Lucchese wrote:
> Hello,
>
> spatch fails to parse the following line
>
> - if (!~e) S
>
> in the attached .cocci test case.
>
> Using
>
> - if (!(~e)) S
>
> instead, works fine.
It should work if you put a space between ! and ~.
julia
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2014-07-22 15:22 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-07-21 22:13 [Cocci] [bug-cocci] Parse error Riccardo Lucchese
2014-07-22 5:02 ` Julia Lawall
2014-07-22 15:22 ` Julia Lawall
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.