Selector in RANK (0) case block is not considered a scalar

[NCarlson]

ifx 2024.0 rejects the following valid code when it fails to recognize that the selector in the RANK (0) case block should be regarded as a scalar.

call foo(.true.)
contains
  subroutine foo(x)
    class(*), intent(in) :: x(..)
    select rank (x)
    rank (0)
      select type (x)
      type is (logical)
        if (x) print *, 'pass'  ! X IS A SCALAR IN THIS RANK-CASE BLOCK
      end select
    end select
  end subroutine
end

$ ifx intel-20231210.f90 
intel-20231210.f90(20): error #6512: A scalar-valued expression is required in this context.   [X]
        if (x) print *, 'pass'  ! X IS A SCALAR IN THIS RANK-CASE BLOCK
------------^
compilation aborted for intel-20231210.f90 (code 1)

[Barbara_P_Intel · Accepted solution]

Thanks for reporting this.

GOOD NEWS! It's fixed in ifx 2024.1.0 that is planned for April or so in 2024.