X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/f537ebc4bbd27866c9ac3e1198b6756ebab7f2ba..8babbc8f18fe06ec20e19630a1ec09e759c380e1:/parsing_cocci/disjdistr.ml diff --git a/parsing_cocci/disjdistr.ml b/parsing_cocci/disjdistr.ml index 4fb19e1..bcd2600 100644 --- a/parsing_cocci/disjdistr.ml +++ b/parsing_cocci/disjdistr.ml @@ -215,7 +215,7 @@ and disjparam p = and disjini i = match Ast.unwrap i with - Ast.MetaInit(_,_,_) -> [i] + Ast.MetaInit(_,_,_) | Ast.MetaInitList(_,_,_,_) -> [i] | Ast.InitExpr(exp) -> let exp = disjexp exp in List.map (function exp -> Ast.rewrap i (Ast.InitExpr(exp))) exp @@ -314,9 +314,10 @@ let rec disj_rule_elem r k re = (function decl -> Ast.rewrap re (Ast.Decl(bef,allminus,decl))) | Ast.SeqStart(brace) -> re | Ast.SeqEnd(brace) -> re - | Ast.ExprStatement(exp,sem) -> + | Ast.ExprStatement(Some exp,sem) -> orify_rule_elem re exp - (function exp -> Ast.rewrap re (Ast.ExprStatement(exp,sem))) + (function exp -> Ast.rewrap re (Ast.ExprStatement(Some exp,sem))) + | Ast.ExprStatement(None,sem) -> re | Ast.IfHeader(iff,lp,exp,rp) -> orify_rule_elem re exp (function exp -> Ast.rewrap re (Ast.IfHeader(iff,lp,exp,rp)))