Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[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
- Loading branch information