topic Re: ICE with IFX using procedure pointers in Intel® Fortran Compiler

ICE with IFX using procedure pointers

mhulsen — Fri, 06 Jan 2023 15:18:48 GMT

Hi,

The attached file gives an ICE with ifx, version: (IFORT) 2023.0.0 20221201. The output is at the end of this message.

Note, that it is a very much reduced code starting from a large code and maybe it can be reduced even further, but at least it gives the same error message as the large code.

It compiles fine with ifort, gfortran and nagfor.

Martien

The output is:

[tfemuser@080a0116f9cd ifx-ice]$ ifx -c ifx-ice.f90

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1f563ca]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1bef70e]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1c55e52]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1c55e26]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1b69946]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1b6f2d1]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1b73215]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1be1b73]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1be09c3]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca3eed]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca4500]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca6a30]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca3eed]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca4500]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca19c2]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca3eed]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca104a]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1ca3eed]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1b44bf6]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1b445c9]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1d028ee]

/lib64/libc.so.6(+0x27510)[0x150e660e4510]

/lib64/libc.so.6(__libc_start_main+0x89)[0x150e660e45c9]

/opt/intel/oneapi/compiler/2023.0.0/linux/bin-llvm/xfortcom[0x1982da9]

ifx-ice.f90(75): error #5623: **Internal compiler error: internal abort** Please report this error along with the circumstances in which it occurred in a Software Problem Report. Note: File and line given may not be explicit cause of this error.

call evaluate_scalar_coefficient ( func=coefficients%func1(3)%p )

---------^

compilation aborted for ifx-ice.f90 (code 3)

Re: ICE with IFX using procedure pointers

Ron_Green — Fri, 06 Jan 2023 16:13:07 GMT

Thanks for finding this and reporting. I'll open a bug report.

Re:ICE with IFX using procedure pointers

Ron_Green — Fri, 06 Jan 2023 16:43:09 GMT

Bug ID is CMPLRLLVM-43357

Re: Re:ICE with IFX using procedure pointers

martinmath — Mon, 16 Jan 2023 08:48:29 GMT

Below is a short reproducer, which is by the look of it, caused by the same bug in ifx, causing an ICE.

program proc_pointer type :: t procedure(answer), nopass, pointer :: p end type t type(t) :: x x%p => answer call foo(x%p) contains function answer() result(x) integer :: x x = 42 end function answer subroutine foo(a) procedure(answer) :: a print *,a() end subroutine foo end program proc_pointer

Re: ICE with IFX using procedure pointers

Barbara_P_Intel — Tue, 17 Jan 2023 19:40:38 GMT

I added the new reproducer to the bug report. Sometimes these bugs are tricky and may not have the same cause. We will see!

Re: Re:ICE with IFX using procedure pointers

mhulsen — Wed, 05 Apr 2023 12:46:42 GMT

The bug seems to be fixed in 2023 update 1. My finite element code of near 100000 loc passes all my tests with ifx now.

Thanks for the fix.

Martien

Re:ICE with IFX using procedure pointers

Ron_Green — Tue, 21 Nov 2023 19:49:20 GMT

this bug is fixed in the 2024.0 release