[quandary] faster access list comparisons

Summary: Using address equality check to short-circuit comparison of equal lists faster + kill use of `next`. Reviewed By: jeremydubreil Differential Revision: D4189581 fbshipit-source-id: bdf5d1e
8 years ago · 37610b5180
parent b320714edd
commit 37610b5180
2 changed files with 4 additions and 2 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 18904710494629ff27a5350d715f3a2a228970b6
+Subproject commit 248d630ea8a64a01ca56ccb87f97acd707610660
--- a/infer/src/checkers/accessPath.ml
+++ b/infer/src/checkers/accessPath.ml
@ -61,7 +61,9 @@ let raw_compare ((base1, accesses1) as ap1) ((base2, accesses2) as ap2) =
    let n = base_compare base1 base2 in
    if n <> 0
    then n
-    else (IList.compare access_compare) accesses1 accesses2
+    else if accesses1 == accesses2
+    then 0
+    else IList.compare access_compare accesses1 accesses2

 let raw_equal ap1 ap2 =
  raw_compare ap1 ap2 = 0