diff options
author | Jean Perier <jperier@nvidia.com> | 2021-11-29 08:27:16 +0100 |
---|---|---|
committer | Jean Perier <jperier@nvidia.com> | 2021-11-29 08:28:26 +0100 |
commit | 9d1938fd1441935313ac0e44e39069bee8171a86 (patch) | |
tree | 94eccac121c7465ffe3f6ba3571eecbdab70ef39 /llvm/lib/Transforms/Utils/Local.cpp | |
parent | 4709bacf18b41bf80b3a0fc1c9f16be60fedae8b (diff) | |
download | llvm-9d1938fd1441935313ac0e44e39069bee8171a86.zip llvm-9d1938fd1441935313ac0e44e39069bee8171a86.tar.gz llvm-9d1938fd1441935313ac0e44e39069bee8171a86.tar.bz2 |
[flang] Return true in IsSymplyContiguous for allocatables
The current code was relying on the fact that allocatables are deferred
shape and that isAssumedShape() should therefore return true for them.
This is not true, because the current parsing/semantic analysis always
builds a semantics::ArraySpec for `x(:)` that returns true to both
isDeferredShape()/isAssumedShape(), whether x is allocatable/pointer or
not.
It proved tricky to change this behavior, so this is a simple fix for
IsSymplyContiguous where it currently matters, but we most likely want
to investigate more and fix the isDeferredShape()/isAssumedShape() in
a second time.
Differential Revision: https://reviews.llvm.org/D114599
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
0 files changed, 0 insertions, 0 deletions