* [Cocci] C parse error: multiplication with pointer dereference
@ 2013-02-06 9:41 Michael Stefaniuc
2013-02-06 9:45 ` Julia Lawall
0 siblings, 1 reply; 2+ messages in thread
From: Michael Stefaniuc @ 2013-02-06 9:41 UTC (permalink / raw)
To: cocci
Hello!
I get this parse error for the attached test case:
spatch --parse-c foo.c 2>&1 | grep BAD
BAD:!!!!! return i * *j;
gcc -Wall -Werror has no issues with it.
thanks
bye
michael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: foo.c
Type: text/x-csrc
Size: 70 bytes
Desc: not available
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20130206/e922a328/attachment.bin>
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Cocci] C parse error: multiplication with pointer dereference
2013-02-06 9:41 [Cocci] C parse error: multiplication with pointer dereference Michael Stefaniuc
@ 2013-02-06 9:45 ` Julia Lawall
0 siblings, 0 replies; 2+ messages in thread
From: Julia Lawall @ 2013-02-06 9:45 UTC (permalink / raw)
To: cocci
On Wed, 6 Feb 2013, Michael Stefaniuc wrote:
> Hello!
>
> I get this parse error for the attached test case:
> spatch --parse-c foo.c 2>&1 | grep BAD
> BAD:!!!!! return i * *j;
>
> gcc -Wall -Werror has no issues with it.
It looks like a parsing hack gone wrong. We will look into it.
julia
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-02-06 9:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-02-06 9:41 [Cocci] C parse error: multiplication with pointer dereference Michael Stefaniuc
2013-02-06 9:45 ` Julia Lawall
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox