From 22f9d23b5acc3fc379a346a4a4b68c96dc3cc7b5 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 23 Mar 2020 18:30:16 +0100
Subject: [PATCH] [printer] print_sid is for Cil_printer as well as for
Printer.
---
src/kernel_services/ast_printing/cil_printer.ml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/kernel_services/ast_printing/cil_printer.ml b/src/kernel_services/ast_printing/cil_printer.ml
index f1b5ab00c66..2b8c620ea6b 100644
--- a/src/kernel_services/ast_printing/cil_printer.ml
+++ b/src/kernel_services/ast_printing/cil_printer.ml
@@ -1180,6 +1180,9 @@ class cil_printer () = object (self)
method annotated_stmt (next: stmt) fmt (s: stmt) =
pp_open_hvbox fmt 0;
+ if Kernel.is_debug_key_enabled Kernel.dkey_print_sid then begin
+ Format.fprintf fmt "/* sid:%d */@\n" s.sid;
+ end;
(* print the statement. *)
if Cil.is_skip s.skind && not s.ghost && s.sattr = [] then begin
if verbose || s.labels <> [] then begin
--
GitLab