diff options
| author | Thomas Koenig <tkoenig@gcc.gnu.org> | 2011-12-31 08:18:52 +0000 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2011-12-31 08:18:52 +0000 |
| commit | f29041dd8eefb8de8aa710fb15460af024f0dc6d (patch) | |
| tree | 68b7fd1b2d1494a99a6c86ebfda5a6211ca412d7 /gcc/fortran/expr.c | |
| parent | a78873e4f39e57309c21669e480fc73c39fc68c2 (diff) | |
| download | gcc-f29041dd8eefb8de8aa710fb15460af024f0dc6d.zip gcc-f29041dd8eefb8de8aa710fb15460af024f0dc6d.tar.gz gcc-f29041dd8eefb8de8aa710fb15460af024f0dc6d.tar.bz2 | |
re PR fortran/51502 (Potentially wrong code generation due to wrong implict_pure check)
2011-12-31 Thomas König <tkoenig@gcc.gnu.org>
PR fortran/51502
* expr.c (gfc_check_vardef_context): When determining
implicit pure status, also check for variable definition
context. Walk up namespaces until a procedure is
found to reset the implict pure attribute.
* resolve.c (gfc_implicit_pure): Walk up namespaces
until a procedure is found.
2011-12-31 Thomas König <tkoenig@gcc.gnu.org>
PR fortran/51502
* lib/gcc-dg.exp (scan-module-absence): New function.
* gfortran.dg/implicit_pure_2.f90: New test.
From-SVN: r182754
Diffstat (limited to 'gcc/fortran/expr.c')
| -rw-r--r-- | gcc/fortran/expr.c | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c index d8ae04f..182738c 100644 --- a/gcc/fortran/expr.c +++ b/gcc/fortran/expr.c @@ -4690,9 +4690,24 @@ gfc_check_vardef_context (gfc_expr* e, bool pointer, bool alloc_obj, return FAILURE; } - if (!pointer && gfc_implicit_pure (NULL) && gfc_impure_variable (sym)) - gfc_current_ns->proc_name->attr.implicit_pure = 0; + if (!pointer && context && gfc_implicit_pure (NULL) + && gfc_impure_variable (sym)) + { + gfc_namespace *ns; + gfc_symbol *sym; + for (ns = gfc_current_ns; ns; ns = ns->parent) + { + sym = ns->proc_name; + if (sym == NULL) + break; + if (sym->attr.flavor == FL_PROCEDURE) + { + sym->attr.implicit_pure = 0; + break; + } + } + } /* Check variable definition context for associate-names. */ if (!pointer && sym->assoc) { |