This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rGbaa0f221d6df: [clang][dataflow] Update StructValue child
when assigning a value (authored by sgatev).
Repository:
rG LLVM Github Monorepo
xazax.hun added a comment.
This change looks good to me. Just an interesting fact, I think this problem is
completely sidestepped in the access path model:
https://www.youtube.com/watch?v=LTRykVVDfgE=PLamk8lFsMyPXrUIQm5naAQ08aK2ctv6gE=19
Repository:
rG LLVM Github Monorepo
CHANGES SINCE
sgatev created this revision.
sgatev added reviewers: ymandel, xazax.hun, gribozavr2.
Herald added subscribers: tschuett, steakhal, rnkovacs.
sgatev requested review of this revision.
Herald added a project: clang.
When assigning a value to a storage location of a struct member we
need to also