[PATCH] D103314: [Analyzer][solver] Simplify existing constraints when a new constraint is added
Valeriy Savchenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon May 31 09:08:52 PDT 2021
vsavchenko added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1576-1577
+ // Add the newly simplified symbol to the equivalence class.
+ State =
+ Class.merge(this->getBasicVals(), F, State,
+ EquivalenceClass::find(State, SimplifiedMemberSym));
----------------
Uh-oh, almost let yet another null-state bug to happen! During this iteration, `State` can become null, so we need to check for it.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D103314/new/
https://reviews.llvm.org/D103314
More information about the cfe-commits
mailing list