[clang] [analyzer] Variant checker bindings (PR #87886)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Tue May 14 05:26:04 PDT 2024
================
@@ -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
More information about the cfe-commits
mailing list