On 20.07.19 18:39, Julia Lawall wrote:
> What version of Coccinelle of do you have? I get the correct output on
> this example:
>
> diff =
> --- attr.c
> +++ /tmp/cocci-output-153931-8de7ba-attr.c
> @@ -1,4 +1,4 @@
> int main()
> {
> - COCCI_REPLACE_THIS();
> + int x__attribute__((some_attr));
> }
>
> julia
>
I was running 1.0.4.deb-3build4, which is just what you get when you run
`apt install coccinelle` on Ubuntu bionic.
I just built the latest HEAD from GitHub and the bug indeed seems fixed.
Maybe a version bump of the Ubuntu repos would be appropriate?
Thanks,
Christoph
--
Christoph Böhmwalder
LINBIT | Keeping the Digital World Running
DRBD HA — Disaster Recovery — Software defined Storage
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
