[clang][dataflow] Add `DataflowEnvironment::createObject()`.
authorMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 06:27:59 +0000 (06:27 +0000)
committerMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 07:26:10 +0000 (07:26 +0000)
commit6d768548ecc0ca37026986f397392c1d0ace9736
tree58d657134c6d88484d96d43f4a912321f6854fd7
parent4782597e3cd1b26cf8bd437e36fd6320f55d3d89
[clang][dataflow] Add `DataflowEnvironment::createObject()`.

This consolidates the code used in various places to initialize objects (usually for variables) into one central location.

It will also help reduce the number of changes needed when we make the upcoming API changes to `AggregateStorageLocation` and `StructValue`.

Depends On D155074

Reviewed By: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D155075
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