projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba18c36) | patch
[clang][dataflow] Update StructValue child when assigning a value
authorStanislav Gatev <sgatev@google.com>
Wed, 23 Feb 2022 15:39:26 +0000 (15:39 +0000)
committerStanislav Gatev <sgatev@google.com>
Thu, 24 Feb 2022 16:41:48 +0000 (16:41 +0000)
commitbaa0f221d6df2fcce10c54751cc42284e2656c31
tree42e61a6ac0dfbad7a1cb8f72a2313740786df2datree | snapshot
parentba18c360b2f3c25fe9091c7a7931eded374b3cf6commit | diff
[clang][dataflow] Update StructValue child when assigning a value

When assigning a value to a storage location of a struct member we
need to also update the value in the corresponding `StructValue`.

This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D120414
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h diff | blob | history
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp diff | blob | history
Domain: System / Toolchain;