On 20180502@15:16, Michele Martone wrote:
> On 20180430@09:44, Peter Senna Tschudin wrote:
> > ...
> Dear Peter, thanks for the apt-get based recipe,
> it worked for me on debian buster with ocaml-4.0.5.
>
> Dear Julia, thanks for the pragma patch which will
> enable coccinelle to support OpenMP-enabled listings
> too (I just tested it on the above setup) :-)
>
> Michele
Dear Julia,
I have another similar minimal test spatch case failing, attached.
It seems like using
#pragma omp parallel for private(I)
breaks the semantic patch, while having
#pragma omp parallel for
is still ok.
Please see attachment.
I'm using self-built ocaml (e407ecf11 2018-05-25)
and coccinelle (a4532f08 2018-05-17).
would be very useful to have full #pragma resilience!
Michele
// seems like this example breaks:
// spatch version 1.0.6-00440-ga4532f08 compiled with OCaml version
4.08.0+dev0-2018-04-09
// (a4532f08 2018-05-17)
/*
pragma_ignored_again.cocci:
@@
symbol A,I,J;
@@
-A[I]
+A[J]
*/
void f(void)
{
int*A=NULL,I=0;
// pragma presence breaks semantic patch (remote private(i) to 'fix' it)
// comment it to have A[I] -> A[J]
#pragma omp parallel for private(I)
A[I]++;
}
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
