[PATCH] D150655: [clang][dataflow] Use `Strict` accessors in more places in Transfer.cpp.
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue May 16 10:33:24 PDT 2023
xazax.hun accepted this revision.
xazax.hun added inline comments.
================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:717-723
+ Value *SubExprVal = Env.getValueStrict(*SubExpr);
+ if (SubExprVal == nullptr)
return;
- Env.setStorageLocation(*S, *SubExprLoc);
+ auto &Loc = Env.createStorageLocation(*S);
+ Env.setStorageLocationStrict(*S, Loc);
+ Env.setValue(Loc, *SubExprVal);
----------------
This operation is basically something like an RValue to LValue cast. I am not sure how many of these will we have, but it might be a good idea to look out if we want to create something like `propagateAsLValue` similar to `propagateValue`.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D150655/new/
https://reviews.llvm.org/D150655
More information about the cfe-commits
mailing list