https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105012
--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> --- Yes: $ cat module_cam_error_function.fppized.f90 module error_function integer, parameter :: r8 = selected_real_kind(12) ! 8 byte real contains SUBROUTINE CALERF_r8(ARG, RESULT, JINT) integer, parameter :: rk = r8 real(rk), intent(in) :: arg real(rk), intent(out) :: result IF (Y .LE. THRESH) THEN END IF end SUBROUTINE CALERF_r8 FUNCTION DERFC(X) integer, parameter :: rk = r8 ! 8 byte real real(rk), intent(in) :: X real(rk) :: DERFC CALL CALERF_r8(X, DERFC, JINT) END FUNCTION DERFC end module error_function $ gcc module_cam_error_function.fppized.f90 -c -O module_cam_error_function.fppized.f90:10:24: 10 | end SUBROUTINE CALERF_r8 | ^ Error: 'function_decl' LHS in clobber statement derfc derfc ={v} {CLOBBER}; during GIMPLE pass: ccp module_cam_error_function.fppized.f90:10:24: internal compiler error: verify_gimple failed 0x10279c5 verify_gimple_in_cfg(function*, bool) /home/marxin/Programming/gcc/gcc/tree-cfg.cc:5562 0xeee32e execute_function_todo /home/marxin/Programming/gcc/gcc/passes.cc:2085 0xeee94b execute_todo /home/marxin/Programming/gcc/gcc/passes.cc:2139 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.