================
@@ -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
