如何在CIL活性分析输出中打印行号

Question

有没有办法在CIL活性模块的输出中添加行号而不是基本块号。我试图在liveness.ml中编辑此代码，但每次都会出错：

let print_everything () =
 let d = IH.fold (fun i vs d -> 
d ++ num i ++ text ": " ++ LiveFlow.pretty () vs) 
  LiveFlow.stmtStartData nil in
 ignore(printf "%t" (fun () -> d))  

这是C代码的活跃度分析的示例输出：

1: byteinp(int ),ClrReqReceived(int ),
2: byteinp(int ),ClrReqReceived(int ),data(int ),ByteCount(int ),
3: byteinp(int ),ByteCount(int ),

我想要报告实时变量的C代码行号而不是基本块号。