On 23/08/14 21:33, Julia Lawall wrote:
> From: Julia Lawall
>
> Delete successive assignments to the same location.
>
> In the second case, = is converted to |=, which looks appropriate based on
> the values involved.
>
> A simplified version of the semantic match that finds this problem is as
From: Julia Lawall
Delete successive assignments to the same location.
In the second case, = is converted to |=, which looks appropriate based on
the values involved.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
//
@@
expressio
2 matches
Mail list logo
