re PR fortran/16907 (Non-integer array indices rejected)

fortran/
PR fortran/16907
* resolve.c (gfc_resolve_index): Allow REAL indices as an extension.

testsuite/
PR fortran/16907
* gfortran.dg/real_index_1.f90: New test.

From-SVN: r96385
This commit is contained in:
Tobias Schlüter 2005-03-13 19:46:36 +01:00 committed by Tobias Schlüter
parent 8f9c06ca82
commit ee9430623a
4 changed files with 31 additions and 7 deletions

View File

@ -1,3 +1,8 @@
2005-03-13 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
PR fortran/16907
* resolve.c (gfc_resolve_index): Allow REAL indices as an extension.
2005-03-13 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
PR fortran/20323

View File

@ -1701,19 +1701,26 @@ gfc_resolve_index (gfc_expr * index, int check_scalar)
if (gfc_resolve_expr (index) == FAILURE)
return FAILURE;
if (index->ts.type != BT_INTEGER)
{
gfc_error ("Array index at %L must be of INTEGER type", &index->where);
return FAILURE;
}
if (check_scalar && index->rank != 0)
{
gfc_error ("Array index at %L must be scalar", &index->where);
return FAILURE;
}
if (index->ts.kind != gfc_index_integer_kind)
if (index->ts.type != BT_INTEGER && index->ts.type != BT_REAL)
{
gfc_error ("Array index at %L must be of INTEGER type",
&index->where);
return FAILURE;
}
if (index->ts.type == BT_REAL)
if (gfc_notify_std (GFC_STD_GNU, "Extension: REAL array index at %L",
&index->where) == FAILURE)
return FAILURE;
if (index->ts.kind != gfc_index_integer_kind
|| index->ts.type != BT_INTEGER)
{
ts.type = BT_INTEGER;
ts.kind = gfc_index_integer_kind;

View File

@ -1,3 +1,8 @@
2003-03-13 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
PR fortran/16907
* gfortran.dg/real_index_1.f90: New test.
2005-03-13 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
PR fortran/20323

View File

@ -0,0 +1,7 @@
! { dg-do run }
! PR 16907 : We didn't support REAL array indices as an extension
integer I, A(10)
A = 2
I=A(1.0) ! { dg-warning "Extension" }
if (i/=2) call abort ()
end