ICE for simple matmul expression, when checks are turned on

[Balint_Aradi]

Dear developers,

the current ifort (2021.1 Beta 20201112, but also the 2020.x version) generates an internal compiler error when compiling the following code:

program showbug
  implicit none

  integer, parameter :: dp = kind(1.0d0)
  real(dp) :: cellMiddle(3), boxMiddle(3), frac(3)
  real(dp) :: recVecs2p(3,3)

  frac(:) = matmul(boxMiddle - cellMiddle, recVecs2p)

end program showbug

when compiling with

ifort -check ~/bug.f90

I obtain (on x86_64.Linux)

/home/aradi/bug.f90(8): catastrophic error: **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.
compilation aborted for /home/aradi/bug.f90 (code 1)

Interestingly, if I store the result of the subtraction in a temporary variable, the code compiles. The code also compiles, if I leave away the `-check` flag.

[Barbara_P_Intel · Accepted solution]

Thank you for reporting this.

I compiled your reproducer successfully with the current compiler 2021.5.0 that is part of oneAPI 2022.1 HPC Toolkit.

$ ifort -V -check showbug.f90
Intel(R) Fortran Intel(R) 64 Compiler Classic for applications running on Intel(R) 64, Version 2021.5.0 Build 20211109_000000
Copyright (C) 1985-2021 Intel Corporation.  All rights reserved.

 Intel(R) Fortran 2021.5.0-1068
GNU ld version 2.26.1-1.fc25
$ a.out
$

Can you install that and recompile?

[Balint_Aradi]

Thanks for the quick response! I can confirm, that with version 2021.5 the problem does not appear any more.

[Barbara_P_Intel]

That's GREAT!   Thanks for the reply!