diff options
| author | Mikael Morin <mikael@gcc.gnu.org> | 2010-10-06 14:11:30 +0000 |
|---|---|---|
| committer | Mikael Morin <mikael@gcc.gnu.org> | 2010-10-06 14:11:30 +0000 |
| commit | c9ab240e0c7223cf61c8a586be9204faea04970c (patch) | |
| tree | af12900b191852282a5e3c45263c95f2e1b71bf8 /gcc/fortran/decl.c | |
| parent | 35c2682003f74070aab4098770c3444bac2586c4 (diff) | |
| download | gcc-c9ab240e0c7223cf61c8a586be9204faea04970c.zip gcc-c9ab240e0c7223cf61c8a586be9204faea04970c.tar.gz gcc-c9ab240e0c7223cf61c8a586be9204faea04970c.tar.bz2 | |
decl.c (match_procedure_in_type): Assertify if conditions.
2010-10-06 Mikael Morin <mikael@gcc.gnu.org>
* decl.c (match_procedure_in_type): Assertify if conditions.
From-SVN: r165026
Diffstat (limited to 'gcc/fortran/decl.c')
| -rw-r--r-- | gcc/fortran/decl.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c index 5b4ab18..3b01d39 100644 --- a/gcc/fortran/decl.c +++ b/gcc/fortran/decl.c @@ -7916,8 +7916,9 @@ match_procedure_in_type (void) would be an error. If a GENERIC already targetted this binding, it may be already there but then typebound is still NULL. */ stree = gfc_find_symtree (ns->tb_sym_root, name); - if (stree && stree->n.tb) + if (stree) { + gcc_assert (stree->n.tb); gfc_error ("There is already a procedure with binding name '%s' for " "the derived type '%s' at %C", name, block->name); return MATCH_ERROR; @@ -7925,11 +7926,9 @@ match_procedure_in_type (void) /* Insert it and set attributes. */ - if (!stree) - { - stree = gfc_new_symtree (&ns->tb_sym_root, name); - gcc_assert (stree); - } + gcc_assert (!stree); + stree = gfc_new_symtree (&ns->tb_sym_root, name); + gcc_assert (stree); stree->n.tb = gfc_get_typebound_proc (&tb); if (gfc_get_sym_tree (target, gfc_current_ns, &stree->n.tb->u.specific, |