[PATCH] D150655: [clang][dataflow] Use `Strict` accessors in more places in Transfer.cpp.
Martin Böhme via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue May 16 06:26:51 PDT 2023
mboehme marked an inline comment as done.
mboehme added inline comments.
================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:751-752
+ Env.setValue(Loc, *Val);
+ } else {
+ if (Value *Val = Env.createValue(S->getType()))
+ Env.setValueStrict(*S, *Val);
----------------
ymandel wrote:
> just `else if`?
Done.
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