This revision was automatically updated to reflect the committed changes.
sgatev marked an inline comment as done.
Closed by commit rG963f40051a42: [clang][dataflow] Add transfer functions for
initializers (authored by sgatev).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
sgatev marked an inline comment as done.
sgatev added inline comments.
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:171
+
+Value *InitExprVal = Env.getValue(*InitExpr, SkipPast::None);
+if (InitExprVal == nullptr)
ymandel wrote:
> why
ymandel accepted this revision.
ymandel added inline comments.
This revision is now accepted and ready to land.
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:171
+
+Value *InitExprVal = Env.getValue(*InitExpr, SkipPast::None);
+if (InitExprVal == nullptr)
sgatev created this revision.
sgatev added reviewers: ymandel, xazax.hun, gribozavr2.
Herald added a subscriber: rnkovacs.
sgatev requested review of this revision.
Herald added a project: clang.
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis