pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ppx_compate Cfg

Browse Source 
Reviewed By: cristianoc

Differential Revision: D4232409

fbshipit-source-id: 71bd578
master
Josh Berdine 9 years ago committed by Facebook Github Bot
parent da8cbe55fd
commit 0b605c694c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File

4
infer/src/IR/Cfg.re
Unescape View File

@ -265,7 +265,7 @@ let mark_unchanged_pdescs cfg_new cfg_old => {
/* nodes are the same if they have the same id, instructions, and succs/preds up to renaming /* nodes are the same if they have the same id, instructions, and succs/preds up to renaming
with [exp_map] and [id_map] */ with [exp_map] and [id_map] */
let node_eq (n1: Procdesc.Node.t) (n2: Procdesc.Node.t) => { let node_eq (n1: Procdesc.Node.t) (n2: Procdesc.Node.t) => {
let id_compare (n1: Procdesc.Node.t) (n2: Procdesc.Node.t) => let compare_id (n1: Procdesc.Node.t) (n2: Procdesc.Node.t) =>
try { try {
let n1_mapping = Procdesc.NodeMap.find n1 !node_map; let n1_mapping = Procdesc.NodeMap.find n1 !node_map;
Procdesc.Node.compare n1_mapping n2 Procdesc.Node.compare n1_mapping n2
@ -286,7 +286,7 @@ let mark_unchanged_pdescs cfg_new cfg_old => {
) )
instrs1 instrs1
instrs2; instrs2;
id_compare n1 n2 == 0 && compare_id n1 n2 == 0 &&
IList.equal Procdesc.Node.compare (Procdesc.Node.get_succs n1) (Procdesc.Node.get_succs n2) && IList.equal Procdesc.Node.compare (Procdesc.Node.get_succs n1) (Procdesc.Node.get_succs n2) &&
IList.equal Procdesc.Node.compare (Procdesc.Node.get_preds n1) (Procdesc.Node.get_preds n2) && IList.equal Procdesc.Node.compare (Procdesc.Node.get_preds n1) (Procdesc.Node.get_preds n2) &&
instrs_eq (Procdesc.Node.get_instrs n1) (Procdesc.Node.get_instrs n2) instrs_eq (Procdesc.Node.get_instrs n1) (Procdesc.Node.get_instrs n2)

Write Preview
Loading…
Cancel
Save