PR# 17233 Across loop iterating over entity whose type is constrained formal generic crashes compiler

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/12/22

Class: Bug

Severity: Serious

Number: 17233

Release: 6.7.85123

Confidential: No

Status: Closed

Responsible: alexk_es

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10 Solaris 10 on SPARC

Synopsis: Across loop iterating over entity whose type is constrained formal generic crashes compiler

Description

An "across" loop that iterates over an attribute 

   list: G

where G is a formal generic constrained by LIST [INTEGER] crashes the
compiler with a call on Void target in 
{AST_FEATURE_CHECKER_GENERATOR}.process_iteration_as.

Added eweasel test term196 for this bug.

To Reproduce

Run eweasel test term196.

Problem Report Interactions

From:alexk_es Date:2013/11/28 Status: Closed Download

Fixed in rev#93578 of EiffelStudio 14.05 intermediate release.

From:prestoat2000 Date:2011/01/02 Download

Trying to iterate over Void crashes the compiler with the same
exception trace.

From:prestoat2000 Date:2010/12/22 Download

Actually, iterating over an entity whose type is an unconstrained formal
generic causes the same crash (i.e., it is not necessary that the formal
generic be constrained).