[Bug fortran/51502] [4.6/4.7 Regression] Potentially wrong code generation due to wrong implict_pure check

["tkoenig at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51502

--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2011-12-31 08:19:01 UTC ---
Author: tkoenig
Date: Sat Dec 31 08:18:52 2011
New Revision: 182754

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182754
Log:
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.


Added:
    trunk/gcc/testsuite/gfortran.dg/implicit_pure_2.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog