Release coccinelle-0.2.2

[bpt/coccinelle.git] / parsing_c / type_annoter_c.ml

diff --git a/parsing_c/type_annoter_c.ml b/parsing_c/type_annoter_c.ml
index 60c504d..a55753a 100644 (file)
--- a/parsing_c/type_annoter_c.ml
+++ b/parsing_c/type_annoter_c.ml
@@ -1259,7 +1259,10 @@ let annotate_test_expressions prog =
     Visitor_c.kexpr = (fun (k,bigf) expr ->
       (match unwrap_expr expr with
        CondExpr(e,_,_) -> propagate_test e
-      |        _ -> ()
+      |        Binary(e1,Logical(AndLog),e2)
+      | Binary(e1,Logical(OrLog),e2) -> propagate_test e1; propagate_test e2
+      | Unary(e1,Not) -> propagate_test e1
+      | _ -> ()
       );
       k expr
     );