[Linux-kernel-mentees] [PATCH 20/32] parsing_c: ast_c: Add Cast attributes

Julia Lawall julia.lawall at inria.fr
Sun May 3 19:31:50 UTC 2020



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 <jaskaransingh7654321 at 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
>
>


More information about the Linux-kernel-mentees mailing list