public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete
       [not found] <bug-37222-4@http.gcc.gnu.org/bugzilla/>
@ 2011-09-10 15:22 ` janus at gcc dot gnu.org
  2011-09-11 20:49 ` janus at gcc dot gnu.org
  2013-12-10 21:56 ` janus at gcc dot gnu.org
  2 siblings, 0 replies; 3+ messages in thread
From: janus at gcc dot gnu.org @ 2011-09-10 15:22 UTC (permalink / raw)
  To: gcc-bugs

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|rejects-valid               |
            Summary|Checks when overriding      |[OOP] Checks when
                   |type-bound procedures are   |overriding type-bound
                   |incomplete                  |procedures are incomplete

--- Comment #1 from janus at gcc dot gnu.org 2011-09-10 15:02:33 UTC ---
(In reply to comment #0)
> At the moment, only gfc_compare_types is called; among the items that fail to
> be checked are rank, array shape (if known), ALLOCATABLE/POINTER attributes and
> INTENT declarations.

There are a few related PRs:
 * for the INTENT check there is PR47978
 * PR35831 concerns the shape check (originally for dummy procedure arguments,
but it applies to TBP overriding in the same way)

This PR can be used to track some of the missing checks:
 * ALLOCATABLE/POINTER
 * string length
 * ...


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete
       [not found] <bug-37222-4@http.gcc.gnu.org/bugzilla/>
  2011-09-10 15:22 ` [Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete janus at gcc dot gnu.org
@ 2011-09-11 20:49 ` janus at gcc dot gnu.org
  2013-12-10 21:56 ` janus at gcc dot gnu.org
  2 siblings, 0 replies; 3+ messages in thread
From: janus at gcc dot gnu.org @ 2011-09-11 20:49 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from janus at gcc dot gnu.org 2011-09-11 20:43:13 UTC ---
(In reply to comment #1)
> This PR can be used to track some of the missing checks:
>  * ALLOCATABLE/POINTER
>  * string length
>  * ...

http://gcc.gnu.org/viewcvs?view=revision&revision=178767 fixes already most of
this, but there are at least three FIXMEs left in
'check_dummy_characteristics'.


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete
       [not found] <bug-37222-4@http.gcc.gnu.org/bugzilla/>
  2011-09-10 15:22 ` [Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete janus at gcc dot gnu.org
  2011-09-11 20:49 ` janus at gcc dot gnu.org
@ 2013-12-10 21:56 ` janus at gcc dot gnu.org
  2 siblings, 0 replies; 3+ messages in thread
From: janus at gcc dot gnu.org @ 2013-12-10 21:56 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from janus at gcc dot gnu.org ---
Basically all the checks in this area have been fixed by now.

One of the last todo items is a carry-over from PR 35831:
* improve gfc_dep_compare_expr to catch more cases (and/or enable the warnings
in check_result_characteristics and check_dummy_characteristics, marked by
FIXMEs)


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2013-12-10 21:56 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-37222-4@http.gcc.gnu.org/bugzilla/>
2011-09-10 15:22 ` [Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete janus at gcc dot gnu.org
2011-09-11 20:49 ` janus at gcc dot gnu.org
2013-12-10 21:56 ` janus at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).