diff options
author | Martin Braenne <mboehme@google.com> | 2023-07-06 11:48:55 +0000 |
---|---|---|
committer | Martin Braenne <mboehme@google.com> | 2023-07-10 06:45:53 +0000 |
commit | e8a1560d1de9514d3f1631388fe966476778e540 (patch) | |
tree | fb1875ae8d97881c76d66c72c0b7e4ebaf4ceebe /flang/lib/Frontend/CompilerInvocation.cpp | |
parent | 712123e04d45d0847bcd1aefb104162a13a16c6c (diff) | |
download | llvm-e8a1560d1de9514d3f1631388fe966476778e540.zip llvm-e8a1560d1de9514d3f1631388fe966476778e540.tar.gz llvm-e8a1560d1de9514d3f1631388fe966476778e540.tar.bz2 |
[clang][dataflow] Various changes to handling of modeled fields.
- Rename `getReferencedFields()` to `getModeledFields()`. Move the logic that
returns all object fields when doing a context-sensitive analysis to here from
`DataflowAnalysisContext::createStorageLocation()`. I think all callers of
the previous `getReferencedFields()` should use this logic; the fact that they
were not doing so looks like a bug.
- Make `getModeledFields()` public. I have an upcoming patch that will need to
use this function from Transfer.cpp, and there doesn't seem to be any reason
why this function should not be public.
- Use a `SmallSetVector` to get deterministic iteration order. I have a pending
patch where I'm getting flaky tests because
`Environment::createValueUnlessSelfReferential()` is non-deterministically
populating different fields depending on the iteration order. This change
fixes those flaky tests.
Reviewed By: gribozavr2
Differential Revision: https://reviews.llvm.org/D154586
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions