Failure to simplify some array constructors with SIZE intrinsic

Harald1 — Mon, 22 May 2023 20:59:05 GMT

Hello,

the following code may be using SIZE in a weird way to compute the shape and size of an array but should be valid Fortran:

program p implicit none integer :: k integer, parameter :: x(2,3) = 1 integer, parameter :: s(*) = [shape(x)] integer, parameter :: t(*) = [(size(x, dim=k), k=1,2)] ! fail integer, parameter :: u(*) = [(size(x, dim=k), k=1,rank(x))] ! fail integer, parameter :: v = product(shape(x)) integer, parameter :: w = product([(size(x, dim=k), k=1,2)]) ! fail print *, s print *, [(size(x, dim=k), k=1,rank(x))] print *, product([(size(x, dim=k), k=1,rank(x))]) end

With current ifort/ifx I get:

% ifort ifort-size-simplify.f90 ifort-size-simplify.f90(6): error #7747: Invalid parameter expression. integer, parameter :: t(*) = [(size(x, dim=k), k=1,2)] ! fail ---------------------------------^ ifort-size-simplify.f90(7): error #7747: Invalid parameter expression. integer, parameter :: u(*) = [(size(x, dim=k), k=1,rank(x))] ! fail ---------------------------------^ ifort-size-simplify.f90(9): error #6063: An INTEGER or REAL data type is required in this context. [K] integer, parameter :: w = product([(size(x, dim=k), k=1,2)]) ! fail --------------------------------------------------^ compilation aborted for ifort-size-simplify.f90 (code 1)

Commenting the marked code lines allows the code to compile and work as expected. It is only the simplification of the array constructors needed for the constant expressions above that fails.

Thanks,

Harald

Re:Failure to simplify some array constructors with SIZE intrinsic

Barbara_P_Intel — Thu, 25 May 2023 19:46:20 GMT

This reproducer is indeed legal Fortran. I filed a bug report, CMPLRLLVM-48095. I'll let you know when a fix is available.

Re:Failure to simplify some array constructors with SIZE intrinsic

Barbara_P_Intel — Tue, 21 Nov 2023 19:35:02 GMT

@Harald1, no more faulty error messages with ifx or ifort with the releases that were published this week. Please check them out!

Re: Failure to simplify some array constructors with SIZE intrinsic

Harald1 — Wed, 22 Nov 2023 21:32:39 GMT

Wow, the ICE is gone, and I get a correct result at runtime....

Thanks!

topic Re:Failure to simplify some array constructors with SIZE intrinsic in Intel® Fortran Compiler

Failure to simplify some array constructors with SIZE intrinsic

Re:Failure to simplify some array constructors with SIZE intrinsic

Re:Failure to simplify some array constructors with SIZE intrinsic

Re: Failure to simplify some array constructors with SIZE intrinsic