[clang][dataflow] Bugfix for `refreshStructValue()`.
authorMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 18:42:36 +0000 (18:42 +0000)
committerMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 18:56:25 +0000 (18:56 +0000)
commit0f6cf555674959d0b21769fc1c46e23584561f2a
treeda966b2a78d34196bcac96d8769259c558abf951
parent47cf7a4ba54edf7c2a78503d7cca8a003f194d32
[clang][dataflow] Bugfix for `refreshStructValue()`.

In the case where the expression was not yet associated with a storage location, we created a new storage location but failed to associate it with the expression.

The newly added test fails without the fix.

Reviewed By: xazax.hun

Differential Revision: https://reviews.llvm.org/D155465
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/unittests/Analysis/FlowSensitive/DataflowEnvironmentTest.cpp