ASDenysPetrov added a comment. Herald added a project: All. I checked the tests file on the latest sources. It passes even without your changes. Maybe this patch is already outdated.
================ Comment at: clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:82-86 if (IsExpectedEqual) { return assumeSymNE(State, CanonicalEquality, Zero, Zero); } return assumeSymEQ(State, CanonicalEquality, Zero, Zero); ---------------- Do we need the same changes here as below? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D107636/new/ https://reviews.llvm.org/D107636 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits