================
@@ -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, UnknownVal()));
continue;
}
// Explicitly proceed with default handler for this case cascade.
- state = handleLValueBitCast(state, Ex, SF, T, ExTy, CastE, Bldr, Pred);
+ state = handleLValueBitCast(state, Ex, SF, T, ExTy, CastE, Dst, Pred);
----------------
NagyDonat wrote:
(By the way this is optional – if it is not easy for you, don't bother with it.)
https://github.com/llvm/llvm-project/pull/212186
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
