X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/90aeb998d88488b4402e7b211b064056d175fcbb..690d68d19cb322bc18140b6406e298038dcf47f2:/parsing_cocci/adjust_pragmas.ml diff --git a/parsing_cocci/adjust_pragmas.ml b/parsing_cocci/adjust_pragmas.ml index 6c55d6d..93b1fa8 100644 --- a/parsing_cocci/adjust_pragmas.ml +++ b/parsing_cocci/adjust_pragmas.ml @@ -55,7 +55,13 @@ let update_after pragmas (info,x) = let rec right_decl d = match Ast0.unwrap d with - Ast0.Init(Some stg,ty,id,eq,ini,sem) -> + Ast0.MetaDecl(name,pure) -> + call_right right_mcode name d + (function name -> Ast0.MetaDecl(name,pure)) + | Ast0.MetaField(name,pure) -> + call_right right_mcode name d + (function name -> Ast0.MetaField(name,pure)) + | Ast0.Init(Some stg,ty,id,eq,ini,sem) -> call_right right_mcode sem d (function sem -> Ast0.Init(Some stg,ty,id,eq,ini,sem)) | Ast0.Init(None,ty,id,eq,ini,sem) -> @@ -185,6 +191,9 @@ let rec left_ty t = call_right left_ty ty t (function ty -> Ast0.Array(ty,lb,size,rb)) | Ast0.EnumName(kind,name) -> call_right left_mcode kind t (function kind -> Ast0.EnumName(kind,name)) + | Ast0.EnumDef(ty,lb,ids,rb) -> + call_right left_ty ty t + (function ty -> Ast0.EnumDef(ty,lb,ids,rb)) | Ast0.StructUnionName(kind,name) -> call_right left_mcode kind t (function kind -> Ast0.StructUnionName(kind,name)) @@ -241,7 +250,13 @@ let left_fundecl name fninfo = let rec left_decl decl = match Ast0.unwrap decl with - Ast0.Init(Some stg,ty,id,eq,ini,sem) -> + Ast0.MetaDecl(name,pure) -> + call_right right_mcode name decl + (function name -> Ast0.MetaDecl(name,pure)) + | Ast0.MetaField(name,pure) -> + call_right right_mcode name decl + (function name -> Ast0.MetaField(name,pure)) + | Ast0.Init(Some stg,ty,id,eq,ini,sem) -> call_right left_mcode stg decl (function stg -> Ast0.Init(Some stg,ty,id,eq,ini,sem)) | Ast0.Init(None,ty,id,eq,ini,sem) ->