This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug fortran/29616] Run-time check using nullified pointers and deallocated variables
- From: "burnus at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 29 Jun 2009 21:00:12 -0000
- Subject: [Bug fortran/29616] Run-time check using nullified pointers and deallocated variables
- References: <bug-29616-1719@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #3 from burnus at gcc dot gnu dot org 2009-06-29 21:00 -------
PR 40580 added an argument checking for pointer/proc-pointer/allocatable, i.e.
the example "call foo(r)" of comment 0 is now detected via -fcheck=pointer.
TODO:
a) call sub( uninit_alloc_returning_function() )
does not work as the _gfortran_internal_pack comes too early, see comment in
gfortran.dg/pointer_check_5.f90
b) Assignments are not checked, e.g.
r = 5.0 (see comment 0)
c) One can add checks for uninitialized pointers - by automatically
initializing them to a special value - and checking for that value.
d) There are still issues with proc-pointer returning functions; tracked at PR
40593
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29616