diff options
| author | martinboehme <mboehme@google.com> | 2024-02-13 10:01:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-13 10:01:25 +0100 |
| commit | 270f2c5575dc5dd001e91ddc2c71b0f2d23f567c (patch) | |
| tree | 3e0baf228c6f443b04a6b8a1b60592fd748053b5 /llvm/lib/ProfileData | |
| parent | 4588525d7edbc0d14c41f5fa8f3e23a3241a502e (diff) | |
| download | llvm-270f2c5575dc5dd001e91ddc2c71b0f2d23f567c.zip llvm-270f2c5575dc5dd001e91ddc2c71b0f2d23f567c.tar.gz llvm-270f2c5575dc5dd001e91ddc2c71b0f2d23f567c.tar.bz2 | |
[clang][dataflow] Add `Environment::initializeFieldsWithValues()`. (#81239)
This function will be useful when we change the behavior of record-type
prvalues
so that they directly initialize the associated result object. See also
the
comment here for more details:
https://github.com/llvm/llvm-project/blob/9e73656af524a2c592978aec91de67316c5ce69f/clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h#L354
As part of this patch, we document and assert that synthetic fields may
not have
reference type.
There is no practical use case for this: A `StorageLocation` may not
have
reference type, and a synthetic field of the corresponding non-reference
type
can serve the same purpose.
Diffstat (limited to 'llvm/lib/ProfileData')
0 files changed, 0 insertions, 0 deletions