[PATCH] D155075: [clang][dataflow] Add `DataflowEnvironment::createObject()`.

[Martin Böhme via Phabricator via cfe-commits]

mboehme created this revision.
Herald added subscribers: martong, xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
mboehme requested review of this revision.
Herald added subscribers: cfe-commits, wangpc.
Herald added a project: clang.

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 <https://reviews.llvm.org/D155074>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D155075

Files:
  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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D155075.539514.patch
Type: text/x-patch
Size: 10948 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230712/fa211f6e/attachment.bin>