Author: Yitzhak Mandelbaum Date: 2022-12-19T15:28:30Z New Revision: a18cf8d14f5552c13bd1cef112ba5b88a7fc75ff
URL: https://github.com/llvm/llvm-project/commit/a18cf8d14f5552c13bd1cef112ba5b88a7fc75ff DIFF: https://github.com/llvm/llvm-project/commit/a18cf8d14f5552c13bd1cef112ba5b88a7fc75ff.diff LOG: [clang][dataflow] Remove stray lines from `Environment::join` Removes an assertion and a useless line. The assertion seems left over from earlier debugging and the line that follows is a stray line. Differential Revision: https://reviews.llvm.org/D140306 Added: Modified: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp Removed: ################################################################################ diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp index 8df542410e7c..597e39e27170 100644 --- a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp +++ b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp @@ -444,10 +444,6 @@ LatticeJoinEffect Environment::join(const Environment &Other, JoinedEnv.MemberLocToStruct = intersectDenseMaps(MemberLocToStruct, Other.MemberLocToStruct); - assert(JoinedEnv.MemberLocToStruct.size() <= - std::min(MemberLocToStruct.size(), Other.MemberLocToStruct.size())); - - intersectDenseMaps(MemberLocToStruct, Other.MemberLocToStruct); if (MemberLocToStruct.size() != JoinedEnv.MemberLocToStruct.size()) Effect = LatticeJoinEffect::Changed; _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
