PR# 17239 Trying to iterate over inline agent with "across" loop crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/12/23
Class: Bug
Severity: Serious
Number: 17239
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: Trying to iterate over inline agent with "across" loop crashes compiler

Description
An "across" loop

   across (agent do end) as c loop end

crashes the compiler with a call on Void target in
{AST_FEATURE_CHECKER_GENERATOR}.check_body.

Added eweasel test term198 for this bug.
To Reproduce
Run eweasel test term198.
Problem Report Interactions
From:alexk_es    Date:2013/11/28    Status: Closed    Download   
Fixed in rev#93578 of EiffelStudio 14.05 intermediate release.