[clang][dataflow] Add `refreshStructValue()`.
authorMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 06:31:36 +0000 (06:31 +0000)
committerMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 07:26:13 +0000 (07:26 +0000)
commitd17f455a6348806c73641e742af08b0a974e13d5
tree28f9cfc57502b090ce511f0ffc2f4dceb08023df
parent243a79ca01f8142a8d8c9873ba58fefdafa48745
[clang][dataflow] Add `refreshStructValue()`.

Besides being a useful abstraction, this function will help insulate existing clients of the framework from upcoming changes to the API of `StructValue` and `AggregateStorageLocation`.

Depends On D155202

Reviewed By: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D155204
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp