| ! RUN: %flang_fc1 -fdebug-unparse %s 2>&1 | FileCheck %s |
| ! Tests rewrite of IS_CONTIGUOUS with TYPE(*) arguments. |
| |
| subroutine test_is_contiguous(assumed_size, assumed_shape, & |
| & assumed_shape_contiguous, assumed_rank, assumed_rank_contiguous) |
| type(*) :: assumed_size(*), assumed_shape(:), assumed_shape_contiguous(:) |
| type(*) :: assumed_rank(..), assumed_rank_contiguous(..) |
| contiguous :: assumed_shape_contiguous, assumed_rank_contiguous |
| ! CHECK: PRINT *, .true._4 |
| print *, is_contiguous(assumed_size) |
| ! CHECK: PRINT *, .true._4 |
| print *, is_contiguous(assumed_shape_contiguous) |
| ! CHECK: PRINT *, .true._4 |
| print *, is_contiguous(assumed_rank_contiguous) |
| ! CHECK: PRINT *, is_contiguous(assumed_shape) |
| print *, is_contiguous(assumed_shape) |
| ! CHECK: PRINT *, is_contiguous(assumed_rank) |
| print *, is_contiguous(assumed_rank) |
| end subroutine |