re PR fortran/52325 (unclear error: Unclassifiable statement)

2012-03-02  Tobias Burnus  <burnus@net-b.de>

        PR fortran/52325
        * primary.c (gfc_match_varspec): Add diagnostic for % with
        nonderived types.

2012-03-02  Tobias Burnus  <burnus@net-b.de>

        PR fortran/52325
        * gfortran.dg/derived_comp_array_ref_8.f90: New.
        * gfortran.dg/nullify_2.f90: Update dg-error.
        * gfortran.dg/nullify_4.f90: Ditto.
        * gfortran.dg/pointer_init_6.f90: Ditto.

From-SVN: r184785
This commit is contained in:
Tobias Burnus 2012-03-02 14:20:52 +01:00 committed by Tobias Burnus
parent f18075fff5
commit 6ee65df3f1
7 changed files with 38 additions and 3 deletions

View file

@ -1,3 +1,9 @@
2012-03-02 Tobias Burnus <burnus@net-b.de>
PR fortran/52325
* primary.c (gfc_match_varspec): Add diagnostic for % with
nonderived types.
2012-03-02 Tobias Burnus <burnus@net-b.de>
PR fortran/52270

View file

@ -1910,6 +1910,19 @@ gfc_match_varspec (gfc_expr *primary, int equiv_flag, bool sub_flag,
&& gfc_get_default_type (sym->name, sym->ns)->type == BT_DERIVED)
gfc_set_default_type (sym, 0, sym->ns);
if (sym->ts.type == BT_UNKNOWN && gfc_match_char ('%') == MATCH_YES)
{
gfc_error ("Symbol '%s' at %C has no IMPLICIT type", sym->name);
return MATCH_ERROR;
}
else if ((sym->ts.type != BT_DERIVED && sym->ts.type != BT_CLASS)
&& gfc_match_char ('%') == MATCH_YES)
{
gfc_error ("Unexpected '%%' for nonderived-type variable '%s' at %C",
sym->name)
return MATCH_ERROR;
}
if ((sym->ts.type != BT_DERIVED && sym->ts.type != BT_CLASS)
|| gfc_match_char ('%') != MATCH_YES)
goto check_substring;

View file

@ -1,3 +1,11 @@
2012-03-02 Tobias Burnus <burnus@net-b.de>
PR fortran/52325
* gfortran.dg/derived_comp_array_ref_8.f90: New.
* gfortran.dg/nullify_2.f90: Update dg-error.
* gfortran.dg/nullify_4.f90: Ditto.
* gfortran.dg/pointer_init_6.f90: Ditto.
2012-03-02 Tobias Burnus <burnus@net-b.de>
PR fortran/52270

View file

@ -0,0 +1,8 @@
! { dg-do compile }
!
! PR fortran/52325
!
real :: f
cc%a = 5 ! { dg-error "Symbol 'cc' at .1. has no IMPLICIT type" }
f%a = 5 ! { dg-error "Unexpected '%' for nonderived-type variable 'f' at" }
end

View file

@ -3,5 +3,5 @@
program i
implicit none
TYPE (a) t1 ! { dg-error "is being used before" }
nullify(t1%x) ! { dg-error "error in NULLIFY" }
nullify(t1%x) ! { dg-error "Symbol 't1' at .1. has no IMPLICIT type" }
end program

View file

@ -4,5 +4,5 @@
! Check error recovery; was crashing before.
!
real, pointer :: ptr
nullify(ptr, mesh%coarser) ! { dg-error "Syntax error in NULLIFY statement" }
nullify(ptr, mesh%coarser) ! { dg-error "Symbol 'mesh' at .1. has no IMPLICIT type" }
end

View file

@ -27,7 +27,7 @@ module m2
type(t) :: x
procedure(s), pointer :: pp1 => s
procedure(s), pointer :: pp2 => pp1 ! { dg-error "may not be a procedure pointer" }
procedure(s), pointer :: pp3 => t%ppc ! { dg-error "Syntax error" }
procedure(s), pointer :: pp3 => t%ppc ! { dg-error "Symbol 't' at .1. has no IMPLICIT type" }
contains