aboutsummaryrefslogtreecommitdiff
path: root/flang/lib/Frontend/CompilerInvocation.cpp
diff options
context:
space:
mode:
authorMartin Braenne <mboehme@google.com>2023-07-06 11:48:55 +0000
committerMartin Braenne <mboehme@google.com>2023-07-10 06:45:53 +0000
commite8a1560d1de9514d3f1631388fe966476778e540 (patch)
treefb1875ae8d97881c76d66c72c0b7e4ebaf4ceebe /flang/lib/Frontend/CompilerInvocation.cpp
parent712123e04d45d0847bcd1aefb104162a13a16c6c (diff)
downloadllvm-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