[Bug fortran/40976] New: Merge DECL of procedure call with DECL of gfc_get_function_type

[Bug fortran/40976] New: Merge DECL of procedure call with DECL of gfc_get_function_type

[burnus at gcc dot gnu dot org]

Motivated by PR 40969.

Currently, we generate a function declaration for

  procedure(<empty or interface>) :: proc

and another one for
  call proc(something) ! or var = proc(something)

If no explicit interface is known, the function argument is undefined, which
causes problems with LTO, cf. PR 40949 and PR 40969.

In principle, one could update the formal argument list of the "proc" symbol
when encountering the procedure call. That should be already done in the front
end and will also provide a means of diagnosing call errors such as:

   call proc(4)
   call proc(4.0, 4) ! wrong type, different number of arguments

Additionally, one should then re-use the DECL.


-- 
           Summary: Merge DECL of procedure call with DECL of
                    gfc_get_function_type
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: wrong-code, 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=40976

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2009-08-05 20:43 -------
See also vaguely related PR 40978.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |40949
              nThis|                            |
         AssignedTo|unassigned at gcc dot gnu   |burnus at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-08-05 20:43:11
               date|                            |


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

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2009-08-18 13:03 -------
Another complication is due to:

a) Procedure pointer
b) Procedure pointer components

(Type-bound procedures are no problem as they have always an explicit
interface.)


-- 


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

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2009-08-18 14:49 -------
For PPC, see also PR 41107 and the link therein.


-- 


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

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[dominiq at lps dot ens dot fr]

------- Comment #4 from dominiq at lps dot ens dot fr  2010-03-02 10:37 -------
Could pr41056 be related to this one?


-- 


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

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[burnus at gcc dot gnu dot org]

-- 

burnus at gcc dot gnu dot org changed:

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


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

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[tkoenig at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40976

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|tkoenig at gcc dot gnu.org         |unassigned at gcc dot gnu.org
             Status|ASSIGNED                    |NEW

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[tkoenig at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40976
Bug 40976 depends on bug 33097, which changed state.

Bug 33097 Summary: Function decl trees without proper argument list
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=33097

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

[Bug fortran/40976] Merge DECL of procedure call with DECL of gfc_get_function_type

[janus at gcc dot gnu.org]

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

--- Comment #5 from janus at gcc dot gnu.org 2012-04-26 14:09:28 UTC ---
I think PR42122 is possibly related ...