With extended support of attributes, parameter attributes are needed in the C AST so that the nocast test case does not break.
Add the p_attr field to parameter in the C AST. Signed-off-by: Jaskaran Singh <[email protected]> --- ocaml/coccilib.mli | 1 + parsing_c/ast_c.ml | 1 + parsing_c/ast_c.mli | 1 + 3 files changed, 3 insertions(+) diff --git a/ocaml/coccilib.mli b/ocaml/coccilib.mli index bc355512..5e31eec3 100644 --- a/ocaml/coccilib.mli +++ b/ocaml/coccilib.mli @@ -109,6 +109,7 @@ module Ast_c : p_namei : name option; p_register : bool wrap; p_type : fullType; + p_attr : attribute list; } and typeQualifier = typeQualifierbis wrap and typeQualifierbis = diff --git a/parsing_c/ast_c.ml b/parsing_c/ast_c.ml index b53c8060..204bd412 100644 --- a/parsing_c/ast_c.ml +++ b/parsing_c/ast_c.ml @@ -287,6 +287,7 @@ and fullType = typeQualifier * typeC { p_namei: name option; p_register: bool wrap; p_type: fullType; + p_attr: attribute list; } (* => (bool (register) * fullType) list * bool *) diff --git a/parsing_c/ast_c.mli b/parsing_c/ast_c.mli index 61935c18..5411bbb3 100644 --- a/parsing_c/ast_c.mli +++ b/parsing_c/ast_c.mli @@ -73,6 +73,7 @@ and parameterType = { p_namei : name option; p_register : bool wrap; p_type : fullType; + p_attr : attribute list; } and typeQualifier = typeQualifierbis wrap and typeQualifierbis = { const : bool; volatile : bool; } -- 2.21.1 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
