ASDenysPetrov added a comment. @NoQ Thanks for your comment.
================ Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:877-879 + std::tie(IsZero, IsNotZero) = + getStateManager().getConstraintManager().isSymValWithinOrOutsideRange( + State, SE, Zero, Zero); ---------------- NoQ wrote: > What was wrong with `State->assume(V)`? Why make a new function? Is this for > optimization only? Yes, it's created just for avoiding unnecessary work. You are right. I found an appropriate function `ProgramState::isNull`. I'll replace by it. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D97874/new/ https://reviews.llvm.org/D97874 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
