[Bug fortran/32626] New: Run-time check for recursive functions

[Bug fortran/32626] New: Run-time check for recursive functions

[burnus at gcc dot gnu dot org]

We probably need:

-fcheck-*
with
  all
  bounds
  pointers
  recursive

The recursive test is simple. C example:

bla(...)
{
static recursive = 0;
if(recursive)
   exit_with_error
recursive = 1
...
recursive = 0; // Last statement
}


-- 
           Summary: Run-time check for recursive functions
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


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

[Bug fortran/32626] Run-time check for recursive functions

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-08-06 14:06:57
               date|                            |


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

[Bug fortran/32626] Run-time check for recursive functions

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
   Last reconfirmed|2007-08-06 14:06:57         |2007-10-25 15:23:24
               date|                            |


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

[Bug fortran/32626] Run-time check for recursive functions

[domob at gcc dot gnu dot org]

------- Comment #1 from domob at gcc dot gnu dot org  2008-12-01 07:25 -------
Taking this on, as addition to PR 37779 about compile-time recursion checking.


-- 

domob at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |domob at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-10-25 15:23:24         |2008-12-01 07:25:53
               date|                            |


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

[Bug fortran/32626] Run-time check for recursive functions

[domob at gcc dot gnu dot org]

------- Comment #2 from domob at gcc dot gnu dot org  2008-12-07 16:17 -------
Unassigning myself, Tobias has a working patch posted for 4.5.


-- 

domob at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|domob at gcc dot gnu dot org|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW


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

[Bug fortran/32626] Run-time check for recursive functions

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2009-03-28 14:04 -------
Subject: Bug 32626

Author: burnus
Date: Sat Mar 28 14:04:14 2009
New Revision: 145188

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145188
Log:
2009-03-28  Tobias Burnus  <burnus@net-b.de>

        PR fortran/32626
        * option.c (gfc_handle_runtime_check_option): Enable recursion check.
        * trans-decl.c (gfc_generate_function_code): Add recursion check.
        * invoke.texi (-fcheck): Add recursive option.


Added:
    trunk/gcc/testsuite/gfortran.dg/recursive_check_7.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/invoke.texi
    trunk/gcc/fortran/options.c
    trunk/gcc/fortran/trans-decl.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/32626] Run-time check for recursive functions

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2009-03-28 14:08 -------
Fixed on the trunk (4.5):

At line 22 of file recursive_check_7.f90
Fortran runtime error: Recursive call to nonrecursive procedure 'invalid'


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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