[all-commits] [llvm/llvm-project] 394d6f: [flang] Check ArrayRef base for contiguity in IsSi...

[jeanPerier via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 394d6fcf3eb98f99045df506e587ac7cbf15e7a4
      https://github.com/llvm/llvm-project/commit/394d6fcf3eb98f99045df506e587ac7cbf15e7a4
  Author: Jean Perier <jperier at nvidia.com>
  Date:   2021-11-17 (Wed, 17 Nov 2021)

  Changed paths:
    M flang/lib/Evaluate/check-expression.cpp
    M flang/test/Semantics/assign03.f90

  Log Message:
  -----------
  [flang] Check ArrayRef base for contiguity in IsSimplyContiguousHelper

Previous code was returning true for `x(:)` where x is a pointer without
the contiguous attribute.
In case the array ref is a whole array section, check the base for contiguity
to solve the issue.

Differential Revision: https://reviews.llvm.org/D114084