[Cocci] C parse error: multiplication with pointer dereference

Coccinelle Archive on lore.kernel.org
 help / color / mirror / Atom feed

* [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