Revert "[clang][dataflow] Only model struct fields that are used in the function...
authorYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 6 Jan 2023 01:07:28 +0000 (01:07 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 6 Jan 2023 01:07:28 +0000 (01:07 +0000)
commit2b1a517a92bfdfa3b692a660e19a2bb22513a567
treea066a6e6789fd3caee45c93cc56a0f1a52e174f0
parent3b2537be767c97d0b557aee53b3c989b339dd6bc
Revert "[clang][dataflow] Only model struct fields that are used in the function being analyzed."

This reverts commit 5e8f597c2fedc740b71f07dfdb1ef3c2d348b193. It caused msan and ubsan breakages.
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/unittests/Analysis/FlowSensitive/DataflowEnvironmentTest.cpp
clang/unittests/Analysis/FlowSensitive/TestingSupport.h
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp