diff options
| author | Tobias Burnus <burnus@net-b.de> | 2011-11-03 23:32:37 +0100 |
|---|---|---|
| committer | Tobias Burnus <burnus@gcc.gnu.org> | 2011-11-03 23:32:37 +0100 |
| commit | 1e4b137661742691d56e11d8dfe9342faa4e0c3c (patch) | |
| tree | c6a063f1b9196ec321dd3a1cc1453a0667c72aa4 | |
| parent | 42d0058e4972b3c6bf67ef2dfc9ca0d0d5451839 (diff) | |
| download | gcc-1e4b137661742691d56e11d8dfe9342faa4e0c3c.zip gcc-1e4b137661742691d56e11d8dfe9342faa4e0c3c.tar.gz gcc-1e4b137661742691d56e11d8dfe9342faa4e0c3c.tar.bz2 | |
re PR fortran/50960 ([OOP] vtables not marked as constant)
2011-11-03 Tobias Burnus <burnus@net-b.de>
PR fortran/50960
* trans-decl.c (gfc_finish_var_decl): Mark PARAMETER as
* TREE_READONLY.
2011-11-03 Tobias Burnus <burnus@net-b.de>
PR fortran/50960
* gfortran.dg/module_parameter_array_refs_2.f90: New.
From-SVN: r180878
| -rw-r--r-- | gcc/fortran/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fortran/trans-decl.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/module_parameter_array_refs_2.f90 | 23 |
4 files changed, 37 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 802c2ff..f29eab0 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,8 @@ +2011-11-03 Tobias Burnus <burnus@net-b.de> + + PR fortran/50960 + * trans-decl.c (gfc_finish_var_decl): Mark PARAMETER as TREE_READONLY. + 2011-11-03 Mikael Morin <mikael@gcc.gnu.org> * trans.h (struct gfc_ss, struct gfc_ss_info): Move field diff --git a/gcc/fortran/trans-decl.c b/gcc/fortran/trans-decl.c index b7460b7..b90b0ab 100644 --- a/gcc/fortran/trans-decl.c +++ b/gcc/fortran/trans-decl.c @@ -517,6 +517,10 @@ gfc_finish_var_decl (tree decl, gfc_symbol * sym) /* If it wasn't used we wouldn't be getting it. */ TREE_USED (decl) = 1; + if (sym->attr.flavor == FL_PARAMETER + && (sym->attr.dimension || sym->ts.type == BT_DERIVED)) + TREE_READONLY (decl) = 1; + /* Chain this decl to the pending declarations. Don't do pushdecl() because this would add them to the current scope rather than the function scope. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 986bc70..d561072 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-11-03 Tobias Burnus <burnus@net-b.de> + + PR fortran/50960 + * gfortran.dg/module_parameter_array_refs_2.f90: New. + 2011-11-03 Richard Guenther <rguenther@suse.de> PR middle-end/50079 diff --git a/gcc/testsuite/gfortran.dg/module_parameter_array_refs_2.f90 b/gcc/testsuite/gfortran.dg/module_parameter_array_refs_2.f90 new file mode 100644 index 0000000..385761d --- /dev/null +++ b/gcc/testsuite/gfortran.dg/module_parameter_array_refs_2.f90 @@ -0,0 +1,23 @@ +! { dg-do compile } +! { dg-options "-O" } +! { dg-final { scan-assembler-not "i_am_optimized_away" } } +! +! PR fortran/50960 +! +! PARAMETER arrays and derived types exists as static variables. +! Check that the their read-only nature is taken into account +! when optimizations are done. +! + +module m + integer, parameter :: PARA(*) = [1,2,3,4,5,6,7,8,9,10] +end module m + +subroutine test() +use m +integer :: i +i = 1 +if (para(i) /= 1) call i_am_optimized_away() +end + +! { dg-final { cleanup-modules "m" } } |