[clang] bf5ea87 - [analyzer] In LivenessValues::equals also check liveBindings (#157645)

via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 9 04:23:50 PDT 2025


Author: Balazs Benics
Date: 2025-09-09T11:23:46Z
New Revision: bf5ea876ef04e6d34a49cf841f4b881ac9d5b15c

URL: https://github.com/llvm/llvm-project/commit/bf5ea876ef04e6d34a49cf841f4b881ac9d5b15c
DIFF: https://github.com/llvm/llvm-project/commit/bf5ea876ef04e6d34a49cf841f4b881ac9d5b15c.diff

LOG: [analyzer] In LivenessValues::equals also check liveBindings (#157645)

This was likely accidentally omitted when `liveBindings` was introduced.
I don't think in practice it matters.

Added: 
    

Modified: 
    clang/lib/Analysis/LiveVariables.cpp

Removed: 
    


################################################################################
diff  --git a/clang/lib/Analysis/LiveVariables.cpp b/clang/lib/Analysis/LiveVariables.cpp
index 375fdb3695e2f..db88d4f7ee0f7 100644
--- a/clang/lib/Analysis/LiveVariables.cpp
+++ b/clang/lib/Analysis/LiveVariables.cpp
@@ -128,7 +128,8 @@ LiveVariablesImpl::merge(LiveVariables::LivenessValues valsA,
 }
 
 bool LiveVariables::LivenessValues::equals(const LivenessValues &V) const {
-  return liveExprs == V.liveExprs && liveDecls == V.liveDecls;
+  return liveExprs == V.liveExprs && liveDecls == V.liveDecls &&
+         liveBindings == V.liveBindings;
 }
 
 //===----------------------------------------------------------------------===//


        


More information about the cfe-commits mailing list