Parameter attributes are added to the SmPL AST. Reflect these changes in
disjdistr.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
parsing_cocci/disjdistr.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/parsing_cocci/disjdistr.ml b/parsing_cocci/disjdistr.ml
index 6724bb25..c868cb1c 100644
--- a/parsing_cocci/disjdistr.ml
+++ b/parsing_cocci/disjdistr.ml
@@ -259,10 +259,10 @@ and disjexp e =
and disjparam p =
match Ast.unwrap p with
- Ast.VoidParam(ty) -> [p] (* void is the only possible value *)
- | Ast.Param(ty,id) ->
+ Ast.VoidParam(ty,attr) -> [p] (* void is the only possible value *)
+ | Ast.Param(ty,id,attr) ->
disjmult2 (disjty ty) (disjoption disjident id)
- (fun ty id -> Ast.rewrap p (Ast.Param(ty,id)))
+ (fun ty id -> Ast.rewrap p (Ast.Param(ty,id,attr)))
| Ast.AsParam(pm,asexp) -> (* as exp doesn't contain disj *)
let pm = disjparam pm in
List.map (function pm -> Ast.rewrap p (Ast.AsParam(pm,asexp))) pm
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
