[clang][dataflow] Initialize fields of anonymous records correctly.
authorMartin Braenne <mboehme@google.com>
Wed, 28 Jun 2023 08:36:06 +0000 (08:36 +0000)
committerMartin Braenne <mboehme@google.com>
Thu, 29 Jun 2023 04:07:04 +0000 (04:07 +0000)
commitd36324866ee1fb4d1c26552b6b686a463d2b448f
treeffbb0deb2c92465d1c227aec5e2630dc08ac25d8
parent621fafdaad06889477515de82ed85217ce08ccc6
[clang][dataflow] Initialize fields of anonymous records correctly.

Previously, the newly added test would crash.

Depends On D153851

Reviewed By: gribozavr2

Differential Revision: https://reviews.llvm.org/D153852
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp