NoQ accepted this revision. NoQ added a comment. This revision is now accepted and ready to land.
Thanks! I agree that this assertion doesn't make much sense. Judging by the name, the function should be able to handle all symbols. ================ Comment at: clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:61 + // to canonicalize "a - b" and "b - a", which would allow us to treat "a + // != b" and "b != a" the same. + ---------------- The new line break in the middle of `a != b` doesn't make much sense. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122277/new/ https://reviews.llvm.org/D122277 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
