mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-08 06:50:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR fortran/91296 (ICE when passing complex number %re/%im as a procedure argument with -Waliasing.)

Browse Source 
2019-07-30  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/91296
	* interface.c (compare_actual_expr): When checking for aliasing, add
	a case to handle REF_INQUIRY (e.g., foo(x%re, x%im) do not alias).

2019-07-30  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/91296
	* gfortran.dg/pr91296.f90: New test.

From-SVN: r273914
This commit is contained in:
Steven G. Kargl 2019-07-30 20:02:27 +00:00
parent 5ec4a44296
commit f16be16d2d
4 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/fortran/ChangeLog
View File

@ -1,3 +1,9 @@
2019-07-30 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/91296
* interface.c (compare_actual_expr): When checking for aliasing, add
a case to handle REF_INQUIRY (e.g., foo(x%re, x%im) do not alias).
2019-07-29 Thomas Koenig <tkoenig@gcc.gnu.org>
PR fortran/90813

7
gcc/fortran/interface.c
View File

@ -3489,6 +3489,13 @@ compare_actual_expr (gfc_expr *e1, gfc_expr *e2)
case REF_SUBSTRING:
return false;
case REF_INQUIRY:
if (e1->symtree->n.sym->ts.type == BT_COMPLEX
&& e1->ts.type == BT_REAL && e2->ts.type == BT_REAL
&& r1->u.i != r2->u.i)
return false;
break;
default:
gfc_internal_error ("compare_actual_expr(): Bad component code");
}

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2019-07-30 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/91296
* gfortran.dg/pr91296.f90: New test.
2019-07-30 Martin Liska <mliska@suse.cz>
PR tree-optimization/91270

27
gcc/testsuite/gfortran.dg/pr91296.f90 Normal file
View File

@ -0,0 +1,27 @@
! { dg-do compile }
! { dg-options "-Waliasing" }
! PR fortran/91296
! Code contributed by Chinoune Mehdi <chinoune dot medhi at hotmail dot com>
module m
implicit none
integer, parameter :: sp = selected_real_kind(6)
contains
pure subroutine s(a,b,c)
real(sp), intent(in) :: a, b
real(sp), intent(out) :: c
c = a + b
end subroutine s
end module m
program test
use m
implicit none
real(sp) :: a
complex(sp) :: c
c = (1._sp,1._sp)
call s(c%re,c%im,a) ! *** This use to cause an ICE. ***
print*,a
end program test