diff --git a/facebook-clang-plugins b/facebook-clang-plugins index 189047104..248d630ea 160000 --- a/facebook-clang-plugins +++ b/facebook-clang-plugins @@ -1 +1 @@ -Subproject commit 18904710494629ff27a5350d715f3a2a228970b6 +Subproject commit 248d630ea8a64a01ca56ccb87f97acd707610660 diff --git a/infer/src/checkers/accessPath.ml b/infer/src/checkers/accessPath.ml index 261ce58a9..5f10a9946 100644 --- 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