[PATCH] D110913: [analyzer][solver] Handle simplification to ConcreteInt
Denys Petrov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Oct 8 05:30:26 PDT 2021
ASDenysPetrov added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2099-2111
+
+ SymbolRef SimplifiedMemberSym = nullptr;
+ SVal SimplifiedMemberVal = simplifyToSVal(State, MemberSym);
+ if (const auto CI = SimplifiedMemberVal.getAs<nonloc::ConcreteInt>()) {
+ const llvm::APSInt &SV = CI->getValue();
+ const RangeSet *ClassConstraint = getConstraint(State, Class);
+ // We have found a contradiction.
----------------
UPD. I mean all this new snippet.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D110913/new/
https://reviews.llvm.org/D110913
More information about the cfe-commits
mailing list