On Mon, 16 Mar 2020, Jaskaran Singh wrote:
> ParenType and FunctionType are now added to the SmPL ASTs. Add
> cases for these types in compute_lines.ml.
>
> Signed-off-by: Jaskaran Singh
> ---
> parsing_cocci/compute_lines.ml | 11 +++
> 1 file changed, 11 insertions(+)
>
> diff --git a/parsing_cocci/compute_lines.ml b/parsing_cocci/compute_lines.ml
> index f4b6f4d8..8231a0e7 100644
> --- a/parsing_cocci/compute_lines.ml
> +++ b/parsing_cocci/compute_lines.ml
> @@ -574,6 +574,17 @@ and typeC t =
>let rp2 = normal_mcode rp2 in
>mkres t (Ast0.FunctionPointer(ty,lp1,star,rp1,lp2,params,rp2))
> ty (promote_mcode rp2)
> + | Ast0.ParenType(lp,ty,rp) ->
> + let lp = normal_mcode lp in
> + let rp = normal_mcode rp in
> + let ty = typeC ty in
> + mkres t (Ast0.ParenType(lp,ty,rp)) ty (promote_mcode rp)
The type is not the leftmost thing. So the third argument should be
(promote_mcode lp).
julia
> + | Ast0.FunctionType(ty,lp,params,rp) ->
> + let ty = typeC ty in
> + let lp = normal_mcode lp in
> + let params = parameter_list (Some(promote_mcode lp)) params in
> + let rp = normal_mcode rp in
> + mkres t (Ast0.FunctionType(ty,lp,params,rp)) ty (promote_mcode rp)
>| Ast0.Array(ty,lb,size,rb) ->
>let ty = typeC ty in
>let lb = normal_mcode lb in
> --
> 2.21.1
>
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci