[Bug fortran/56852] [4.6/4.7/4.8/4.9 Regression] ICE on invalid: "Bad array reference" for an undeclared loop variable

[burnus at gcc dot gnu.org]

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



Tobias Burnus <burnus at gcc dot gnu.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

           Keywords|                            |error-recovery,

                   |                            |ice-on-invalid-code

                 CC|                            |burnus at gcc dot gnu.org

      Known to work|                            |4.5.3

      Known to fail|                            |4.6.3, 4.7.2, 4.8.0, 4.9.0



--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-04-06 
11:23:54 UTC ---

In gfc_variable_attr, one has for "a(i)": expr->ref->type == REF_ARRAY and runs

into the assert as: ref->u.ar.type == AR_UNKNOWN.



The "has no IMPLICIT type" error is issued via:

  resolve_all_program_units -> resolve_types -> resolve_symbol



The assert is reached via:

  resolve_all_program_units -> resolve_codes -> resolve_code ->

gfc_resolve_blocks -> resolve_transfer -> gfc_check_vardef_context ->

gfc_expr_attr -> gfc_variable_attr.