Parameter attributes are added to the SmPL AST. Reflect these changes in
type_infer.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
parsing_cocci/type_infer.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/parsing_cocci/type_infer.ml b/parsing_cocci/type_infer.ml
index e8aad810..495d7974 100644
--- a/parsing_cocci/type_infer.ml
+++ b/parsing_cocci/type_infer.ml
@@ -420,7 +420,7 @@ let rec propagate_types env =
Ast0.FunDecl(_,fninfo,name,lp,params,va,rp,lbrace,body,rbrace,_) ->
let rec get_binding p =
match Ast0.unwrap p with
- Ast0.Param(ty,Some id) ->
+ Ast0.Param(ty,Some id,attr) ->
List.map (function i -> (i,ty)) (strip id)
| Ast0.OptParam(param) -> get_binding param
| Ast0.AsParam(param,e) -> get_binding param
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
