[clang] [NFC][analyzer] Eliminate NodeBuilder from ExprEngine visit methods and from their utility methods (PR #212186)
Balázs Benics via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 27 03:44:45 PDT 2026
================
@@ -369,12 +365,11 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
case CK_PointerToIntegral: {
SVal V = state->getSVal(Ex, SF);
if (isa<nonloc::PointerToMember>(V)) {
- state = state->BindExpr(CastE, SF, UnknownVal());
- Bldr.generateNode(CastE, Pred, state);
+ Dst.insert(Engine.makeNodeWithBinding(Pred, CastE, V));
----------------
steakhal wrote:
Here we used to bind `Unknown`, but now bind `V`. This doesn't look NFC.
https://github.com/llvm/llvm-project/pull/212186
More information about the cfe-commits
mailing list