================ @@ -37,6 +43,19 @@ static SVal conjureOffsetSymbolOnLocation( return Symbol; } +// Update the SVal bound to the Cast expression with the SVal +// bound to the casted expression +static ProgramStateRef updateStateAfterSimpleCast(StmtNodeBuilder& Bldr, + ExplodedNode *Pred, + const CastExpr *CastE, + const Expr *CastedE) { + ProgramStateRef state = Pred->getState(); + const LocationContext *LCtx = Pred->getLocationContext(); + SVal V = state->getSVal(CastedE, LCtx); + return state->BindExpr(CastE, LCtx, V); + //Bldr.generateNode(CastE, Pred, state); ---------------- NagyDonat wrote:
```suggestion ``` Another leftover comment that should be removed. https://github.com/llvm/llvm-project/pull/87886 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits