X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/113803cf8147c1b5332cc7d9ac43febcc197e4f0..0708f913629519b5dbc99f68b6f3ea5ab068230c:/parsing_cocci/parser_cocci_menhir.mly diff --git a/parsing_cocci/parser_cocci_menhir.mly b/parsing_cocci/parser_cocci_menhir.mly index 09fb8ad..a72182a 100644 --- a/parsing_cocci/parser_cocci_menhir.mly +++ b/parsing_cocci/parser_cocci_menhir.mly @@ -56,7 +56,7 @@ module P = Parse_aux %token TIf TElse TWhile TFor TDo TSwitch TCase TDefault TReturn %token TBreak TContinue TGoto TSizeof TFunDecl -%token TIdent TTypeId TDeclarerId TIteratorId +%token TIdent TTypeId TDeclarerId TIteratorId TPragma %token TMetaId TMetaFunc TMetaLocalFunc %token TMetaIterator TMetaDeclarer @@ -76,7 +76,7 @@ module P = Parse_aux %token TWhy TDotDot TBang TOPar TOPar0 %token TMid0 TCPar TCPar0 -%token TPragma TPathIsoFile +%token TPathIsoFile %token TIncludeL TIncludeNL %token TDefine %token TDefineParam @@ -681,7 +681,8 @@ defineop: { let (clt,ident,parenoff) = $1 in let (arity,line,lline,offset,col,strbef,straft,pos) = clt in let lp = - P.clt2mcode "(" (arity,line,lline,parenoff,0,[],[],Ast0.NoMetaPos) in + P.clt2mcode "(" + (arity,line,lline,parenoff,0,[],[],Ast0.NoMetaPos) in function body -> Ast0.wrap (Ast0.Define @@ -1290,7 +1291,7 @@ unary_expr(r,pe): { Ast0.wrap(Ast0.Infix ($2, P.clt2mcode Ast.Inc $1)) } | TDec unary_expr(r,pe) { Ast0.wrap(Ast0.Infix ($2, P.clt2mcode Ast.Dec $1)) } - | unary_op unary_expr(r,pe) + | unary_op cast_expr(r,pe) { let mcode = $1 in Ast0.wrap(Ast0.Unary($2, mcode)) } | TBang unary_expr(r,pe) { let mcode = P.clt2mcode Ast.Not $1 in