On Tue, 10 Aug 2010, Lucas De Marchi wrote:

> On Tue, Aug 10, 2010 at 4:48 PM, Julia Lawall <[email protected]> wrote:
> > Here is a solution that stays at the SmPL level rather than resorting to
> > looking at the AST...
> 
> Couldn't test the first solution you give. Maybe some missing ocaml
> libraries. The second one is a very clever solution :-)
> 
> Unfortunately, it still misses one case:
> 
>     if ((a) && (!b) && c)
>         return 2;
> 
> It will not put parenthesis on "c".
> 
> > The important point is the rule three, that ignores &&s where the left
> > argument is another &&.
> 
> I think that case does not work exactly because of this rule :-\.

Oops, probably.  I will look into it.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to