ASDenysPetrov added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1609-1612 + const SymExpr *LHS = Sym->getLHS(); + const llvm::APSInt &Zero = + Builder.getBasicValueFactory().getValue(0, LHS->getType()); + State = RCM->assumeSymNE(State, LHS, Zero, Zero); ---------------- martong wrote: > steakhal wrote: > > ASDenysPetrov wrote: > > > Maybe make some more complex assumptions to cover complex **LHS's**? > > Oh nice. > `State->assume` goes through many higher level abstractions and finally calls > `assumeSymNE`, so I think calling that would be a pessimization in this case. I agree, but then you lose an internal simplification of LHS symbol. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D110357/new/ https://reviews.llvm.org/D110357 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
