Macrodecl attributes are added to the C AST. Print these changes in pretty_print_c.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_c/pretty_print_c.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/parsing_c/pretty_print_c.ml b/parsing_c/pretty_print_c.ml index b9b9b929..4faa188d 100644 --- a/parsing_c/pretty_print_c.ml +++ b/parsing_c/pretty_print_c.ml @@ -1043,7 +1043,8 @@ and pp_string_format (e,ii) = pr_elem iivirg; - | MacroDecl ((sto, s, es, true), iis::lp::rp::iiend::ifakestart::iisto) -> + | MacroDecl + ((sto, s, es, attrs, true), iis::lp::rp::iiend::ifakestart::iisto) -> pr_elem ifakestart; iisto +> List.iter pr_elem; (* static and const *) pr_elem iis; @@ -1053,11 +1054,11 @@ and pp_string_format (e,ii) = opt +> List.iter pr_elem; pp_argument e; ); - pr_elem rp; pr_elem iiend; - | MacroDecl ((sto, s, es, false), iis::lp::rp::ifakestart::iisto) -> + | MacroDecl + ((sto, s, es, attrs, false), iis::lp::rp::ifakestart::iisto) -> pr_elem ifakestart; iisto +> List.iter pr_elem; (* static and const *) pr_elem iis; -- 2.21.1 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
