On Tue, 28 Apr 2020, Jaskaran Singh wrote:
> Add cast attributes to the C AST. This is a list of attributes in the
> Cast type of the C AST.
>
> Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
> ---
> parsing_c/ast_c.ml | 2 +-
> parsing_c/ast_c.mli | 2 +-
> 2 files changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/parsing_c/ast_c.ml b/parsing_c/ast_c.ml
> index f25f9b55..6a828943 100644
> --- a/parsing_c/ast_c.ml
> +++ b/parsing_c/ast_c.ml
> @@ -343,7 +343,7 @@ and expression = (expressionbis * exp_info ref (*
> semantic: *)) wrap3
>
> | SizeOfExpr of expression
> | SizeOfType of fullType
> - | Cast of fullType * expression
> + | Cast of fullType * expression * attribute list
>
> (* gccext: *)
> | StatementExpr of compound wrap (* ( ) new scope *)
> diff --git a/parsing_c/ast_c.mli b/parsing_c/ast_c.mli
> index 8923a335..8a9a6f66 100644
> --- a/parsing_c/ast_c.mli
> +++ b/parsing_c/ast_c.mli
> @@ -104,7 +104,7 @@ and expressionbis =
> | RecordPtAccess of expression * name
> | SizeOfExpr of expression
> | SizeOfType of fullType
> - | Cast of fullType * expression
> + | Cast of fullType * expression * attribute list
Maybe it would make more sense to put the attribute list after the
fullType, as is done for the SmPL AST?
julia
> | StatementExpr of compound wrap
> | Constructor of fullType * initialiser
> | ParenExpr of expression
> --
> 2.21.1
>
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci