PR# 17301 Adding attribute to void-safe system crashes in {EIFFEL_CLASS_C}.inline-agent#1 of has_stable_attrib
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/01/28
Class: Bug
Severity: Serious
Number: 17301
Release: 6.7.85123
Confidential: No
Status: Analyzed
Responsible:
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: Adding attribute to void-safe system crashes in {EIFFEL_CLASS_C}.inline-agent#1 of has_stable_attrib
Description
Adding an attribute to a particular void-safe system and recompiling crashes the compiler with a call on Void target: ------------------------------------------------------------------------------- EIFFEL_CLASS_C inline-agent#1 of has_stable_attribute @2 <0000000007097298> (From CLASS_C) Feature call on void target. Fail ------------------------------------------------------------------------------- This is an incrementality bug. Compiling the final classes from scratch works fine. Added eweasel test incr409 for this bug.
To Reproduce
Run eweasel test incr409.
Problem Report Interactions