diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-07-30 20:02:27 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-07-30 20:02:27 +0000 |
| commit | f16be16d2d4d48fb918bf8996f5fa0727b1ab1e3 (patch) | |
| tree | c64fcf9b77cc38fdce9b83307e85e01ad48a24a5 /gcc | |
| parent | 5ec4a442965f71b8535ee4080a498a147d8fc8a8 (diff) | |
| download | gcc-f16be16d2d4d48fb918bf8996f5fa0727b1ab1e3.zip gcc-f16be16d2d4d48fb918bf8996f5fa0727b1ab1e3.tar.gz gcc-f16be16d2d4d48fb918bf8996f5fa0727b1ab1e3.tar.bz2 | |
re PR fortran/91296 (ICE when passing complex number %re/%im as a procedure argument with -Waliasing.)
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/interface.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr91296.f90 | 27 |
4 files changed, 45 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index dc965ea..fd55ca7 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -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 diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index f971586..1d14f83 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -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"); } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bad5687..6afc2f0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/testsuite/gfortran.dg/pr91296.f90 b/gcc/testsuite/gfortran.dg/pr91296.f90 new file mode 100644 index 0000000..5f7bb0e --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr91296.f90 @@ -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 |